13.30.2 Other Changes

• The built-in frozen(+Term,-Goal) has been generalized so that Goal is the conjunction of all goals blocked on some variable in Term.
• Source-linked debugging now works better for code that is recompiled while in the debugger.
• Improved the warnings emitted when a do/2 loop has local variables that are also used outside the loop. The warnings are now suppressed in some harmless and useful cases, e.g. when a variable only occurs in unrelated do/2 loops.

  The warnings were completely disabled in 4.5 so the compiler now may emit warnings for some code that did not get warnings in 4.5.

• Writing a small part of a huge term, i.e. when the write_term/3 option max_depth/1 is in effect, is now faster and uses less memory. The main reason for this change is to improve the performance when the debugger writes goals.
• Source-linked debugging now works for library(plunit) tests.
• Better compatibility when using SICStus in applications that are using the new “Hardened Runtime” feature (https://developer.apple.com/documentation/security/hardened_runtime) in macOS 10.14 Mojave or later.
• CLPFD:
  • - Faster propagation of constraints of the form X #= Y, X #= Y+C, and X #= Y-C, where X and Y are variables, and C is an integer.
  • - Faster propagation of domain-consistent arithmetic.
  • - More propagation for special cases of //, div, mod, rem.
• Many improvements to how license information is manipulated on Windows. In particular:
  • The splm.exe license manager now does the right thing both when run as an ordinary user and when run as “Administrator”.
  • Entering, or changing, the license using spwin.exe will now always write it to a user-specific location, which does not require that it is run as “Administrator”.
• Unless otherwise noted, all Java related functionality requires at least Java 8. This is not a new requirement, it has been true for a long time.