diff options
| author | Camil Staps | 2017-07-28 23:46:38 +0200 |
|---|---|---|
| committer | Camil Staps | 2017-07-28 23:46:38 +0200 |
| commit | fe76e2ad510ec9e4df965a9620f8d36778222c08 (patch) | |
| tree | 4caec2a73064dc9ed44214c9625c99cf379647b8 /Sil/Syntax.dcl | |
| parent | Add a semi-memoized fibonacci with lists (diff) | |
Add globals on A-stack
Diffstat (limited to 'Sil/Syntax.dcl')
| -rw-r--r-- | Sil/Syntax.dcl | 3 |
1 files changed, 2 insertions, 1 deletions
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 = |