[MLton-commit] r6629

Vesa Karvonen vesak at mlton.org
Fri May 30 06:09:35 PDT 2008


Updated to work with latest Poly/ML from CVS.
----------------------------------------------------------------------

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

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

Modified: mltonlib/trunk/org/mlton/vesak/use-lib/unstable/Make.sh
===================================================================
--- mltonlib/trunk/org/mlton/vesak/use-lib/unstable/Make.sh	2008-05-30 13:06:14 UTC (rev 6628)
+++ mltonlib/trunk/org/mlton/vesak/use-lib/unstable/Make.sh	2008-05-30 13:09:30 UTC (rev 6629)
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-# Copyright (C) 2007 Vesa Karvonen
+# Copyright (C) 2007-2008 Vesa Karvonen
 #
 # This code is released under the MLton license, a BSD-style license.
 # See the LICENSE file or http://mlton.org/License for details.
@@ -12,7 +12,7 @@
 sources="public/use-lib.sig detail/use-lib.sml public/export.sml"
 
 function gen {
-    echo "(* Copyright (C) 2007 Vesa Karvonen
+    echo "(* Copyright (C) 2007-2008 Vesa Karvonen
  *
  * This code is released under the MLton license, a BSD-style license.
  * See the LICENSE file or http://mlton.org/License for details.
@@ -50,7 +50,7 @@
 gen mosml '()' 'ignore'
 
 gen polyml                                      \
-    '(PolyML.get_print_depth ()                 \
+    '(!PolyML.Compiler.printDepth               \
       before PolyML.print_depth 0)'             \
     'PolyML.print_depth'
 




More information about the MLton-commit mailing list