Skip to content

Commit

Permalink
extended testing and documentation update
Browse files Browse the repository at this point in the history
  • Loading branch information
melsman committed Apr 30, 2020
1 parent 6f763d9 commit 3d49aff
Show file tree
Hide file tree
Showing 3 changed files with 11 additions and 2 deletions.
8 changes: 8 additions & 0 deletions NEWS.md
Original file line number Diff line number Diff line change
@@ -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
Expand Down
3 changes: 2 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
2 changes: 1 addition & 1 deletion test/Makefile
Original file line number Diff line number Diff line change
@@ -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
Expand Down

0 comments on commit 3d49aff

Please sign in to comment.