From ad519a42876796f969900e687cea80c799dd40ec Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Sun, 30 Jul 2017 09:53:24 +0200
Subject: Add positions to Statements

---
 Sil/Syntax.dcl | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

(limited to 'Sil/Syntax.dcl')

diff --git a/Sil/Syntax.dcl b/Sil/Syntax.dcl
index b298c19..4f0ddf9 100644
--- a/Sil/Syntax.dcl
+++ b/Sil/Syntax.dcl
@@ -38,12 +38,12 @@ from Sil.Util.Parser import :: ParsePosition, class getPos
 	}
 
 :: Statement
-	= Declaration Name Expression
-	| Application Expression
-	| Return (Maybe Expression)
-	| If [(Expression, CodeBlock)] (Maybe CodeBlock)
-	| While Expression CodeBlock
-	| MachineStm String
+	= Declaration ParsePosition Name Expression
+	| Application ParsePosition Expression
+	| Return      ParsePosition (Maybe Expression)
+	| If          ParsePosition [(Expression, CodeBlock)] (Maybe CodeBlock)
+	| While       ParsePosition Expression CodeBlock
+	| MachineStm  ParsePosition String
 
 :: Expression
 	= Name Name
@@ -90,6 +90,7 @@ instance toString Literal
 
 instance getPos Function
 instance getPos Initialisation
+instance getPos Statement
 
 class allStatements a :: a -> [Statement]
 instance allStatements Program
-- 
cgit v1.2.3