13.17.2 Bugs Fixed

• restore/1 would behave inconsistently if invoked while loading files.
• Nondet user:portray/1 would switch off the debugger.
• The prompt written to user_error would sometimes appear out of order wrt. output to other interactive streams.
• Module name expansion of clauses was not robust to incorrect layout terms.
• Format strings with ‘~t’ not followed by tab stop would raise an instantiation error.
• Dead code elimination could interfere with garbage collection.
• Detection of redundant declarations is more precise.
• A performance issue on the Windows platform has been fixed.
• Typo in The Action Variables: exception(E) should read raise(E).
• Float to big integer conversion bug on 64-bit platforms.
• Better handling of do-loops whose iterators are not instantiated enough at compile time.
• The virtual clauses beginning_of_file and end_of_file are now seen by term expansions only for source files, but not for files embedded by the :-include directive.
• predicate_property/2 with nonvar arguments would succeed nondeterminately.
• =..(+Term,+List) could raise spurious errors instead of merely failing.
• Stack overflow issue with pending unblocked goals.
• Saved-states would not preserve the attribute handler order.
• Source-info bug for huge interpreted clauses.
• On Windows only, writing large amounts of data to the Windows console could fail with SPIO_E_IO_ERROR.
• library(between): between/3 was not steadfast for constrained variables.
• Exceptions used internally by library(timeout) can be intercepted by the debugger again. They were made transparent in release 4.1.3, but that hinders debugging.
• library(timeout) did not work consulted.
• library(plunit) did not handle :- include directives correctly.
• library(bdb): db_findall/5 was not declared as a meta predicate. Determinacy bugs.
• CHR: Spurious instantiation error bug fixed.
• library(zinc)
  • Bug in constraint all_equal fixed.
  • Removed --no-output-pred-decls to mzn2fzn, not supported as of release 1.3.
• CLPFD:
  • Propagation phase could be pre-empted if domain variables had blocked goals or attributes.
  • Entailment detection bug in maximum/2, minimum/2 caused memory leak.
  • Bug in the precedences/1 option to cumulative/2.
• library(ugraphs), library(wgraphs): determinacy bugs.
• library(odbc): Non-ASCII error messages from the ODBC driver could give an exception about misencoded string. Incorrect handling of SQL_BIGINT and related types. Improved robustness.