Freak out freeze/2 & bb_put/2

mthom / scryer-prolog

A modern Prolog implementation written mostly in Rust.

BSD 3-Clause "New" or "Revised" License

2.01k stars 117 forks source link

Freak out freeze/2 & bb_put/2 #2408

Open infradig opened 4 months ago

infradig commented 4 months ago

$ scryer-prolog
?- use_module(library(freeze)).
   true.
?- freeze(W,write('ok')).
   freeze:freeze(W,write(ok)).
?- freeze(W,write('ok')), bb_put(key, W).
thread 'main' panicked at src/machine/machine_state_impl.rs:70:26:
index out of bounds: the len is 82173 but the index is 82174
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
~/trealla (devel) $