diff options
Diffstat (limited to 'Sil/Syntax.dcl')
-rw-r--r-- | Sil/Syntax.dcl | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/Sil/Syntax.dcl b/Sil/Syntax.dcl index d6662ef..6df64a3 100644 --- a/Sil/Syntax.dcl +++ b/Sil/Syntax.dcl @@ -47,11 +47,14 @@ from Data.Maybe import :: Maybe = Neg //* ~ :: Op2 - = Add //* + - | Sub //* - - | Mul //* * - | Div //* / - | Rem //* % + = Add //* + + | Sub //* - + | Mul //* * + | Div //* / + | Rem //* % + | Equals //* == + | LogOr //* || + | LogAnd //* && :: Type = TBool |