# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1291317078 18000
# Node ID d91f845996933ee1843af3e4c1e244f0bf223bea
# Parent  fdf48f6ba418e01eca794edc21d91c970cb0be66
Instantiate any Unit unification variables that remain after elaboration

diff -r fdf48f6ba418 -r d91f84599693 src/elaborate.sml
--- a/src/elaborate.sml	Thu Dec 02 12:24:09 2010 -0500
+++ b/src/elaborate.sml	Thu Dec 02 14:11:18 2010 -0500
@@ -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,