diff options
| author | martijnv | 2003-02-10 08:57:24 +0000 |
|---|---|---|
| committer | martijnv | 2003-02-10 08:57:24 +0000 |
| commit | a5e659fe49b9ce7a164155bc01e084f74009ce3d (patch) | |
| tree | d365821f9f8a5eaae6ce63387a3d5fe56c8b6f41 /frontend/checksupport.dcl | |
| parent | expand synonym types in dynamics when it's an inferred type (diff) | |
- bug fix: error for abstract datatypes in dynamic types.
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1317 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
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 cefb3ee..e473b13 100644 --- a/frontend/checksupport.dcl +++ b/frontend/checksupport.dcl @@ -29,7 +29,7 @@ cNeedStdStrictLists :== 16 :: 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, x_check_dynamic_types :: !Bool } // SymbolTable :== {# SymbolTableEntry} |