1 files changed, 3 insertions, 0 deletions
diff --git a/src/source.sml b/src/source.sml
index d36e86ca..e55e5901 100644
--- a/src/source.sml
+++ b/src/source.sml
@@ -34,6 +34,7 @@ datatype kind' =
        | KArrow of kind * kind
        | KName
        | KRecord of kind
+       | KUnit
        | KWild
 
 withtype kind = kind' located
@@ -59,6 +60,8 @@ datatype con' =
        | CConcat of con * con
        | CFold
 
+       | CUnit
+
        | CWild of kind
 
 withtype con = con' located