Start with positional errors (see #5)

1 files changed, 5 insertions, 4 deletions

diff --git a/Sil/Syntax.dcl b/Sil/Syntax.dcl
index 7c983eb..1273267 100644
--- a/Sil/Syntax.dcl
+++ b/Sil/Syntax.dcl
@@ -5,10 +5,11 @@ from StdOverloaded import class toString
 from Data.Maybe import :: Maybe
 
 from Sil.Types import :: Type
+from Sil.Util.Parser import :: Positioned
 
 :: Program =
-	{ p_funs    :: [Function]
-	, p_globals :: [Initialisation]
+	{ p_funs    :: [Positioned Function]
+	, p_globals :: [Positioned Initialisation]
 	}
 
 :: Function =
@@ -19,8 +20,8 @@ from Sil.Types import :: Type
 	}
 
 :: CodeBlock =
-	{ cb_init    :: [Initialisation]
-	, cb_content :: [Statement]
+	{ cb_init    :: [Positioned Initialisation]
+	, cb_content :: [Positioned Statement]
 	}
 
 :: Arg =