scryer-prolog: Rebis: thread 'main' panicked at 'internal error: entered unreachable code'

With format.pl from https://www.metalevel.at/prolog/scryer/format.pl, I get:

$ scryer-prolog format.pl 
thread 'main' panicked at 'internal error: entered unreachable code', src/machine/load_state.rs:203:21
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

About this issue

Original URL
State: closed
Created 3 years ago
Comments: 15 (15 by maintainers)

Commits related to this issue

qualify exception handling code in loader.pl (#809) — committed to mthom/scryer-prolog by deleted user 3 years ago

Most upvoted comments

With format.pl, there’s a circular import… format is being re-defined, but debug depends on the previous format, as @josd said.

mthom on Feb 9, 2021

I’ll try to reproduce it on my Ubuntu laptop in the meantime.

mthom on Feb 9, 2021

@mthom I was able to reproduce what @triska mentioned using Ubuntu 20.04.1, rustc 1.49.0 (e1884a8e3 2020-12-29) and rebis-dev v0.8.123-328-g195273f. So scryer-prolog format.pl does not respond and can’t be Ctrl-C’ed so I did Ctrl-Z and killed the process. When commenting :- use_module(library(debug)). and removing the 3 occurences of $ scryer-prolog format.pl gives the usual prompt.

josd on Feb 9, 2021

This works nicely now, thank you a lot!

triska on Feb 10, 2021

@triska see https://github.com/mthom/scryer-prolog/issues/802#issuecomment-776263053 so I get

$ scryer-prolog f.pl
hello
?-

josd on Feb 9, 2021

I have upgraded to rustc 1.49.0 (e1884a8e3 2020-12-29), and loading the file still hangs, in such a way that I cannot even interrupt the loading with C-c.

triska on Feb 9, 2021