]> Repositorios git - scryer-prolog.git/commit
use occurs check when enabled in UnifyValue (#885)
authorMark Thom <[email protected]>
Tue, 23 Mar 2021 04:05:03 +0000 (22:05 -0600)
committerMark Thom <[email protected]>
Tue, 23 Mar 2021 04:05:03 +0000 (22:05 -0600)
commit7520fe70000e73f83a31b4804d2ca89e6d2cc051
tree1adcd7d7160337668d549110eed5693a4d50ad58
parent9f861dfe89b8a3b2ef3c07b5291b94aee89d6d05
use occurs check when enabled in UnifyValue (#885)
src/clause_types.rs
src/machine/machine_state_impl.rs
src/machine/system_calls.rs
src/toplevel.pl