From 7364919175a6bc988d17523005917933f0680492 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Wed, 19 Jul 2017 12:30:10 +0000
Subject: Nomenclature: Application type is now Expression

---
 Sil/Syntax.dcl | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

(limited to 'Sil/Syntax.dcl')

diff --git a/Sil/Syntax.dcl b/Sil/Syntax.dcl
index b3ecdb7..58515fe 100644
--- a/Sil/Syntax.dcl
+++ b/Sil/Syntax.dcl
@@ -31,19 +31,19 @@ from Data.Maybe import :: Maybe
 	}
 
 :: Statement
-	= Declaration Name Application
-	| Application Application
-	| Return (Maybe Application)
-	| If [(Application, CodeBlock)] (Maybe CodeBlock)
-	| While Application CodeBlock
+	= Declaration Name Expression
+	| Application Expression
+	| Return (Maybe Expression)
+	| If [(Expression, CodeBlock)] (Maybe CodeBlock)
+	| While Expression CodeBlock
 	| MachineStm String
 
-:: Application
+:: Expression
 	= Name Name
 	| Literal Literal
-	| App Name [Application]
-	| BuiltinApp Op1 Application
-	| BuiltinApp2 Application Op2 Application
+	| App Name [Expression]
+	| BuiltinApp Op1 Expression
+	| BuiltinApp2 Expression Op2 Expression
 
 :: Op1
 	= Neg //* ~
@@ -72,7 +72,7 @@ from Data.Maybe import :: Maybe
 instance toString Statement
 instance toString Type
 instance toString Arg
-instance toString Application
+instance toString Expression
 instance toString Op1
 instance toString Op2
 instance toString Literal
-- 
cgit v1.2.3