[MLton-commit] r7113

[Matthew Fluet]

Working on updating docs.
----------------------------------------------------------------------

U   mlton/trunk/doc/changelog
U   mlton/trunk/man/mlton.1

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

Modified: mlton/trunk/doc/changelog
===================================================================
--- mlton/trunk/doc/changelog	2009-06-11 03:22:58 UTC (rev 7112)
+++ mlton/trunk/doc/changelog	2009-06-11 03:23:00 UTC (rev 7113)
@@ -1,5 +1,42 @@
 Here are the changes from version 20070826 to version YYYYMMDD.
 
+Summary:
+  + New platforms:
+  + Compiler.
+   o Command-line switches.
+    * Added: -mlb-path-var '<name> <value>'
+    * Removed: -keep sml, -stop sml
+   o Improved constant folding of floating-point operations.
+   o Support for compiling to a C library; see documentation.
+   o Extended -show-def-use output to include types of variable
+       definitions.
+   o Bug fixes: see changelog
+  + Runtime.
+   o @MLton switches.
+    * Added: may-page-heap {false|true}
+   o may-page-heap: By default, MLton will not page the heap to disk
+       when unable to grow the heap to accomodate an allocation.
+       (Previously, this behavior was the default, with no mans to
+       disable, with security an least-surpise issues.)
+   o Bug fixes: see changelog
+  + Language.
+  + Libraries.
+   o Basis Library.
+    * Bug fixes: see changelog.
+   o MLton structure.
+    * Added: MLton.Socket.Address.toVector
+    * Changed:
+    * Deprecated: MLton.Socket
+   o Other libraries.
+    * Updated: ckit library, SML/NJ library, MLRISC library.
+  + Tools.
+   o ml-lex
+    * Include (*#line line:col "file.lex" *) directives in output.
+    * Added %posint command, to set the yypos type and allow the
+      lexing of multi-gigabyte files.
+   o ml-yacc
+    * Include (*#line line:col "file.grm" *) directives in output.
+
 * 2009-04-18
    - Removed command line switches -keep sml and -stop sml.  Their
      meaning was unclear with .mlb files; their effect with .cm files

Modified: mlton/trunk/man/mlton.1
===================================================================
--- mlton/trunk/man/mlton.1	2009-06-11 03:22:58 UTC (rev 7112)
+++ mlton/trunk/man/mlton.1	2009-06-11 03:23:00 UTC (rev 7113)
@@ -120,15 +120,13 @@
 approximate measure of code size of a procedure.  The default is 320.
 
 .TP
-\fB-keep \fI{\fBg\fP|\fBo\fP|\fBsml\fP}\fP\fR
+\fB-keep \fI{\fBg\fP|\fBo\fP}\fP\fR
 Save intermediate files.  If no \fB-keep\fP argument is given, then
 only the output file is saved.
 .in +.5i
 \fBg\fP    generated \fB.S\fP and \fB.c\fP files passed to gcc and the assembler
 .br
 \fBo\fP    object (\fB.o\fP) files
-.br
-\fBsml\fP  SML file
 .in -.5i
 
 .TP
@@ -143,10 +141,18 @@
 .TP
 \fB-mlb-path-map \fIfile\fP\fR
 Use \fIfile\fP as an ML Basis path map to define additional MLB path variables.
-Multiple uses of \fB-mlb-path-map\fP are allowed, with variable
-definitions in later path maps taking precendence over earlier ones.
+Multiple uses of \fB-mlb-path-map\fP and \fB-mlb-path-var\fP are
+allowed, with variable definitions in later path maps taking
+precendence over earlier ones.
 
 .TP
+\fB-mlb-path-var '\fIname value\fP'\fR
+Define an additional MLB path variable.
+Multiple uses of \fB-mlb-path-map\fP and \fB-mlb-path-var\fP are
+allowed, with variable definitions in later path maps taking
+precendence over earlier ones.
+
+.TP
 \fB-output \fIfile\fP\fR
 Specify the name of the final output file.
 The default name is the input file name with its suffix removed and an
@@ -221,7 +227,7 @@
 of each use.
 
 .TP
-\fB-stop \fI{\fBf\fP|\fBg\fP|\fBo\fP|\fBsml\fP|\fBtc\fP}\fP\fR
+\fB-stop \fI{\fBf\fP|\fBg\fP|\fBo\fP|\fBtc\fP}\fP\fR
 Specify when to stop.
 .in +.5i
 \fBf\fP    list of files on stdout (only makes sense when input is \fBfoo.cm\fP or \fBfoo.mlb\fP)
@@ -230,8 +236,6 @@
 .br
 \fBo\fP    object (\fB.o\fP) files
 .br
-\fBsml\fP  SML file (only makes sense when input is \fBfoo.cm\fP or \fBfoo.mlb\fP)
-.br
 \fBtc\fP   after type checking
 .in -.5i
 If you compile \fB-stop g\fP or \fB-stop o\fP, you can resume