[MLton-commit] r6024

[Vesa Karvonen]

Eta-reduction & simplification.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/generic/unstable/detail/value/data-rec-info.sml
U   mltonlib/trunk/com/ssh/generic/unstable/detail/value/type-exp.sml
U   mltonlib/trunk/com/ssh/generic/unstable/detail/value/type-info.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	2007-09-14 17:43:21 UTC (rev 6023)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/data-rec-info.sml	2007-09-15 07:28:09 UTC (rev 6024)
@@ -75,15 +75,14 @@
       fun data (INS {exn, recs, ...}) =
           INT {exn = exn, pure = true, recs = recs}
 
-      fun Y ? =
-          Tie.pure
-             (fn () => let
-                    val me = ref ()
-                 in
-                    (INT {exn = false, pure = true, recs = [me]},
-                     fn INT {exn, pure, recs} =>
-                        INT {exn = exn, pure = pure, recs = rem me recs})
-                 end) ?
+      val Y = Tie.pure
+                 (fn () => let
+                        val me = ref ()
+                     in
+                        (INT {exn = false, pure = true, recs = [me]},
+                         fn INT {exn, pure, recs} =>
+                            INT {exn = exn, pure = pure, recs = rem me recs})
+                     end)
 
       fun op --> _ = base
 

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/type-exp.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/type-exp.sml	2007-09-14 17:43:21 UTC (rev 6023)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/type-exp.sml	2007-09-15 07:28:09 UTC (rev 6024)
@@ -50,12 +50,11 @@
       fun C1 c aT = Sum.C1 (c, aT)
       val data = DATA
 
-      fun Y ? =
-          Tie.pure (fn () => let
-                          val v = TypeVar.new ()
-                       in
-                          (VAR v, fn e => FIX (v, e))
-                       end) ?
+      val Y = Tie.pure (fn () => let
+                              val v = TypeVar.new ()
+                           in
+                              (VAR v, fn e => FIX (v, e))
+                           end)
 
       fun op --> aTbT = CON2 (ARROW, aTbT)
 

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/type-info.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/type-info.sml	2007-09-14 17:43:21 UTC (rev 6023)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/type-info.sml	2007-09-15 07:28:09 UTC (rev 6024)
@@ -55,7 +55,7 @@
       fun C1 _ (INT {base, ...}) = INS {alts = 1, base = base}
       fun data (INS {base, ...}) = INT {base = base}
 
-      fun Y ? = Tie.pure (fn () => (INT {base = false}, id)) ?
+      val Y = Tie.id (INT {base = false})
 
       fun op --> _ = base