aboutsummaryrefslogtreecommitdiff
path: root/frontend/frontend.dcl
diff options
context:
space:
mode:
authorclean2000-07-04 09:07:05 +0000
committerclean2000-07-04 09:07:05 +0000
commit8890c01d9a26a5b7614746b6f43bba97198fca7d (patch)
tree0a77ea29cc8f4966b44bb4676f9bdac28f27b0e7 /frontend/frontend.dcl
parentremoving trace statement (diff)
labels global function names without ";n" extension
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@181 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/frontend.dcl')
-rw-r--r--frontend/frontend.dcl1
1 files changed, 1 insertions, 0 deletions
diff --git a/frontend/frontend.dcl b/frontend/frontend.dcl
index 47db4e2..7696b05 100644
--- a/frontend/frontend.dcl
+++ b/frontend/frontend.dcl
@@ -11,6 +11,7 @@ import checksupport, transform, overloading
, fe_varHeap :: !.VarHeap
, fe_dclIclConversions ::!Optional {# Index}
, fe_iclDclConversions ::!Optional {# Index}
+ , fe_globalFunctions :: !IndexRange
, fe_arrayInstances :: !IndexRange
}