# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1289677086 18000
# Node ID df7bfb30dcc3fb0beb897e3e6d959a0efb4acf42
# Parent  855c5adafc2da1cf148ab0177e4ea33a5243b066
More hnormKind for isUnitCon

diff -r 855c5adafc2d -r df7bfb30dcc3 src/elaborate.sml
--- 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