aboutsummaryrefslogtreecommitdiff
path: root/frontend/checksupport.dcl
diff options
context:
space:
mode:
authormartijnv2001-03-08 13:36:13 +0000
committermartijnv2001-03-08 13:36:13 +0000
commitc89165af82198aa11387922a2cdecfd41f784402 (patch)
tree1cf6981c0081b0acbb19fd32684e05a6fd1ecb36 /frontend/checksupport.dcl
parentbugfix; selecting a value from a DynamicTemp still used the tuple (diff)
Normalizing
- type variables - passing a list of directly imported dcl modules by an icl modules git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@321 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checksupport.dcl')
-rw-r--r--frontend/checksupport.dcl2
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}