From fe76e2ad510ec9e4df965a9620f8d36778222c08 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Fri, 28 Jul 2017 23:46:38 +0200 Subject: Add globals on A-stack --- Sil/Syntax.dcl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'Sil/Syntax.dcl') diff --git a/Sil/Syntax.dcl b/Sil/Syntax.dcl index e3a458d..c76eb13 100644 --- a/Sil/Syntax.dcl +++ b/Sil/Syntax.dcl @@ -7,7 +7,8 @@ from Data.Maybe import :: Maybe from Sil.Types import :: Type :: Program = - { p_funs :: [Function] + { p_funs :: [Function] + , p_globals :: [Initialisation] } :: Function = -- cgit v1.2.3