diff options
Diffstat (limited to 'backend/backendpreprocess.dcl')
-rw-r--r-- | backend/backendpreprocess.dcl | 7 |
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 |