diff options
Diffstat (limited to 'frontend/check.icl')
| -rw-r--r-- | frontend/check.icl | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/frontend/check.icl b/frontend/check.icl index ce4aa8b..975ebec 100644 --- a/frontend/check.icl +++ b/frontend/check.icl @@ -16,7 +16,7 @@ convertIndex index table_index (Yes tables) = tables.[table_index].[index] convertIndex index table_index No = index - + getPredefinedGlobalSymbol :: !Index !Index !STE_Kind !Int !*CheckState -> (!Global DefinedSymbol, !*CheckState) getPredefinedGlobalSymbol symb_index module_index req_ste_kind arity cs=:{cs_predef_symbols,cs_symbol_table} # (pre_def_mod, cs_predef_symbols) = cs_predef_symbols![module_index] @@ -3335,3 +3335,6 @@ where | level == entry.ste_def_level = remove_defs_from_symbol_table level (inc from_index) to_index defs (symbol_table <:= (id_info, entry.ste_previous)) = remove_defs_from_symbol_table level (inc from_index) to_index defs symbol_table + + + |