aboutsummaryrefslogtreecommitdiff
path: root/backend/backendpreprocess.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'backend/backendpreprocess.dcl')
-rw-r--r--backend/backendpreprocess.dcl7
1 files changed, 7 insertions, 0 deletions
diff --git a/backend/backendpreprocess.dcl b/backend/backendpreprocess.dcl
new file mode 100644
index 0000000..2da8b05
--- /dev/null
+++ b/backend/backendpreprocess.dcl
@@ -0,0 +1,7 @@
+definition module backendpreprocess
+
+import checksupport
+
+// assign sequence numbers to all variables in the syntax tree
+
+backendPreprocess :: ![Index] !IclModule !*VarHeap -> *VarHeap