diff options
| author | clean | 2000-04-26 15:24:04 +0000 |
|---|---|---|
| committer | clean | 2000-04-26 15:24:04 +0000 |
| commit | ad5d589437fca63c6ce0b8ddd836b2457e883fda (patch) | |
| tree | e01bdc0c4b18a8cf19b21e07c70b9ece6998e4f9 /frontend/check.dcl | |
| parent | changes to make compiler compatible with itself (diff) | |
Merge Martin/ Sjaak & Ronny branches
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@127 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/check.dcl')
| -rw-r--r-- | frontend/check.dcl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/check.dcl b/frontend/check.dcl index 6f1c234..3c13324 100644 --- a/frontend/check.dcl +++ b/frontend/check.dcl @@ -4,7 +4,7 @@ import syntax, transform, checksupport, typesupport, predef cPredefinedModuleIndex :== 1 -checkModule :: !ScannedModule !Int ![FunDef] !ScannedModule !ScannedModule ![ScannedModule] !*PredefinedSymbols !*SymbolTable !*File +checkModule :: !ScannedModule !IndexRange ![FunDef] !ScannedModule !ScannedModule ![ScannedModule] !*PredefinedSymbols !*SymbolTable !*File -> (!Bool, !*IclModule, *{# DclModule}, *{! Group}, !(Optional {# Index}), !*Heaps, !*PredefinedSymbols, !*SymbolTable, *File) retrieveGlobalDefinition :: !SymbolTableEntry !STE_Kind !Index -> (!Index, !Index) |