From bf0a7bb68485c87737677e4bbb5278b24dcb24cc Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Thu, 27 Jul 2017 22:53:45 +0200
Subject: Add tuples (see #1)

---
 Sil/Types.dcl | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'Sil/Types.dcl')

diff --git a/Sil/Types.dcl b/Sil/Types.dcl
index d44a373..0821078 100644
--- a/Sil/Types.dcl
+++ b/Sil/Types.dcl
@@ -14,9 +14,11 @@ from Sil.Syntax import :: Expression, :: Function, :: Name, :: Op1, :: Op2
 	| TInt
 	| TVoid
 	| (-->) infixr Type Type
+	| TTuple Int [Type]
 
 :: TypeError
 	= IllegalApplication Type Type
+	| IllegalField Name Type
 
 :: TypeSize =
 	{ asize  :: Int
-- 
cgit v1.2.3