diff --git a/NEWS.md b/NEWS.md index 0ed9afa6d..c06fef38c 100644 --- a/NEWS.md +++ b/NEWS.md @@ -1,5 +1,13 @@ ## MLKit NEWS +* mael 2020-04-30: Support for Word64, Word63, Int64, and Int63 + structures in the native backend. + +* mael 2020-04-30: Unboxing optimisation for double-precision floats. + +* mael 2020-04-30: Preliminary support for source-level region + annotations. + * mael 2019-07-03: Fixed bug on macOS wrt setting stacksize. * mael 2019-07-03: Fixed bug on macOS wrt Time exception during diff --git a/README.md b/README.md index cc581d640..44194c720 100644 --- a/README.md +++ b/README.md @@ -29,7 +29,8 @@ using an [mlkit PPA from Launchpad](https://launchpad.net/~pmunksgaard/+archive/ Standard ML Basis Library. The support for ML Basis Files makes it easy to compile a program with different Standard ML compilers. Currently, both [MLton](http://mlton.org) and the MLKit supports the concept - of ML Basis Files. + of ML Basis Files. The MLKit works well together with [smlpkg](https://github.com/diku-dk/smlpkg), a + generic package manager for Standard ML libraries and programs. * Region-Based Memory Management: Memory allocation directives (both allocation and deallocation) are inferred by the compiler, which diff --git a/test/Makefile b/test/Makefile index 33ee8cbda..900e6cc61 100644 --- a/test/Makefile +++ b/test/Makefile @@ -1,7 +1,7 @@ DATE=$(shell /bin/date -u '+%Y-%m-%dT-%H:%M:%S') .PHONY: test -test: test_mlkit_no_gc +test: test_mlkit_no_gc test_mlkit .PHONY: all all: test_kam test_mlkit