aboutsummaryrefslogtreecommitdiff
path: root/frontend/checksupport.dcl
diff options
context:
space:
mode:
authormartinw2000-11-01 15:42:13 +0000
committermartinw2000-11-01 15:42:13 +0000
commit82bd65297bb04bdd2b144e2c426b6a548024ff6e (patch)
tree84d139b61c5b908fc66df5af7027f215814b0c87 /frontend/checksupport.dcl
parentchanges were necessary due to different numberings due to caching of dcl (diff)
improved code for explicit imports,
moved all switches to syntax module git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@277 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checksupport.dcl')
-rw-r--r--frontend/checksupport.dcl4
1 files changed, 3 insertions, 1 deletions
diff --git a/frontend/checksupport.dcl b/frontend/checksupport.dcl
index 9955409..01bd14d 100644
--- a/frontend/checksupport.dcl
+++ b/frontend/checksupport.dcl
@@ -75,7 +75,7 @@ cConversionTableSize :== 8
, dcls_explicit ::!{!ExplicitImport}
}
-:: ExplicitImport = ExplicitImport !Declaration !LineNr;
+:: ExplicitImport = ExplicitImport !Declaration !Position
:: IclModule =
{ icl_name :: !Ident
@@ -167,3 +167,5 @@ removeLocalsFromSymbolTable :: !Level ![Ident] !LocalDefs !u:{# FunDef} !*(Heap
-> (!u:{# FunDef}, !.Heap SymbolTableEntry)
newFreeVariable :: !FreeVar ![FreeVar] ->(!Bool, ![FreeVar])
+
+local_declaration_for_import :: !u:Declaration .Index -> v:Declaration, [u <= v]