diff src/elaborate.sml @ 1316:df7bfb30dcc3

More hnormKind for isUnitCon
author Adam Chlipala <adam@chlipala.net>
date Sat, 13 Nov 2010 14:38:06 -0500
parents 5337adf33a4a
children d91f84599693
line wrap: on
line diff
--- a/src/elaborate.sml	Tue Nov 02 09:13:00 2010 -0400
+++ b/src/elaborate.sml	Sat Nov 13 14:38:06 2010 -0500
@@ -623,8 +623,8 @@
        | L'.TRecord _ => false
        | L'.TDisjoint _ => false
 
-       | L'.CRel xn => #1 (#2 (E.lookupCRel env xn)) = L'.KUnit
-       | L'.CNamed xn => #1 (#2 (E.lookupCNamed env xn)) = L'.KUnit
+       | L'.CRel xn => #1 (hnormKind (#2 (E.lookupCRel env xn))) = L'.KUnit
+       | L'.CNamed xn => #1 (hnormKind (#2 (E.lookupCNamed env xn))) = L'.KUnit
        | L'.CModProj (n, ms, x) => false
          (*let
              val (_, sgn) = E.lookupStrNamed env n
@@ -661,7 +661,7 @@
             | k => raise CUnify' (CKindof (k, c, "tuple")))*)
 
        | L'.CError => false
-       | L'.CUnif (_, _, k, _, _) => #1 k = L'.KUnit
+       | L'.CUnif (_, _, k, _, _) => #1 (hnormKind k) = L'.KUnit
 
        | L'.CKAbs _ => false
        | L'.CKApp _ => false