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/Types.dcl | 1 + 1 file changed, 1 insertion(+) (limited to 'Sil/Types.dcl') diff --git a/Sil/Types.dcl b/Sil/Types.dcl index 51d4229..14602d3 100644 --- a/Sil/Types.dcl +++ b/Sil/Types.dcl @@ -16,6 +16,7 @@ from Sil.Syntax import :: Expression, :: Function, :: Name, :: Op1, :: Op2 | TVoid | (-->) infixr Type Type | TTuple Int [Type] + | TList Type :: TypeSize = { asize :: Int -- cgit v1.2.3