Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Top level, dif/2 odd answer, exception uncaught #124

Closed
UWN opened this issue Mar 3, 2023 · 1 comment
Closed

Top level, dif/2 odd answer, exception uncaught #124

UWN opened this issue Mar 3, 2023 · 1 comment

Comments

@UWN
Copy link

UWN commented Mar 3, 2023

l(X) :- dif(X,a),l(X).

?- l(X). % no reaction at all
?- catch(l(X), Pat,true).
ERROR: Stack limit (1.0Gb) exceeded % unexpected
...

9.1.5 `-f none` all defaults
@JanWielemaker
Copy link
Member

Thanks. Should be fixed with SWI-Prolog/swipl-devel@8abc88e. Caused by running into another exception while trying to print the exception because the logic to do the last emergency stack shift was broken. Pushed an additional commit that tries simple printing if print_message/2 runs into an exception, so at least something is printed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants