[MLton-commit] r6136

[Vesa Karvonen]

Added support for Moscow ML.

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

U   mltonlib/trunk/org/mlton/vesak/use-lib/unstable/Make.sh
U   mltonlib/trunk/org/mlton/vesak/use-lib/unstable/detail/use-lib.sml

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

Modified: mltonlib/trunk/org/mlton/vesak/use-lib/unstable/Make.sh
===================================================================
--- mltonlib/trunk/org/mlton/vesak/use-lib/unstable/Make.sh	2007-11-08 01:27:32 UTC (rev 6135)
+++ mltonlib/trunk/org/mlton/vesak/use-lib/unstable/Make.sh	2007-11-08 01:43:09 UTC (rev 6136)
@@ -18,18 +18,21 @@
 
 (* WARNING: This file was generated by the $(basename $0) script. *)" > "$1.use"
 
-    echo "$code"                           \
-  | grep -v '^ *(\?\*'                     \
-  | sed -e "s/\\\$(SML_COMPILER)/\"$1\"/g" \
-        -e "s/\\\$(SILENT)/$(echo $2)/g"   \
-        -e "s/\\\$(VERBOSE)/$(echo $3)/g"  \
+    echo "$code"                                \
+  | grep -v '^ *(\?\*'                          \
+  | sed -e "s/\\\$(SML_COMPILER)/\"$1\"/g"      \
+        -e "s/\\\$(SILENT)/$(echo -n $2)/g"     \
+        -e "s/\\\$(VERBOSE)/$(echo -n $3)/g"    \
+        -e "s/\\\$(PRELUDE)/$(echo -n $4)/g"    \
   >> "$1.use"
+    echo "Wrote $1.use"
 }
 
 gen polyml                                      \
     '(PolyML.get_print_depth ()                 \
       before PolyML.print_depth 0)'             \
-    'PolyML.print_depth'
+    'PolyML.print_depth'                        \
+    ''
 
 gen smlnj                                       \
     'let                                        \
@@ -45,4 +48,7 @@
      in                                         \
         fn old => (printDepth := #depth old     \
                  ; signatures := #sigs old)     \
-     end'
+     end'                                       \
+    ''
+
+gen mosml '()' 'ignore' 'val () = load "OS" ;'

Modified: mltonlib/trunk/org/mlton/vesak/use-lib/unstable/detail/use-lib.sml
===================================================================
--- mltonlib/trunk/org/mlton/vesak/use-lib/unstable/detail/use-lib.sml	2007-11-08 01:27:32 UTC (rev 6135)
+++ mltonlib/trunk/org/mlton/vesak/use-lib/unstable/detail/use-lib.sml	2007-11-08 01:43:09 UTC (rev 6136)
@@ -4,6 +4,8 @@
  * See the LICENSE file or http://mlton.org/License for details.
  *)
 
+$(PRELUDE)
+
 structure UseLib :> USE_LIB = struct
    fun after (th, ef) =
        ((case th () of v => fn () => (ef () ; v))