diff options
Diffstat (limited to 'frontend/check.dcl')
| -rw-r--r-- | frontend/check.dcl | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/frontend/check.dcl b/frontend/check.dcl new file mode 100644 index 0000000..c91ac95 --- /dev/null +++ b/frontend/check.dcl @@ -0,0 +1,20 @@ +definition module check + +import syntax, transform, checksupport, typesupport, predef + +//MOVE +//cIclModIndex :== 0 +cPredefinedModuleIndex :== 1 + +checkModule :: !ScannedModule !Int ![FunDef] !ScannedModule !ScannedModule ![ScannedModule] !*PredefinedSymbols !*SymbolTable !*File + -> (!Bool, !*IclModule, *{# DclModule}, *{! Group}, !(Optional {# Index}), !*Heaps, !*PredefinedSymbols, !*SymbolTable, *File) + +retrieveGlobalDefinition :: !SymbolTableEntry !STE_Kind !Index -> (!Index, !Index) + +newFreeVariable :: !FreeVar ![FreeVar] ->(!Bool, ![FreeVar]) + +convertIndex :: !Index !Index !(Optional ConversionTable) -> !Index + +determineTypeOfMemberInstance :: !SymbolType ![TypeVar] !InstanceType !Specials !*TypeHeaps -> (!SymbolType, !Specials, !*TypeHeaps) + + |