diff options
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/predef.icl | 5 | ||||
| -rw-r--r-- | frontend/typereify.icl | 2 |
2 files changed, 3 insertions, 4 deletions
diff --git a/frontend/predef.icl b/frontend/predef.icl index 73ec622..b7d51b6 100644 --- a/frontend/predef.icl +++ b/frontend/predef.icl @@ -191,7 +191,7 @@ predefined_idents [PD_GenericConsInfo] = i "GenericConsInfo", [PD_GenericFieldInfo] = i "GenericFieldInfo", [PD_GenericTypeInfo] = i "GenericTypeDefInfo", - [PD_TGenericConsDescriptor] = i "GenericConsDescriptor", +// [PD_TGenericConsDescriptor] = i "GenericConsDescriptor", [PD_CGenericConsDescriptor] = i "_GenericConsDescriptor", [PD_TGenericFieldDescriptor] = i "GenericFieldDescriptor", [PD_CGenericFieldDescriptor] = i "_GenericFieldDescriptor", @@ -209,8 +209,7 @@ predefined_idents [PD_CGenTypeVar] = i "GenTypeVar", [PD_CGenTypeArrow] = i "GenTypeArrow", [PD_CGenTypeApp] = i "GenTypeApp", - - + [PD_GenericBimap] = i "bimap", [PD_bimapId] = i "bimapId", diff --git a/frontend/typereify.icl b/frontend/typereify.icl index 3c34ed1..3f3491a 100644 --- a/frontend/typereify.icl +++ b/frontend/typereify.icl @@ -223,7 +223,7 @@ addTypeFunctionsA mod first_td_fun_index ct_type_def type_defs var_heap symbol_t } # (fun_ident, symbol_table) = newPtr entry symbol_table - # type_fun_ident = {id_name="TD;"+++td_ident, id_info=fun_ident} + # type_fun_ident = {id_name="TD;"+++td_ident.id_name, id_info=fun_ident} # result_type = TA ct_type_def [{at_attribute = TA_None, at_type = TB BT_Bool}] |