summaryrefslogtreecommitdiff
path: root/lang/polyml
AgeCommit message (Collapse)AuthorFilesLines
2021-12-08revbump for icu and libffiadam1-1/+2
2021-10-26lang: Replace RMD160 checksums with BLAKE2s checksumsnia1-2/+2
All checksums have been double-checked against existing RMD160 and SHA512 hashes The following distfiles could not be fetched (possibly fetched conditionally?): ./lang/rust-bin/distinfo rust-bin-1.54.0/rust-1.54.0-aarch64-unknown-linux-gnu.tar.gz ./lang/rust-bin/distinfo rust-bin-1.54.0/rust-1.54.0-aarch64-unknown-linux-musl.tar.gz ./lang/rust-bin/distinfo rust-bin-1.54.0/rust-1.54.0-aarch64-unknown-netbsd.tar.gz ./lang/rust-bin/distinfo rust-bin-1.54.0/rust-1.54.0-armv7-unknown-netbsd-eabihf.tar.gz ./lang/rust-bin/distinfo rust-bin-1.54.0/rust-1.54.0-i686-unknown-linux-gnu.tar.gz ./lang/rust-bin/distinfo rust-bin-1.54.0/rust-1.54.0-powerpc-unknown-netbsd90.tar.gz ./lang/rust-bin/distinfo rust-bin-1.54.0/rust-1.54.0-sparc64-unknown-netbsd.tar.gz ./lang/rust-bin/distinfo rust-bin-1.54.0/rust-1.54.0-x86_64-apple-darwin.tar.gz ./lang/rust-bin/distinfo rust-bin-1.54.0/rust-1.54.0-x86_64-unknown-freebsd.tar.gz ./lang/rust-bin/distinfo rust-bin-1.54.0/rust-1.54.0-x86_64-unknown-linux-gnu.tar.gz ./lang/rust-bin/distinfo rust-bin-1.54.0/rust-1.54.0-x86_64-unknown-linux-musl.tar.gz ./lang/smlnj/distinfo smlnj-110.73/boot.ppc-unix.tgz ./lang/smlnj/distinfo smlnj-110.73/boot.sparc-unix.tgz ./lang/oracle-jre8/distinfo jce_policy-8.zip ./lang/oracle-jre8/distinfo jre-8u202-linux-i586.tar.gz ./lang/oracle-jre8/distinfo jre-8u202-linux-x64.tar.gz ./lang/oracle-jre8/distinfo jre-8u202-macosx-x64.tar.gz ./lang/oracle-jre8/distinfo jre-8u202-solaris-x64.tar.gz ./lang/oracle-jdk8/distinfo jdk-8u202-linux-i586.tar.gz ./lang/oracle-jdk8/distinfo jdk-8u202-linux-x64.tar.gz ./lang/oracle-jdk8/distinfo jdk-8u202-solaris-x64.tar.gz ./lang/ghc80/distinfo ghc-7.10.3-boot-x86_64-unknown-solaris2.tar.xz ./lang/ghc80/distinfo ghc-8.0.2-boot-i386-unknown-freebsd.tar.xz ./lang/ghc80/distinfo ghc-8.0.2-boot-x86_64-unknown-freebsd.tar.xz ./lang/gcc5-aux/distinfo ada-bootstrap.i386.freebsd.100B.tar.bz2 ./lang/gcc5-aux/distinfo ada-bootstrap.i386.freebsd.84.tar.bz2 ./lang/gcc5-aux/distinfo ada-bootstrap.x86_64.dragonfly.41.tar.bz2 ./lang/gcc5-aux/distinfo ada-bootstrap.x86_64.freebsd.100B.tar.bz2 ./lang/gcc5-aux/distinfo ada-bootstrap.x86_64.freebsd.84.tar.bz2 ./lang/gcc5-aux/distinfo ada-bootstrap.x86_64.solaris.511.tar.bz2 ./lang/rust/distinfo rust-1.53.0-aarch64-apple-darwin.tar.gz ./lang/rust/distinfo rust-1.53.0-aarch64-unknown-linux-gnu.tar.gz ./lang/rust/distinfo rust-1.53.0-aarch64-unknown-netbsd.tar.gz ./lang/rust/distinfo rust-1.53.0-aarch64_be-unknown-netbsd.tar.gz ./lang/rust/distinfo rust-1.53.0-arm-unknown-linux-gnueabihf.tar.gz ./lang/rust/distinfo rust-1.53.0-armv7-unknown-linux-gnueabihf.tar.gz ./lang/rust/distinfo rust-1.53.0-i686-unknown-linux-gnu.tar.gz ./lang/rust/distinfo rust-1.53.0-powerpc-unknown-netbsd.tar.gz ./lang/rust/distinfo rust-1.53.0-powerpc-unknown-netbsd90.tar.gz ./lang/rust/distinfo rust-1.53.0-sparc64-unknown-netbsd.tar.gz ./lang/rust/distinfo rust-1.53.0-x86_64-apple-darwin.tar.gz ./lang/rust/distinfo rust-1.53.0-x86_64-unknown-freebsd.tar.gz ./lang/rust/distinfo rust-1.53.0-x86_64-unknown-illumos.tar.gz ./lang/rust/distinfo rust-1.53.0-x86_64-unknown-linux-gnu.tar.gz ./lang/rust/distinfo rust-std-1.53.0-aarch64-apple-darwin.tar.gz ./lang/rust/distinfo rust-std-1.53.0-aarch64-unknown-linux-gnu.tar.gz ./lang/rust/distinfo rust-std-1.53.0-aarch64-unknown-netbsd.tar.gz ./lang/rust/distinfo rust-std-1.53.0-aarch64_be-unknown-netbsd.tar.gz ./lang/rust/distinfo rust-std-1.53.0-arm-unknown-linux-gnueabihf.tar.gz ./lang/rust/distinfo rust-std-1.53.0-armv7-unknown-linux-gnueabihf.tar.gz ./lang/rust/distinfo rust-std-1.53.0-i686-unknown-linux-gnu.tar.gz ./lang/rust/distinfo rust-std-1.53.0-powerpc-unknown-netbsd.tar.gz ./lang/rust/distinfo rust-std-1.53.0-powerpc-unknown-netbsd90.tar.gz ./lang/rust/distinfo rust-std-1.53.0-sparc64-unknown-netbsd.tar.gz ./lang/rust/distinfo rust-std-1.53.0-x86_64-apple-darwin.tar.gz ./lang/rust/distinfo rust-std-1.53.0-x86_64-unknown-freebsd.tar.gz ./lang/rust/distinfo rust-std-1.53.0-x86_64-unknown-linux-gnu.tar.gz ./lang/smlnj11072/distinfo smlnj-110.72/boot.ppc-unix.tgz ./lang/smlnj11072/distinfo smlnj-110.72/boot.sparc-unix.tgz ./lang/ghc84/distinfo ghc-8.0.2-boot-x86_64-unknown-solaris2.tar.xz ./lang/ghc84/distinfo ghc-8.4.4-boot-i386-unknown-freebsd.tar.xz ./lang/ghc84/distinfo ghc-8.4.4-boot-x86_64-apple-darwin.tar.xz ./lang/ghc84/distinfo ghc-8.4.4-boot-x86_64-unknown-freebsd.tar.xz ./lang/ghc7/distinfo ghc-7.10.3-boot-i386-unknown-freebsd.tar.xz ./lang/ghc7/distinfo ghc-7.6.3-boot-i386-unknown-solaris2.tar.xz ./lang/ghc7/distinfo ghc-7.6.3-boot-powerpc-apple-darwin.tar.xz ./lang/ghc7/distinfo ghc-7.6.3-boot-x86_64-unknown-solaris2.tar.xz ./lang/ghc90/distinfo ghc-8.10.4-boot-x86_64-unknown-solaris2.tar.xz ./lang/ghc90/distinfo ghc-9.0.1-boot-aarch64-unknown-netbsd.tar.xz ./lang/ghc90/distinfo ghc-9.0.1-boot-i386-unknown-freebsd.tar.xz ./lang/ghc90/distinfo ghc-9.0.1-boot-x86_64-apple-darwin.tar.xz ./lang/ghc90/distinfo ghc-9.0.1-boot-x86_64-unknown-freebsd.tar.xz ./lang/openjdk8/distinfo openjdk7/bootstrap-jdk-1.7.76-freebsd-10-amd64-20150301.tar.xz ./lang/openjdk8/distinfo openjdk7/bootstrap-jdk-1.7.76-netbsd-7-sparc64-20150301.tar.xz ./lang/openjdk8/distinfo openjdk7/bootstrap-jdk-1.8.181-netbsd-8-aarch64-20180917.tar.xz ./lang/openjdk8/distinfo openjdk7/bootstrap-jdk7u60-bin-dragonfly-3.6-amd64-20140719.tar.bz2 ./lang/openjdk8/distinfo openjdk7/bootstrap-jdk7u60-bin-dragonfly-3.8-amd64-20140719.tar.bz2 ./lang/go-bin/distinfo go1.14.2.darwin-amd64.tar.gz ./lang/go-bin/distinfo go1.14.2.linux-386.tar.gz ./lang/go-bin/distinfo go1.14.2.linux-amd64.tar.gz ./lang/go-bin/distinfo go1.14.2.linux-arm64.tar.gz ./lang/go-bin/distinfo go1.14.2.linux-armv6l.tar.gz ./lang/go-bin/distinfo go1.14.2.netbsd-arm64.tar.gz ./lang/go-bin/distinfo go1.16beta1.darwin-arm64.tar.gz ./lang/gcc6-aux/distinfo ada-bootstrap.i386.freebsd.100B.tar.bz2 ./lang/gcc6-aux/distinfo ada-bootstrap.x86_64.dragonfly.41.tar.bz2 ./lang/gcc6-aux/distinfo ada-bootstrap.x86_64.freebsd.100B.tar.bz2 ./lang/gcc6-aux/distinfo ada-bootstrap.x86_64.freebsd.84.tar.bz2 ./lang/gcc6-aux/distinfo ada-bootstrap.x86_64.solaris.511.tar.bz2 ./lang/ghc810/distinfo ghc-8.8.4-boot-x86_64-unknown-solaris2.tar.xz ./lang/sun-jre7/distinfo UnlimitedJCEPolicyJDK7.zip ./lang/sun-jre7/distinfo jre-7u80-linux-x64.tar.gz ./lang/sun-jre7/distinfo jre-7u80-solaris-i586.tar.gz ./lang/sun-jre7/distinfo jre-7u80-solaris-x64.tar.gz ./lang/ghc88/distinfo ghc-8.4.4-boot-i386-unknown-freebsd.tar.xz ./lang/ghc88/distinfo ghc-8.4.4-boot-x86_64-apple-darwin.tar.xz ./lang/ghc88/distinfo ghc-8.4.4-boot-x86_64-unknown-freebsd.tar.xz ./lang/ghc88/distinfo ghc-8.4.4-boot-x86_64-unknown-solaris2.tar.xz ./lang/gcc-aux/distinfo ada-bootstrap.i386.dragonfly.36A.tar.bz2 ./lang/gcc-aux/distinfo ada-bootstrap.i386.freebsd.100B.tar.bz2 ./lang/gcc-aux/distinfo ada-bootstrap.i386.freebsd.84.tar.bz2 ./lang/gcc-aux/distinfo ada-bootstrap.x86_64.dragonfly.36A.tar.bz2 ./lang/gcc-aux/distinfo ada-bootstrap.x86_64.freebsd.100B.tar.bz2 ./lang/gcc-aux/distinfo ada-bootstrap.x86_64.freebsd.84.tar.bz2 ./lang/gcc-aux/distinfo ada-bootstrap.x86_64.solaris.511.tar.bz2 ./lang/gcc6/distinfo ecj-4.5.jar ./lang/openjdk11/distinfo bootstrap-jdk-1.11.0.7.10-netbsd-9-aarch64-20200509.tar.xz ./lang/sun-jdk7/distinfo jdk-7u80-linux-x64.tar.gz ./lang/sun-jdk7/distinfo jdk-7u80-solaris-i586.tar.gz ./lang/sun-jdk7/distinfo jdk-7u80-solaris-x64.tar.gz
2021-10-07lang: Remove SHA1 hashes for distfilesnia1-2/+1
2021-03-05Updated distinfo for lang/polyml for patch with commentjaapb1-2/+2
2021-03-05Reinstated comment in patch for lang/polymljaapb1-1/+4
2021-03-05Updated lang/polyml to 5.8.1.jaapb6-49/+20
Changes since last version: an option to create a version that supports 32-bit values for the X86/64 platform with a heap size of up to 16Gb. Otherwise, minor bugfixes and changes. The package has also been updated to remove some superfluous patches that have been moved upstream and fix a build problem reported in PR pkg/55569
2020-08-14In light of PR 55569, mark lang/polyml NOT_FOR_BULK_PLATFORM *-*-*.dholland1-1/+4
(It loops during the build, at least on amd64 netbsd. It hasn't apparently been compilable at all in some time, so this should not make it any less available.)
2020-08-14Need to run paxctl during the build, not just after it.dholland2-1/+17
(Otherwise the runtime load, which maps memory rwx, fails.) Not sure how this ever worked anytime in the last N years...
2020-08-13Fix broken build on NetBSD amd64.dholland2-1/+18
2020-03-08Revbump packages depending on libffi after .so version change.bsiegert1-1/+2
Requested by Matthias Ferdinand and Oskar on pkgsrc-users.
2020-01-26all: migrate homepages from http to httpsrillig1-2/+2
pkglint -r --network --only "migrate" As a side-effect of migrating the homepages, pkglint also fixed a few indentations in unrelated lines. These and the new homepages have been checked manually.
2019-12-19Needs to be build as gnu++03. Doesn't work yet due to PaX mprotectjoerg1-2/+2
restrictions.
2019-11-03lang: align variable assignmentsrillig1-5/+5
pkglint -Wall -F --only aligned --only indent -r No manual corrections.
2019-06-12Add buildlink3.mk.alnsn1-0/+14
2019-05-02Update to version 5.7.1. Switch to github releases.alnsn3-9/+15
Major Changes This release fixes a number of bugs and timing issues in version 5.7 mainly related to the code-generator.
2018-01-01Replaced $(ROUND) with ${CURLY} variable references.rillig1-2/+2
This has been a pkglint warning for several years now, and pkglint can even fix it automatically. And it did for this commit. Only in lang/mercury, two passes of autofixing were necessary because there were nested variables.
2017-09-17Disassociate myself from NetBSD project.asau1-2/+2
2017-09-15Update to Poly/ML 5.7.asau3-8/+21
Changes are not known.
2016-03-01Update to Poly/ML 5.6.asau3-50/+10
Changes include major improvements of FFI.
2015-12-29Add patch comments.dholland5-9/+19
2015-11-03Add SHA512 digests for distfiles for lang categoryagc1-1/+2
Problems found with existing digests: Package nhc98 distfile nhc98src-1.22.tar.gz a8adc8f22371998ee0657bc0e01058a57d876abc [recorded] 81975fcb5f1dda5efeaabc30ce8c6dceae55e591 [calculated] Problems found locating distfiles: Package gcc-aux: missing distfile ada-bootstrap.i386.dragonfly.36A.tar.bz2 Package gcc-aux: missing distfile ada-bootstrap.i386.freebsd.84.tar.bz2 Package gcc-aux: missing distfile ada-bootstrap.x86_64.dragonfly.36A.tar.bz2 Package gcc-aux: missing distfile ada-bootstrap.x86_64.freebsd.84.tar.bz2 Package gcc-aux: missing distfile ada-bootstrap.x86_64.solaris.511.tar.bz2 Package gcc5-aux: missing distfile ada-bootstrap.i386.dragonfly.36A.tar.bz2 Package gcc5-aux: missing distfile ada-bootstrap.i386.freebsd.84.tar.bz2 Package gcc5-aux: missing distfile ada-bootstrap.x86_64.dragonfly.36A.tar.bz2 Package gcc5-aux: missing distfile ada-bootstrap.x86_64.freebsd.84.tar.bz2 Package gcc5-aux: missing distfile ada-bootstrap.x86_64.solaris.511.tar.bz2 Package ghc7: missing distfile ghc-7.6.3-boot-i386-unknown-freebsd.tar.xz Package icc11: missing distfile l_cproc_p_11.1.080.tgz Package jini: missing distfile jini-1_2_1_001-src.zip Package oo2c: missing distfile oo2c_32-2.0.11.tar.bz2 Package openjdk7: missing distfile openjdk7/bootstrap-jdk-1.7.76-freebsd-10-amd64-20150301.tar.xz Package openjdk7: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-5-i386-20150301.tar.xz Package openjdk7: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-6-i386-20150301.tar.xz Package openjdk7: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-7-earmv6hf-20150306.tar.xz Package openjdk7: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-7-sparc64-20150301.tar.xz Package openjdk7: missing distfile openjdk7/bootstrap-jdk7u60-bin-dragonfly-3.8-amd64-20140719.tar.bz2 Package openjdk8: missing distfile openjdk7/bootstrap-jdk-1.7.76-freebsd-10-amd64-20150301.tar.xz Package openjdk8: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-5-i386-20150301.tar.xz Package openjdk8: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-6-i386-20150301.tar.xz Package openjdk8: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-7-earmv6hf-20150306.tar.xz Package openjdk8: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-7-sparc64-20150301.tar.xz Package openjdk8: missing distfile openjdk7/bootstrap-jdk7u60-bin-dragonfly-3.8-amd64-20140719.tar.bz2 Package oracle-jdk8: missing distfile jdk-8u60-linux-i586.tar.gz Package oracle-jdk8: missing distfile jdk-8u60-solaris-x64.tar.gz Package oracle-jre8: missing distfile jre-8u60-linux-i586.tar.gz Package oracle-jre8: missing distfile jre-8u60-solaris-x64.tar.gz Package sun-jdk6: missing distfile jdk-6u45-linux-i586.bin Package sun-jdk6: missing distfile jdk-6u45-solaris-i586.sh Package sun-jdk7: missing distfile jdk-7u72-linux-i586.tar.gz Package sun-jdk7: missing distfile jdk-7u72-solaris-i586.tar.gz Package sun-jre6: missing distfile jce_policy-6.zip Package sun-jre6: missing distfile jre-6u45-linux-x64.bin Package sun-jre6: missing distfile jre-6u45-solaris-x64.sh Package sun-jre7: missing distfile jre-7u72-linux-i586.tar.gz Package sun-jre7: missing distfile jre-7u72-solaris-i586.tar.gz Otherwise, existing SHA1 digests verified and found to be the same on the machine holding the existing distfiles (morden). All existing SHA1 digests retained for now as an audit trail.
2014-09-29Make compiler wrapper add RPATH.asau3-5/+23
2014-09-24Use C++ frontend to link the code.asau5-3/+66
This makes the package build and function on FreeBSD 10 with Clang.
2014-09-23Provide flag to set correct RPATH in pkg-config.asau1-1/+10
2014-09-13Update to Poly/ML 5.5.2asau5-38/+15
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.
2014-03-05Fix compilation script to actually work.asau3-5/+6
2013-12-15Update to Poly/ML 5.5.1asau5-15/+39
Contributed by Imre Vadasz on pkgsrc-users (slightly adapted). Changes in Poly/ML Version 5.5.1 Major New Features and Changes * The intermediate code optimiser has been largely rewritten. The optimiser now detects various additional cases where a closures or tuples can be stored on the stack rather than requiring heap storage * The match compiler that processes a sequence of patterns in a case or fun-binding has been reworked. This now handles complex matches that used to result in a code blow-up * A"polyc" script has been added to aid compiling and linking ML code to produce a stand-alone binary. This is intended as an analogue of cc and gcc. The easiest way to build a binary is now to put the ML code into a file (foo.ML) with a function "main" that is the entry point to the code. Then run polyc -o foo foo.ML The script takes care of any libraries that may be required. It does require that the poly binary and libraries have been installed to the location that was specified in the configure script. * Set the default in the configure script not to build a shared library. This can be overidden with --enable-shared. The advantage of this is that binaries created from Poly/ML, including poly itself, do not require libpolyml at run-time. * Additions and changes to the command-line options when starting the ML top-level + The --eval option can be followed by a string which is compiled and executed before the top-level is entered + The --script option can be used to allow ML code to be run as a script (a "shell script") in Unix. It reads the file name given as the last option, skipping the first line if it begins #!. Implies -q option. Note: because of the way scripts pass their options if used this must be the only option. To use ML as a script put the ML code into a file, put #! /usr/local/bin/poly --script as the first line, modifying the path depending on where poly is installed, and set the file to have execute permission. + The -q option now sets the print depth to zero as well as suppressing the start-up message + The input prompt (> or #) is only produced if the input is a terminal. The -i option should be used to cause the prompt to be produced if, for example, the input is from a pipe. Minor Additions and Changes * The -H option now sets the initial heap size rather than being a synonym for --minheap * Add large file support * When printing the fields a record print them in alphabetical order rather than the system order used in the compiler * Convert the representation of the statistics to use ASN1 encoding. This is byte-order and word-length independent and allows 32-bit Poly/ML to read the statistics of 64-bit Poly/ ML on the same machine and vice-versa. * Add a substructure Exception to the PolyML structure to hold all the functions related to exceptions. * The default for --gc-threads is now the number of independent physical processors. Hyperthreaded cores are counted as single cores rather than dual cores. * Improve the GC and allocation code for very large arrays * Improve handling of OS.Process.system in Cygwin * Improved versions of Word32 and Word64. These are used for SystemWord and LargeWord. Bug Fixes * Fix Word32.fromLargeInt which could return values outside the range of Word32 * Fix segfault in PolyML.stackTrace * Fix errors in conversion of string to real values * Fix segfault when a thread created in foreign code called an ML callback * Fix profiler which could often report UNKNOWN function * Fix bug with overlapped areas in ArraySlice.copy * Fix InternalError exception with ML code where a fixed record type could not be found * Fix bug with equality on BoolVector.vector * Raise the correct exception (Size) for negative lengths in canInput and inputN * Fix Real.fromInt with an argument that was an arbitrary precision number in the long form * Fix error in the timing information printed with PolyML.timing true in Windows. * Fix occasional problem with input/output as a result of the stream token being represented by an immutable value but then being checked for equality * Fix bug in X86-64 code-generator with literal constants that do not fit in 32-bits. It could result in an "InternalError: gen32s: invalid word" exception. Includes regression test. * Fix LargWord.fromInt which was wrong for large negative values * Fix bug in power-of-two function in code-generator. This caused an infinite loop with Word.* when multiplying by a constant with the highest bit set and not a power of two. * Fix bug in structure matching code * Use ELF_Rela relocation structures for all relocations in X86-64. Some systems e.g. Solaris require this.
2012-10-08Use pkgsrc libffi instead of bundled one. Ride the update.asau1-1/+3
2012-10-08Regenerate.asau1-4/+4
2012-10-08Update to Poly/ML 5.5asau1-4/+3
Changes in Poly/ML Version 5.5 Major New Features Storage management rewrite. The storage management system has been almost completely rewritten. The garbage collector is parallelised and a new mechanism has been introduced to adjust the size of the heap. When space is very short an extra pass may be triggered that merges immutable cells with the same contents. Thanks to Tobias Nipkow and the Technical University of Munich for support for this work. PolyML.shareCommonData has been parallelised and now uses a dynamic stack to avoid a possible segfault if the C stack overflows with deep data structures. There is now support for 64-bit on Windows using either mingw or Visual Studio. Added a PolyML.Statistics structure to extract information about the current ML program or that running in another process. The standard "text" and "data" areas are now used for exported object files. In particular this removes the need for --segprot when linking the object files on Mac OS X with previous versions. libffi is now used for foreign function interface (CInterface). Among other things this allows the full range of types to be use on X86/64. A version of libffi is included in the source but those packaging Poly/ML may prefer to use the --with-system-libffi option to the configure script to use the version installed on the machine. Withdrawn support for native-code on PPC and Sparc. The configure script will now fall back to the interpreted version on these platforms. Minor Additions and Changes Added G, M, K suffix to RTS arguments for --maxheap and --minheap. Some changes to where "op" is allowed to conform more closely to the Definition. --debug and --logfile options. These allow fine control of debugging information within the run-time system. Added --error-exit option to terminate the top-level loop if any command raises an exception. Added PolyML.IntInf with gcd and lcm functions to use GMP's gcd function if available. Added PolyML.Compiler.allocationProfiling to work with PolyML.profiling 4. This causes each full GC to print a profile indicating where the currently live data has been allocated. Removed NetDB structure from the library since this was in an early draft of the basis library but not in the final book. Added PolyML.Codetree structure within PolyML. This allows ML code to build intermediate code data structures and generate machine code from them. Added "--use FILENAME" command line argument to run a command from a file before starting the main Read-Eval-Print loop. Bug Fixes Fixes related to Word32 on X86-64 and Word.~>>. Vol allocation locking issue Floating point box issue Fix some functions in the Windows structure to match the Basis Library definition Fix a possible crash if a GC happened while another thread was in foreign code. Fix error in printer function for a datatype where the effect of PolyML.print_depth depended on the posiition of a constructor in the datatype. Fix bug with flexible record handling. Fix Real.fmt and Real.toString to conform to the Basis Library definition. Fix Real.abs with nan argument. Fix IEEEReal.toString for nan argument. Fix code-generator bug which resulted in incorrect result for Real.nextAfter. Fix bug the produced Subscript exceptions in stream IO.
2012-10-02Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.asau1-3/+1
2012-06-15The package doesn't require GMP, turn it off, provide option instead.asau2-5/+11
2012-06-14Add missing devel/gmp buildlink.sbd1-1/+3
Bump PKGREVISION.
2012-03-22Update to Poly/ML 5.4.1asau4-23/+27
Changes in Poly/ML Version 5.4 Major New Features * Major rewrite of the X86 code-generator and combining the 32 and 64-bit versions into a single module. It now supports the floating point instructions. * Changes to the way functions with polymorphic equality are handled to eliminate the "structural equality" code. * Uses the GMP library if that is available when Poly/ML is built otherwise falls back to the old Poly/ML code. Minor Additions and Changes * Added a SingleAssignment structure * Support for the Itanium processor using the interpreted version. * Various bug fixes.
2009-12-13Update to Poly/ML Version 5.3asau3-14/+23
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.
2009-03-20Import Poly/ML version 5.2.1asau6-0/+75
Poly/ML is Standard ML implementation originating from Cambridge University.
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-01 06:46:26 +0000