[MLton-commit] r6130

[Vesa Karvonen]

Added a new command-line switch:

  -mlb-path-var '<name> <value>'

It allows one to specify MLB path variables directly on the command-line.

The main design point is that variables given through the -mlb-path-map
and -mlb-path-var switches are processed in the order in which they are
specified on the command-line.  Neither switch has higher precedence than
the other.

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

U   mlton/trunk/doc/changelog

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

Modified: mlton/trunk/doc/changelog
===================================================================
--- mlton/trunk/doc/changelog	2007-11-07 14:05:35 UTC (rev 6129)
+++ mlton/trunk/doc/changelog	2007-11-07 14:14:07 UTC (rev 6130)
@@ -1,11 +1,14 @@
 Here are the changes from version 20070826 to version YYYYMMDD.
 
+* 2007-11-07
+   - Added command-line switch -mlb-path-var '<name> <value>' for
+     specifying MLB path variables.
+
 * 2007-09-20
    - Fixed bug in elaboration of structures with signature
      constraints.  This would later cause the compiler to raise the
      TypeError exception.  Thanks to Vesa Karvonen for the bug report.
 
-
 * 2007-09-11
    - Fixed bug in interaction of _export-ed functions and signal
      handlers.  Thanks to Sean McLaughlin for the bug report.