diff options
Diffstat (limited to 'Sil/Types.dcl')
| -rw-r--r-- | Sil/Types.dcl | 1 |
1 files changed, 1 insertions, 0 deletions
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 |