From 1703085b25fa82459e306737ae88ee6fb0ece910 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 28 Jul 2017 11:54:40 +0200
Subject: Resolve #1: implement lists (tuples have been done earlier)

---
 Sil/Syntax.dcl | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Sil/Syntax.dcl')

diff --git a/Sil/Syntax.dcl b/Sil/Syntax.dcl
index 0f15930..e3a458d 100644
--- a/Sil/Syntax.dcl
+++ b/Sil/Syntax.dcl
@@ -47,8 +47,9 @@ from Sil.Types import :: Type
 	| App Name [Expression]
 	| BuiltinApp Op1 Expression
 	| BuiltinApp2 Expression Op2 Expression
-	| Tuple Int [Expression]
 	| Field Name Expression
+	| Tuple Int [Expression]
+	| List (Maybe Type) [Expression]
 
 :: Op1
 	= Neg //* ~
@@ -63,6 +64,7 @@ from Sil.Types import :: Type
 	| Equals //* ==
 	| LogOr  //* ||
 	| LogAnd //* &&
+	| Cons   //* :
 
 :: Literal
 	= BLit Bool
-- 
cgit v1.2.3