Mercurial > urweb
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