From cf21e431661a2f0009f05113fb23243a253e62de Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 18 Jul 2017 21:01:57 +0000
Subject: Add +, -, *, /, %, ~

---
 Sil/Syntax.dcl | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'Sil/Syntax.dcl')

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
-- 
cgit v1.2.3