[MLton-commit] r6742

Matthew Fluet fluet at mlton.org
Tue Aug 19 15:13:23 PDT 2008


Missing case for hash-consing of CPointer types.
----------------------------------------------------------------------

U   mlton/trunk/mlton/ssa/ssa-tree2.fun

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

Modified: mlton/trunk/mlton/ssa/ssa-tree2.fun
===================================================================
--- mlton/trunk/mlton/ssa/ssa-tree2.fun	2008-08-19 22:13:11 UTC (rev 6741)
+++ mlton/trunk/mlton/ssa/ssa-tree2.fun	2008-08-19 22:13:20 UTC (rev 6742)
@@ -158,7 +158,8 @@
 
       local
          val same: tree * tree -> bool =
-            fn (Datatype t1, Datatype t2) => Tycon.equals (t1, t2)
+            fn (CPointer, CPointer) => true
+             | (Datatype t1, Datatype t2) => Tycon.equals (t1, t2)
              | (IntInf, IntInf) => true
              | (Object {args = a1, con = c1}, Object {args = a2, con = c2}) =>
                   ObjectCon.equals (c1, c2)




More information about the MLton-commit mailing list