14.19.2 Bugs Fixed

• 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.
• Work around bugs in OS X 10.8 that affected SICStus I/O. This change may also work around bugs in Linux that could cause SICStus to hang, especially when closing streams.
• Error handling bug in phrase/[2,3].
• On Windows, SICStus executables would sometimes not start if put at the root of a disk.
• CLPFD:
  • - Solutions were lost in interaction with nondet suspended goals.
  • - cumulative/2: holes in domains could cause wrong answers.
  • - minimum/2, maximum/2: some data was not protected from garbage collection.

  ZINC:

  • - I/O streams could be left open upon errors.
  • - viz annotations don’t cause parse errors any more.
  • - Don’t obfuscate error messages from mzn2fzn.
  • - Architecture dependent default integer bounds.
• library(types): The type tests for list and proper_list now fail for cyclic lists. Previously, they did not terminate.