diff options
| author | Camil Staps | 2017-07-28 11:54:40 +0200 |
|---|---|---|
| committer | Camil Staps | 2017-07-28 11:55:23 +0200 |
| commit | 1703085b25fa82459e306737ae88ee6fb0ece910 (patch) | |
| tree | 8b86ce7d6e2892b7dc328153373b59a36c129ba5 /Sil/Syntax.dcl | |
| parent | Optimise: remove unreachacble ABC-code (diff) | |
Resolve #1: implement lists (tuples have been done earlier)
Diffstat (limited to 'Sil/Syntax.dcl')
| -rw-r--r-- | Sil/Syntax.dcl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Sil/Syntax.dcl b/Sil/Syntax.dcl index 0f15930..e3a458d 100644 --- a/Sil/Syntax.dcl +++ b/Sil/Syntax.dcl @@ -47,8 +47,9 @@ from Sil.Types import :: Type | App Name [Expression] | BuiltinApp Op1 Expression | BuiltinApp2 Expression Op2 Expression - | Tuple Int [Expression] | Field Name Expression + | Tuple Int [Expression] + | List (Maybe Type) [Expression] :: Op1 = Neg //* ~ @@ -63,6 +64,7 @@ from Sil.Types import :: Type | Equals //* == | LogOr //* || | LogAnd //* && + | Cons //* : :: Literal = BLit Bool |