equal
deleted
inserted
replaced
109 * symbol_c *ext_type = fpi.param_type(); |
109 * symbol_c *ext_type = fpi.param_type(); |
110 */ |
110 */ |
111 /* For the moment, we will just use search_base_type_c instead... */ |
111 /* For the moment, we will just use search_base_type_c instead... */ |
112 symbol_c *glo_type = search_base_type.get_basetype_decl(glo_decl); |
112 symbol_c *glo_type = search_base_type.get_basetype_decl(glo_decl); |
113 symbol_c *ext_type = search_base_type.get_basetype_decl(ext_decl); |
113 symbol_c *ext_type = search_base_type.get_basetype_decl(ext_decl); |
114 if (! is_type_equal(glo_type, ext_type)) |
114 if (! get_datatype_info_c::is_type_equal(glo_type, ext_type)) |
115 STAGE3_ERROR(0, ext_decl, ext_decl, "Declaration error an external redefinition data type."); |
115 STAGE3_ERROR(0, ext_decl, ext_decl, "Declaration error an external redefinition data type."); |
116 } |
116 } |
117 } |
117 } |
118 |
118 |
119 } |
119 } |