Add positions to Statements

1 files changed, 7 insertions, 6 deletions

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