1 files changed, 3 insertions, 0 deletions
diff --git a/src/source.sml b/src/source.sml
index 9b0e2a07..c76ebf0b 100644
--- a/src/source.sml
+++ b/src/source.sml
@@ -34,6 +34,7 @@ datatype kind' =
        | KArrow of kind * kind
        | KName
        | KRecord of kind
+       | KWild
 
 withtype kind = kind' located
 
@@ -57,6 +58,8 @@ datatype con' =
        | CRecord of (con * con) list
        | CConcat of con * con
 
+       | CWild of kind
+
 withtype con = con' located
 
 datatype exp' =