diff options
Diffstat (limited to 'frontend/checksupport.icl')
| -rw-r--r-- | frontend/checksupport.icl | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/frontend/checksupport.icl b/frontend/checksupport.icl index 3824d6f..e1a22c9 100644 --- a/frontend/checksupport.icl +++ b/frontend/checksupport.icl @@ -222,20 +222,12 @@ where , ef_is_macro_fun :: !Bool } -checkLocalFunctions :: !Index !Level !LocalDefs !*{#FunDef} !*ExpressionInfo !*Heaps !*CheckState - -> (!.{#FunDef},!.ExpressionInfo,!.Heaps,!.CheckState); -checkLocalFunctions mod_index level (CollectedLocalDefs {loc_functions={ir_from,ir_to}}) fun_defs e_info heaps cs - = checkFunctions mod_index level ir_from ir_to fun_defs e_info heaps cs - - convertIndex :: !Index !Index !(Optional ConversionTable) -> !Index convertIndex index table_index (Yes tables) = tables.[table_index].[index] convertIndex index table_index No = index - - retrieveGlobalDefinition :: !SymbolTableEntry !STE_Kind !Index -> (!Index, !Index) retrieveGlobalDefinition {ste_kind = STE_Imported kind decl_index, ste_def_level, ste_index} requ_kind mod_index | kind == requ_kind |