Unification wildcards

1 files changed, 15 insertions, 7 deletions

diff --git a/src/elaborate.sml b/src/elaborate.sml
index 9e457499..9e63ecea 100644
--- a/src/elaborate.sml
+++ b/src/elaborate.sml
@@ -36,13 +36,6 @@ structure U = ElabUtil
 open Print
 open ElabPrint
 
-fun elabKind (k, loc) =
-    case k of
-        L.KType => (L'.KType, loc)
-      | L.KArrow (k1, k2) => (L'.KArrow (elabKind k1, elabKind k2), loc)
-      | L.KName => (L'.KName, loc)
-      | L.KRecord k => (L'.KRecord (elabKind k), loc)
-
 fun elabExplicitness e =
     case e of
         L.Explicit => L'.Explicit
@@ -183,6 +176,14 @@ fun cunif k =
 
 end
 
+fun elabKind (k, loc) =
+    case k of
+        L.KType => (L'.KType, loc)
+      | L.KArrow (k1, k2) => (L'.KArrow (elabKind k1, elabKind k2), loc)
+      | L.KName => (L'.KName, loc)
+      | L.KRecord k => (L'.KRecord (elabKind k), loc)
+      | L.KWild => kunif ()
+
 fun elabCon env (c, loc) =
     case c of
         L.CAnnot (c, k) =>
@@ -283,6 +284,13 @@ fun elabCon env (c, loc) =
             ((L'.CConcat (c1', c2'), loc), k)
         end
 
+      | L.CWild k =>
+        let
+            val k' = elabKind k
+        in
+            (cunif k', k')
+        end
+
 fun kunifsRemain k =
     case k of
         L'.KUnif (_, ref NONE) => true