[MLton-commit] r5730

Matthew Fluet fluet at mlton.org
Fri Jul 6 14:27:55 PDT 2007


Monomorphic type is computed/returned by renameMono
----------------------------------------------------------------------

U   mlton/trunk/mlton/xml/monomorphise.fun

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

Modified: mlton/trunk/mlton/xml/monomorphise.fun
===================================================================
--- mlton/trunk/mlton/xml/monomorphise.fun	2007-07-06 21:26:53 UTC (rev 5729)
+++ mlton/trunk/mlton/xml/monomorphise.fun	2007-07-06 21:27:53 UTC (rev 5730)
@@ -351,11 +351,11 @@
           case d of
              Xdec.MonoVal {var, ty, exp} =>
                 let
-                   val (var, _) = renameMono (var, ty)
+                   val (var, ty) = renameMono (var, ty)
                 in 
                    fn () => 
                    [Sdec.MonoVal {var = var,
-                                  ty = monoType ty,
+                                  ty = ty,
                                   exp = monoPrimExp exp}]
                 end
            | Xdec.PolyVal {var, tyvars, ty, exp} =>




More information about the MLton-commit mailing list