Commit a7e903d8 authored by Sjaak Smetsers's avatar Sjaak Smetsers
Browse files

Universally quantified types added

parent 137d0d83
...@@ -8,6 +8,7 @@ NotFound :== -1 ...@@ -8,6 +8,7 @@ NotFound :== -1
cModuleScope :== 0 cModuleScope :== 0
cGlobalScope :== 1 cGlobalScope :== 1
cRankTwoScope :== 2
cIsNotADclModule :== False cIsNotADclModule :== False
cIsADclModule :== True cIsADclModule :== True
...@@ -29,7 +30,7 @@ cNeedStdGeneric :== 8 // AA ...@@ -29,7 +30,7 @@ cNeedStdGeneric :== 8 // AA
:: CheckState = { cs_symbol_table :: !.SymbolTable, cs_predef_symbols :: !.PredefinedSymbols, cs_error :: !.ErrorAdmin,cs_x :: !CheckStateX } :: 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} // SymbolTable :== {# SymbolTableEntry}
......
...@@ -15,6 +15,7 @@ NotFound :== -1 ...@@ -15,6 +15,7 @@ NotFound :== -1
cModuleScope :== 0 cModuleScope :== 0
cGlobalScope :== 1 cGlobalScope :== 1
cRankTwoScope :== 2
cIsNotADclModule :== False cIsNotADclModule :== False
cIsADclModule :== True cIsADclModule :== True
...@@ -34,7 +35,7 @@ cNeedStdGeneric :== 8 // AA ...@@ -34,7 +35,7 @@ cNeedStdGeneric :== 8 // AA
:: CheckState = { cs_symbol_table :: !.SymbolTable, cs_predef_symbols :: !.PredefinedSymbols, cs_error :: !.ErrorAdmin, cs_x :: !CheckStateX } :: 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 }} :: ConversionTable :== {# .{# Int }}
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment