aboutsummaryrefslogtreecommitdiff
path: root/Sil/Check.dcl
diff options
context:
space:
mode:
authorCamil Staps2017-07-28 23:46:38 +0200
committerCamil Staps2017-07-28 23:46:38 +0200
commitfe76e2ad510ec9e4df965a9620f8d36778222c08 (patch)
tree4caec2a73064dc9ed44214c9625c99cf379647b8 /Sil/Check.dcl
parentAdd a semi-memoized fibonacci with lists (diff)
Add globals on A-stack
Diffstat (limited to 'Sil/Check.dcl')
-rw-r--r--Sil/Check.dcl1
1 files changed, 1 insertions, 0 deletions
diff --git a/Sil/Check.dcl b/Sil/Check.dcl
index a34eb99..9eff566 100644
--- a/Sil/Check.dcl
+++ b/Sil/Check.dcl
@@ -15,6 +15,7 @@ from Sil.Types import :: Type
| ReturnExpressionFromVoid Name
| NoReturnFromNonVoid Name
| LocalVoid Name Name
+ | BasicGlobal Name
instance toString CheckError