diff options
Diffstat (limited to 'frontend/check.icl')
| -rw-r--r-- | frontend/check.icl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/frontend/check.icl b/frontend/check.icl index 95f3e39..4a035e2 100644 --- a/frontend/check.icl +++ b/frontend/check.icl @@ -34,6 +34,7 @@ checkGenerics , KindArrow [KindConst, KindConst] ] # (kinds_ptr, th_vars) = newPtr (TVI_Kinds kinds) th_vars + # (cons_ptr, th_vars) = newPtr (TVI_Empty) th_vars # cs = {cs & cs_error = cs_error, cs_symbol_table = cs_symbol_table } # type_heaps = {type_heaps & th_vars = th_vars} @@ -50,6 +51,7 @@ checkGenerics { generic_def & gen_type = { gen_type & gt_vars = gt_vars, gt_type = gt_type } , gen_kinds_ptr = kinds_ptr + , gen_cons_ptr = cons_ptr } # generic_defs = {generic_defs & [gen_index] = generic_def} |