diff src/elaborate.sml @ 1305:a6fc03d28170

Fix infinite looping bug in Great Unification Fix
author Adam Chlipala <adam@chlipala.net>
date Sun, 10 Oct 2010 15:54:51 -0400
parents f0afe61a6f8b
children 3a845f2ce9e9
line wrap: on
line diff
--- a/src/elaborate.sml	Sun Oct 10 15:37:14 2010 -0400
+++ b/src/elaborate.sml	Sun Oct 10 15:54:51 2010 -0400
@@ -1059,7 +1059,7 @@
                   r1 := SOME c2All)
              else if nl2 = 0 then
                  (unifyKinds env k1 k2;
-                  r2 := SOME c2All)
+                  r2 := SOME c1All)
              else
                  err (fn _ => TooLifty (loc1, loc2))