Kauê Hunnicutt Bazilli

Maybe some warning like in the case of failure? ``` ?- [ini]. Warning: initialization/1 failed for: user:false Warning: initialization/1 throwed error for: error(type_error(list,3),unknown(3)-1). false. ``` Maybe this would be hard...

Unfortunately, it seems that Doclog doesn't render the documentation if it's not immediately followed by a clause that is exported in the module, but I think Doclog itself could be...

Should maybe this give a warning or an error instead to alert the user that Scryer only executes the first term on the toplevel? ```prolog ?- true. true. Warning: multiple...

This currently doesn't exit: ``` ?- setup_call_cleanup(true, (true; throw(x)), setup_call_cleanup(true, (true; true), throw(y))). true ; throw(x). ``` I don't really understand the semantics of how `setup_call_cleanup/3` works with exceptions to...

So it seems that it is working as intended in 7.8.11.1 d in the case of 7.8.11.1 c2. I think this issue is solved then, isn't it? I think the...

I can't seem to reproduce this in the latest master. Memory usage doesn't seem to scale with `E` at all, and there is no SEGV at least until `E =...

> But doing almost the same in an auxiliary predicate quickly runs out of memory This is indeed the case, really strange. Maybe it has to do with the predicate...

I can't see anything very concerning in the generated WAM instructions, I guess this must be an internal engine issue and not a code generation one. ``` ?- wam_instructions(q/0, Ins),...

In that case the instructions are the following: ``` ?- wam_instructions(q/0, Ins), maplist(portray_clause, Ins). allocate(0). put_constant(level(shallow),1,x(1)). put_constant(level(shallow),10000000,x(2)). put_variable(x(3),3). call(between,3). deallocate. execute(false,0). ``` The only instructions that are in the one...

On the other hand, this has no memory problems: ``` ?- [user]. r :- repeat, false; true. ?- r. ^C error('$interrupt_thrown',repl/0). % This would run forever otherwise. ?- wam_instructions(r/0, Ins),...