diff options
Diffstat (limited to 'Sil/Syntax.dcl')
| -rw-r--r-- | Sil/Syntax.dcl | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Sil/Syntax.dcl b/Sil/Syntax.dcl index 3fdb8f1..d6662ef 100644 --- a/Sil/Syntax.dcl +++ b/Sil/Syntax.dcl @@ -40,6 +40,18 @@ from Data.Maybe import :: Maybe = Name Name | Literal Literal | App Name [Application] + | BuiltinApp Op1 Application + | BuiltinApp2 Application Op2 Application + +:: Op1 + = Neg //* ~ + +:: Op2 + = Add //* + + | Sub //* - + | Mul //* * + | Div //* / + | Rem //* % :: Type = TBool |