diff options
Diffstat (limited to 'Sil/Syntax.dcl')
| -rw-r--r-- | Sil/Syntax.dcl | 9 |
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 = |