Next: 4.2.3 Other Changes, Previous: 4.2.3 New Features, Up: 4.2.3 Changes [Contents]
predicate_property/2
with nonvar arguments would succeed nondeterminately.
ensure_loaded/1
would keep reloading non-module ‘.po’ file
if compile-time module was different from load-time module.
phrase/[2,3]
.
cumulative/2
: holes in domains could cause wrong answers.
minimum/2
, maximum/2
:
some data was not protected from garbage collection.
ZINC:
viz
annotations do not cause parse errors any more.
mzn2fzn
.
library(types)
: The type tests for list
and
proper_list
now fail for cyclic lists. Previously, they did not
terminate.