CVS commit: pkgsrc/lang/polyml

["Aleksej Saushev" <asau%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   asau
Date:           Sat Sep 13 18:23:38 UTC 2014

Modified Files:
        pkgsrc/lang/polyml: Makefile PLIST distinfo
        pkgsrc/lang/polyml/patches: patch-libpolyml_elfexport.cpp
Removed Files:
        pkgsrc/lang/polyml/patches: patch-buildpolyc

Log Message:
Update to Poly/ML 5.5.2

Most of the changes are bug fixes.  One major fix was to the
intermediate code optimiser reported back in September.
Other changes are the addition of PrettyStringWithWidth and
PrettyLineBreak constructors to the PolyML.pretty datatype,
Thread.Thread.numPhysicalProcessors to return the number of
physical processors and printing ?.t in circumstances where t is
bound to a different type.  The debugger has been extended to
include structures and the arguments to functors.


To generate a diff of this commit:
cvs rdiff -u -r1.10 -r1.11 pkgsrc/lang/polyml/Makefile
cvs rdiff -u -r1.2 -r1.3 pkgsrc/lang/polyml/PLIST
cvs rdiff -u -r1.6 -r1.7 pkgsrc/lang/polyml/distinfo
cvs rdiff -u -r1.2 -r0 pkgsrc/lang/polyml/patches/patch-buildpolyc
cvs rdiff -u -r1.2 -r1.3 \
    pkgsrc/lang/polyml/patches/patch-libpolyml_elfexport.cpp

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.