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