13.15.2 Bugs Fixed

• Critical virtual machine bugs.
• Improvements to interrupt handling (SP_event(), SP_signal() and related functionality).
• When running under the SPIDER IDE, I/O operations could fail with SPIO_E_INTERRUPTED.
• When running under the SPIDER IDE, restore/1 would disrupt the debugging session.
• Linking with the SICStus runtime on Linux no longer marks the stack as executable. This would prevent SICStus from starting on some versions of SE Linux.
• Work around OS bugs on Mac OS X 10.5, Mac OS X 10.6 and Linux that would sometimes cause SICStus to hang when closing streams.
• Source-info bug for huge interpreted clauses.
• Source-info bug for interpreted code, introduced in 4.2.0.
• Profiling: profile_reset/1 was broken; problems with multifile.
• library(timeout): time_out/3 would sometimes interrupt I/O or miss a timeout under Windows.
• library(sockets): Some operations would raise an exception when an interrupt occurred, e.g. at ^C.
• CLPQ/CLPR: constants \pi and e were inaccurate.
• CLPFD:
  • relation/3, table/[2,3]: bugs with empty and infinite sets.
  • Missing propagation in the context of unification.
• Prologbeans: passing deeply nested terms to and from Prolog could lead to stack overflow in Prologbeans client code (Java, .NET).