From eaa183b7dfc841df75d42ace7a90ada1e40ff282 Mon Sep 17 00:00:00 2001
From: Rose Hogenson <rosehogenson@posteo.net>
Date: Tue, 4 Nov 2025 18:58:28 -0800
Subject: Add lists

---
 Syntax.sml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'Syntax.sml')

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
-- 
cgit v1.3.1