diff options
| author | Camil Staps | 2017-07-27 22:53:45 +0200 |
|---|---|---|
| committer | Camil Staps | 2017-07-27 22:53:45 +0200 |
| commit | bf0a7bb68485c87737677e4bbb5278b24dcb24cc (patch) | |
| tree | 468c77df0e0e7e5d05047c8aec50b77d57d3b5dc /Sil/Types.dcl | |
| parent | Optimise multiple pop instructions (diff) | |
Add tuples (see #1)
Diffstat (limited to 'Sil/Types.dcl')
| -rw-r--r-- | Sil/Types.dcl | 2 |
1 files changed, 2 insertions, 0 deletions
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 |