[MLton-commit] r5802

Vesa Karvonen vesak at mlton.org
Sat Jul 28 01:40:18 PDT 2007


Eta-expansion not required.

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

U   mltonlib/trunk/org/mlton/vesak/tech/generics/lgd.sml

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

Modified: mltonlib/trunk/org/mlton/vesak/tech/generics/lgd.sml
===================================================================
--- mltonlib/trunk/org/mlton/vesak/tech/generics/lgd.sml	2007-07-28 02:57:17 UTC (rev 5801)
+++ mltonlib/trunk/org/mlton/vesak/tech/generics/lgd.sml	2007-07-28 08:40:17 UTC (rev 5802)
@@ -83,13 +83,13 @@
     | FIX  of t Ref.t * t
     | VAR  of t Ref.t
 
-   fun Y ? =
+   val Y =
        Tie.pure
           (fn () => let
                  val r = ref UNIT
               in
                  (VAR r, fn t => let val t = FIX (r, t) in r := t ; t end)
-              end) ?
+              end)
 end
 
 (*




More information about the MLton-commit mailing list