diff options
| author | Camil Staps | 2017-07-27 23:13:50 +0200 |
|---|---|---|
| committer | Camil Staps | 2017-07-27 23:13:50 +0200 |
| commit | dae111326db85383af87cdf79cd774edec30a05f (patch) | |
| tree | 86504772befba1baa6538e6fba75908bfc649f66 /Sil/Types.dcl | |
| parent | Removed hacks for || and && now that they have been implemented properly (diff) | |
Don't allow tuples with arity > 32 (ABC-machine limitation)
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 |