aboutsummaryrefslogtreecommitdiff
path: root/Sil/Syntax.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'Sil/Syntax.dcl')
-rw-r--r--Sil/Syntax.dcl13
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