diff options
| author | sjakie | 2001-08-27 15:30:16 +0000 |
|---|---|---|
| committer | sjakie | 2001-08-27 15:30:16 +0000 |
| commit | fbf54d4b940c3808c75e0fe5dd85d2783d3673f1 (patch) | |
| tree | b0f2f21776a40644441f8ed8e581e2cfd885286a | |
| parent | Universally quantified types added (diff) | |
Universally quantified types added
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@676 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | frontend/checksupport.dcl | 3 | ||||
| -rw-r--r-- | frontend/checksupport.icl | 3 |
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 }} |