summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/elaborate.sml5
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,