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