From dae111326db85383af87cdf79cd774edec30a05f Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Thu, 27 Jul 2017 23:13:50 +0200
Subject: Don't allow tuples with arity > 32 (ABC-machine limitation)

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

(limited to 'Sil/Types.dcl')

diff --git a/Sil/Types.dcl b/Sil/Types.dcl
index 0821078..013f064 100644
--- a/Sil/Types.dcl
+++ b/Sil/Types.dcl
@@ -19,6 +19,7 @@ from Sil.Syntax import :: Expression, :: Function, :: Name, :: Op1, :: Op2
 :: TypeError
 	= IllegalApplication Type Type
 	| IllegalField Name Type
+	| TooHighTupleArity Int
 
 :: TypeSize =
 	{ asize  :: Int
-- 
cgit v1.2.3