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 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 |