1 files changed, 2 insertions, 0 deletions
diff --git a/Syntax.sml b/Syntax.sml
index 0eccd36..8145211 100644
--- a/Syntax.sml
+++ b/Syntax.sml
@@ -13,6 +13,7 @@ struct
   | PInt of int
   | PTuple of pat list
   | PCon of string list * pat
+  | PList of pat list
 
   datatype identType =
     ITVar
@@ -77,6 +78,7 @@ struct
   | TPInt of int
   | TPTuple of (typedPat * ty) list
   | TPCon of string list * (typedPat * ty)
+  | TPList of (typedPat * ty) list
 
   datatype typedExpr =
     TEIdent of identType * string