diff options
Diffstat (limited to 'frontend/checksupport.dcl')
| -rw-r--r-- | frontend/checksupport.dcl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/checksupport.dcl b/frontend/checksupport.dcl index 695bd4a..0e7c42a 100644 --- a/frontend/checksupport.dcl +++ b/frontend/checksupport.dcl @@ -28,7 +28,7 @@ cNeedStdDynamics:== 4 :: 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 } +:: CheckStateX = {x_needed_modules :: !BITVECT,x_main_dcl_module_n :: !Int /* TD */, x_is_dcl_module :: !Bool, x_type_var_position :: !Int, directly_imported_dcl_modules :: [String] } // SymbolTable :== {# SymbolTableEntry} |