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/Syntax.dcl | 2 ++ 1 file changed, 2 insertions(+) (limited to 'Sil/Syntax.dcl') diff --git a/Sil/Syntax.dcl b/Sil/Syntax.dcl index 669f2f6..0f15930 100644 --- a/Sil/Syntax.dcl +++ b/Sil/Syntax.dcl @@ -47,6 +47,8 @@ from Sil.Types import :: Type | App Name [Expression] | BuiltinApp Op1 Expression | BuiltinApp2 Expression Op2 Expression + | Tuple Int [Expression] + | Field Name Expression :: Op1 = Neg //* ~ -- cgit v1.2.3