[MLton-commit] r6176

Vesa Karvonen vesak at mlton.org
Mon Nov 19 05:38:17 PST 2007


Alice is also supported.
----------------------------------------------------------------------

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

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

Modified: mltonlib/trunk/org/mlton/vesak/use-lib/unstable/Make.sh
===================================================================
--- mltonlib/trunk/org/mlton/vesak/use-lib/unstable/Make.sh	2007-11-19 13:33:37 UTC (rev 6175)
+++ mltonlib/trunk/org/mlton/vesak/use-lib/unstable/Make.sh	2007-11-19 13:38:16 UTC (rev 6176)
@@ -45,6 +45,8 @@
 
 gen alice '()' 'ignore' ''
 
+gen mosml '()' 'ignore' 'val () = load "OS" ;'
+
 gen polyml                                      \
     '(PolyML.get_print_depth ()                 \
       before PolyML.print_depth 0)'             \
@@ -68,8 +70,6 @@
      end'                                       \
     ''
 
-gen mosml '()' 'ignore' 'val () = load "OS" ;'
-
 if which poly > /dev/null ; then
     echo 'PolyML.print_depth 0 ; use "polyml.use" ;' | poly -q
     echo

Modified: mltonlib/trunk/org/mlton/vesak/use-lib/unstable/README
===================================================================
--- mltonlib/trunk/org/mlton/vesak/use-lib/unstable/README	2007-11-19 13:33:37 UTC (rev 6175)
+++ mltonlib/trunk/org/mlton/vesak/use-lib/unstable/README	2007-11-19 13:38:16 UTC (rev 6176)
@@ -26,7 +26,7 @@
       (export.sml).  The contents of this directory should ideally provide
       sufficient documentation to use the library.
 
-   {mosml,polyml,smlnj}.use
+   {alice,mosml,polyml,smlnj}.use
 
       These build files define the framework.  These files are generated
       using the Make.sh script.




More information about the MLton-commit mailing list