[MLton-commit] r6391

[Vesa Karvonen]

Minor tweaks.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/generic/unstable/detail/value/data-rec-info.sml
U   mltonlib/trunk/com/ssh/generic/unstable/detail/value/type-hash.sml
U   mltonlib/trunk/com/ssh/generic/unstable/example/canonize.sml
U   mltonlib/trunk/com/ssh/generic/unstable/test/pickle.sml

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

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/data-rec-info.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/data-rec-info.sml	2008-02-09 14:42:26 UTC (rev 6390)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/data-rec-info.sml	2008-02-09 16:30:00 UTC (rev 6391)
@@ -23,7 +23,8 @@
       fun empty _ = true
       fun isEmpty isEmpty = isEmpty (fn _ => false)
       fun singleton x rem = rem x
-      fun union (isEmptyL, isEmptyR) rem = isEmptyL rem andalso isEmptyR rem
+      fun union (isEmptyL, isEmptyR) =
+       fn rem => isEmptyL rem andalso isEmptyR rem
       fun remIf p isEmpty rem = isEmpty (fn x => p x orelse rem x)
    end
 

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/type-hash.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/type-hash.sml	2008-02-09 14:42:26 UTC (rev 6390)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/type-hash.sml	2008-02-09 16:30:00 UTC (rev 6391)
@@ -5,10 +5,6 @@
  *)
 
 functor WithTypeHash (Arg : WITH_TYPE_HASH_DOM) : TYPE_HASH_CASES = struct
-   (* <-- SML/NJ workaround *)
-   open TopLevel
-   (* SML/NJ workaround --> *)
-
    structure W = Word32
 
    fun unary c h : W.t = h * 0w19 + c

Modified: mltonlib/trunk/com/ssh/generic/unstable/example/canonize.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/example/canonize.sml	2008-02-09 14:42:26 UTC (rev 6390)
+++ mltonlib/trunk/com/ssh/generic/unstable/example/canonize.sml	2008-02-09 16:30:00 UTC (rev 6391)
@@ -21,7 +21,7 @@
  * The commented ellipsis in the definition of the term functor suggests
  * that one could add further variants to the term.  Doing so means that
  * the functor type representation would also need to be changed.
- * However, unless new binding or variable reference forms are added,
+ * However, unless new binding or variable reference variants are added,
  * other definitions would not need to be changed. *)
 structure Lambda = struct
    (* Identifier representation: *)
@@ -60,7 +60,7 @@
                INR ? => APP ?  |
                INL ? => FUN ?)
    (* Note that the term isomorphism is written in a pattern whose
-    * complexity is a linear in the number of variants in the term. *)
+    * complexity is linear in the number of variants. *)
 
    (* A fixed point of the term functor: *)
    datatype t = IN of t f

Modified: mltonlib/trunk/com/ssh/generic/unstable/test/pickle.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/test/pickle.sml	2008-02-09 14:42:26 UTC (rev 6390)
+++ mltonlib/trunk/com/ssh/generic/unstable/test/pickle.sml	2008-02-09 16:30:00 UTC (rev 6391)
@@ -1,4 +1,4 @@
-(* Copyright (C) 2007 SSH Communications Security, Helsinki, Finland
+(* Copyright (C) 2007-2008 SSH Communications Security, Helsinki, Finland
  *
  * This code is released under the MLton license, a BSD-style license.
  * See the LICENSE file or http://mlton.org/License for details.
@@ -81,8 +81,8 @@
                            (fn {id = a, extra = b, name = c} => a & b & c,
                             fn a & b & c => {id = a, extra = b, name = c})
 
-              (* Then we assigning version {2} to the new type, keeping
-               * the version {1} for the old type: *)
+              (* Then we assign version {2} to the new type, keeping the
+               * version {1} for the old type: *)
               val t = versioned (version 1 t1
                                     (fn {id, name} =>
                                         {id = id, extra = false, name = name}))