diff options
| -rw-r--r-- | frontend/checksupport.dcl | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/frontend/checksupport.dcl b/frontend/checksupport.dcl index 7de856d..520cc8b 100644 --- a/frontend/checksupport.dcl +++ b/frontend/checksupport.dcl @@ -29,12 +29,8 @@ cNeedStdStrictLists :== 16 :: CheckStateX = {x_needed_modules :: !BITVECT,x_main_dcl_module_n :: !Int, x_check_dynamic_types :: !Bool } -// SymbolTable :== {# SymbolTableEntry} - instance == STE_Kind -:: ConversionTable :== {# .{# Int }} - cTypeDefs :== 0 cConstructorDefs :== 1 cSelectorDefs :== 2 @@ -100,8 +96,6 @@ instance <<< IdentPos, ExplImpInfo, DeclarationInfo , ef_is_macro_fun :: !Bool } -//convertIndex :: !Index !Index !(Optional ConversionTable) -> !Index - retrieveGlobalDefinition :: !SymbolTableEntry !STE_Kind !Index -> (!Index, !Index) addLocalFunctionDefsToSymbolTable :: !Level !Index !Index !Bool !*{#FunDef} !*SymbolTable !*ErrorAdmin -> (!*{# FunDef}, !*SymbolTable, !*ErrorAdmin) |