diff options
Diffstat (limited to 'Sil/Syntax.dcl')
| -rw-r--r-- | Sil/Syntax.dcl | 23 |
1 files changed, 14 insertions, 9 deletions
diff --git a/Sil/Syntax.dcl b/Sil/Syntax.dcl index c76eb13..7c983eb 100644 --- a/Sil/Syntax.dcl +++ b/Sil/Syntax.dcl @@ -57,15 +57,20 @@ from Sil.Types import :: Type | Not //* ! :: Op2 - = Add //* + - | Sub //* - - | Mul //* * - | Div //* / - | Rem //* % - | Equals //* == - | LogOr //* || - | LogAnd //* && - | Cons //* : + = Add //* + + | Sub //* - + | Mul //* * + | Div //* / + | Rem //* % + | Equals //* == + | Unequals //* <> + | CmpLe //* <= + | CmpGe //* >= + | CmpLt //* < + | CmpGt //* > + | LogOr //* || + | LogAnd //* && + | Cons //* : :: Literal = BLit Bool |