[MLton-commit] r4899: Announcing merge of x86_64 branch revisions into trunk

[Matthew Fluet]

MAIL Announcing merge of x86_64 branch revisions into trunk

Although the changeset is huge, there should be few user visible
changes.

One major change is that the FFI syntax no longer supports nested
indirect types (e.g., int array array).

Another change is that the sizes of some system types in the Basis
Library are derived from the host sytem C types.  For example, the
MLton.RLimit.RLim.t type might be 32bits or 64bits depending on the
size of the rlim_t type of the host system.

The "-default-type '<ty><N>'" command line option can be used to
specify the binding of default types in the Basis Library (e.g.,
Int.int).

There are known performance regressions with the PackWord<N>
structures, though they have been discussed and there are plans to
resolve them.


----------------------------------------------------------------------

U   mlton/trunk/doc/changelog

----------------------------------------------------------------------

Modified: mlton/trunk/doc/changelog
===================================================================
--- mlton/trunk/doc/changelog	2006-12-02 19:06:13 UTC (rev 4898)
+++ mlton/trunk/doc/changelog	2006-12-02 19:35:08 UTC (rev 4899)
@@ -1,5 +1,13 @@
 Here are the changes since version 20051202.
 
+* 2006-12-02
+   - Extensive reorganization of garbage collector, runtime system, and
+     Basis Library implementation. (This is in preparation for future
+     64bit support.)  They should be more C standards compliant and easier
+     to port to new systems.
+   - FFI revisions
+     Disallow nested indirect types (e.g., int array array).
+
 * 2006-11-30
    - Fixed a bug in elaboration of FFI forms; unary FFI types (e.g.,
      array, ref, vector) could be used in places where MLton.Pointer.t was
@@ -36,7 +44,7 @@
     (except MinGW, yet, where it's still ignored).
 
 * 2006-05-06
-  - Added -default-type '<ty><N>' for specyfying the binding of default
+  - Added -default-type '<ty><N>' for specifying the binding of default
     types in the Basis Library (e.g., Int.int).
 
 * 2006-04-25