[user] unexpectedly quits

[Jean-Luc-Picard-2021]

[user] consult got a hiccup:

$ ./tpl -v
Trealla Prolog (c) Infradig 2020-2022, v2.6.29
$ ./tpl
?- [user].
   true.

Tested on WSL2. It doens't prompt for some clauses or directives.

[infradig]

This may have been fixed with getline fix?

[flexoron]

No. v2.7.3-2-g302b

?- [user].
   true.

?- [user]. true. false. listing :- listing.
   true.

?- listing.
true.
false.
listing :- listing.
   true.
?-

[guregu]

Can confirm this fixes it for me in WSL2. Nice!

[Jean-Luc-Picard-2021]

With the recent update I can do:

Trealla Prolog (c) Infradig 2020-2022, v2.7.15
?- [user].
p :- write(hello), nl.
   true.
?- p.
hello
   true.

Cool! Closing this ticket.