Term to body conversion (7.6.2) leaks for conjunction

[UWN]

ulrich@p0:~$ ulimit -v
250000
ulrich@p0:~$ /opt/gupu/scryer-prolog/target/release/scryer-prolog -f
?- repeat, call((G=(false,false),G)).
memory allocation of 448 bytes failed
Aborted (core dumped)

(This is on p0 which is happy with less memory).

[UWN]

Simpler:

?- repeat, G=(false,false),G.
memory allocation of 448 bytes failed
Aborted (core dumped)

[UWN]

UWN_blocking

[UWN]

Please note that this issue is the reason why extensive tests nolens volens result in memory overflows. I then try to narrow down the reason for overflows but then the actual source of overflows moves away. So I spend hours just chasing a bug in the test harness.

[UWN]

Great, I'm still in Paris back from a nice day and a nice evening! And it's all fixed!