1 files changed, 4 insertions, 0 deletions
diff --git a/src/source.sml b/src/source.sml
index 4e4ddc54..de0c296d 100644
--- a/src/source.sml
+++ b/src/source.sml
@@ -35,6 +35,7 @@ datatype kind' =
        | KName
        | KRecord of kind
        | KUnit
+       | KTuple of kind list
        | KWild
 
 withtype kind = kind' located
@@ -64,6 +65,9 @@ datatype con' =
 
        | CUnit
 
+       | CTuple of con list
+       | CProj of con * int
+
        | CWild of kind
 
 withtype con = con' located