Update to Poly/ML Version 5.3

Major New Features

  - Addition of IDE interface support.
  - Changes to pretty-printing and equality. These are now inherited
    across module boundaries. Addition of PolyML.addPrettyPrinter
    to install a new-style pretty printer.
  - Reworked implementation of signatures reducing the memory
    requirements when a named signature is used in multiple places.
  - Improvements to printing of types and error messages.

Minor Additions and Changes

  - Support for out-of-tree builds
  - Added finalisation for foreign-function interface (CInterface)
  - Removed remaining support for ML90
  - Added PolyML.sourceLocation pseudo-function that returns the current
    source location, PolyML.raiseWithLocation that raises an exception
    with an explicit location and PolyML.exceptionLocation that returns
    the location where an exception was raised.
  - Added PolyML.Compiler.reportUnreferencedIds switch to enable reporting
    of unreferenced identifiers.
  - Added breakEx and clearEx to debugger functions.
    These enter the debugger when the code raises a given exception.
  - Improvement to resonsiveness to pipes especially in Windows.
  - Added X86-64 version of Word32 structure. 64-bit machines
    do not require 32-bit values to be "boxed".

Bug Fixes

  - Now builds on Mac OS X 10.6 (Snow Leopard)
  - Fix multi-threading on Sparc but now only supports v9 processors.
  - Fix timing-related crash when Poly/ML exits
  - Fix string argument to OS.SysErr exception
  - Fix to OS.FileSys.mkDir in Windows
  - Fix to pow(~1, n) where n is even
  - Various fixes to conform more closely to the standard.

1 files changed, 15 insertions, 0 deletions

diff --git a/lang/polyml/patches/patch-aa b/lang/polyml/patches/patch-aa
new file mode 100644
index 00000000000..5ab1536fc38
--- /dev/null
+++ b/lang/polyml/patches/patch-aa
@@ -0,0 +1,15 @@
+$NetBSD: patch-aa,v 1.1 2009/12/13 23:26:26 asau Exp $
+
+Use POSIX-portable make features.
+
+--- libpolyml/Makefile.in.orig	2009-10-06 12:14:17.000000000 +0400
++++ libpolyml/Makefile.in	2009-12-02 02:36:48.000000000 +0300
+@@ -744,7 +744,7 @@
+ 
+ # Special rule for x86 assembly code.
+ x86asmtemp.S: x86asm.asm
+-	sed -f $(srcdir)/masm2gas <  $< > $@ || { rm -f $@; false; }
++	sed -f $(srcdir)/masm2gas <  x86asm.asm > $@ || { rm -f $@; false; }
+ 
+ # Special rule for Power PC.  This is needed because of pecularities with MAC OS X.
+ ppcasmtemp.s: power_assembly.S