aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--frontend/checksupport.dcl3
-rw-r--r--frontend/checksupport.icl3
2 files changed, 4 insertions, 2 deletions
diff --git a/frontend/checksupport.dcl b/frontend/checksupport.dcl
index ff4d68f..f694ae1 100644
--- a/frontend/checksupport.dcl
+++ b/frontend/checksupport.dcl
@@ -8,6 +8,7 @@ NotFound :== -1
cModuleScope :== 0
cGlobalScope :== 1
+cRankTwoScope :== 2
cIsNotADclModule :== False
cIsADclModule :== True
@@ -29,7 +30,7 @@ cNeedStdGeneric :== 8 // AA
:: CheckState = { cs_symbol_table :: !.SymbolTable, cs_predef_symbols :: !.PredefinedSymbols, cs_error :: !.ErrorAdmin,cs_x :: !CheckStateX }
-:: CheckStateX = {x_needed_modules :: !BITVECT,x_main_dcl_module_n :: !Int /* TD */, x_is_dcl_module :: !Bool, x_type_var_position :: !Int }
+:: CheckStateX = {x_needed_modules :: !BITVECT,x_main_dcl_module_n :: !Int }
// SymbolTable :== {# SymbolTableEntry}
diff --git a/frontend/checksupport.icl b/frontend/checksupport.icl
index bdb6c16..56025e0 100644
--- a/frontend/checksupport.icl
+++ b/frontend/checksupport.icl
@@ -15,6 +15,7 @@ NotFound :== -1
cModuleScope :== 0
cGlobalScope :== 1
+cRankTwoScope :== 2
cIsNotADclModule :== False
cIsADclModule :== True
@@ -34,7 +35,7 @@ cNeedStdGeneric :== 8 // AA
:: CheckState = { cs_symbol_table :: !.SymbolTable, cs_predef_symbols :: !.PredefinedSymbols, cs_error :: !.ErrorAdmin, cs_x :: !CheckStateX }
-:: CheckStateX = {x_needed_modules :: !BITVECT,x_main_dcl_module_n :: !Int /* TD */, x_is_dcl_module :: !Bool, x_type_var_position :: !Int }
+:: CheckStateX = {x_needed_modules :: !BITVECT,x_main_dcl_module_n :: !Int}
:: ConversionTable :== {# .{# Int }}