diff options
| author | Camil Staps | 2017-07-18 21:01:57 +0000 |
|---|---|---|
| committer | Camil Staps | 2017-07-18 21:01:57 +0000 |
| commit | cf21e431661a2f0009f05113fb23243a253e62de (patch) | |
| tree | 278931199b1de5dfac73bb7e46d1d3f1030963b9 /Sil/Syntax.dcl | |
| parent | Fix stack sizes (diff) | |
Add +, -, *, /, %, ~
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 |