diff options
Diffstat (limited to 'src/elaborate.sml')
| -rw-r--r-- | src/elaborate.sml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml index 2839c310..a28d3bf4 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -495,7 +495,10 @@ | _ => false fun cunifsRemain c = case c of - L'.CUnif (_, loc, _, _, ref NONE) => SOME loc + L'.CUnif (_, loc, k, _, r as ref NONE) => + (case #1 (hnormKind k) of + L'.KUnit => (r := SOME (L'.CUnit, loc); NONE) + | _ => SOME loc) | _ => NONE val kunifsInDecl = U.Decl.exists {kind = kunifsRemain, |