diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-11-13 14:38:06 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-11-13 14:38:06 -0500 |
| commit | 15195cea4dff60d3b0d3355a96e99c81dc37a1aa (patch) | |
| tree | 8622f6d7acd3dc4b766456457ea38df34b089251 /src/elaborate.sml | |
| parent | f795640bfdd30923774f6a218e879944944dbc28 (diff) | |
More hnormKind for isUnitCon
Diffstat (limited to 'src/elaborate.sml')
| -rw-r--r-- | src/elaborate.sml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml index 3346fc37..2839c310 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -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 |