frozen(+Term,-Goal) has been generalized so that
Goal is the conjunction of all goals blocked on some variable in Term.
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
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.
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.
X #= Y,
#= Y+C, and
X #= Y-C, where
C is an integer.
splm.exe license manager now does the right thing both
when run as an ordinary user and when run as “Administrator”.
spwin.exe will now
always write it to a user-specific location, which does not require
that it is run as “Administrator”.