Mercury Bugs - mercury | |||||
View Issue Details | |||||
ID | Project | Category | View Status | Date Submitted | Last Update |
0000060 | mercury | Bug | public | 2008-04-29 13:51 | 2008-04-29 13:51 |
Reporter | wangp | ||||
---|---|---|---|---|---|
Assigned To | |||||
Priority | normal | Severity | minor | Reproducibility | always |
Status | new | Resolution | open | ||
Platform | OS | OS Version | |||
Product Version | |||||
Target Version | Fixed in Version | ||||
Summary | 0000060: inconsistent type_infos after type specialisation? | ||||
Description | The following test case the compiler aborts with the message: % mmc my Uncaught Mercury exception: Software Error: hlds_rtti.m: Unexpected: inconsistent type_infos Stack dump follows: 0 pred exception.throw_impl/1-0 (erroneous) (exception.m:817) 1 pred exception.throw/1-0 (erroneous) (exception.m:388) 2 pred require.error/1-0 (erroneous) (require.m:122) 3 pred libs.compiler_util.unexpected/2-0 (erroneous) (compiler_util.m:87) 4 pred hlds.hlds_rtti.apply_substs_to_type_map/7-0 (det) (hlds_rtti.m:642) 5 2* pred tree234.foldl/4-0 (det) (tree234.m:2492 and others) 7 pred map.foldl/4-0 (det) (map.m:871) 8 pred hlds.hlds_rtti.apply_substitutions_to_rtti_varmaps/5-0 (det) (hlds_rtti.m:565) 9 pred check_hlds.simplify.excess_assigns_in_conj/5-0 (det) (simplify.m:2919) 10 pred check_hlds.simplify.simplify_goal_2_plain_conj/6-0 (det) (simplify.m:889) 11 pred check_hlds.simplify.simplify_goal_2/6-0 (det) (simplify.m:836) 12 pred check_hlds.simplify.simplify_goal/4-0 (det) (simplify.m:766) 13 pred check_hlds.simplify.do_process_clause_body_goal/4-0 (det) (simplify.m:541) 14 pred check_hlds.simplify.simplify_process_clause_body_goal/4-0 (det) (simplify.m:526) 15 pred transform_hlds.pd_util.pd_simplify_goal/5-0 (det) (pd_util.m:254) 16 pred transform_hlds.deforest.deforest_proc_2/7-0 (det) (deforest.m:212) 17 pred transform_hlds.deforest.deforest_proc/5-0 (det) (deforest.m:193) 18 17* pred list.foldl2/6-5 (det) (list.m:2056 and others) 35 pred transform_hlds.deforest.deforestation/4-0 (det) (deforest.m:121) 36 pred top_level.mercury_compile.maybe_deforestation/6-0 (det) (mercury_compile.m:3942) 37 pred top_level.mercury_compile.middle_pass/7-0 (det) (mercury_compile.m:2668) 38 pred top_level.mercury_compile.mercury_compile_after_front_end/10-0 (det) (mercury_compile.m:1588) 39 pred top_level.mercury_compile.mercury_compile/8-0 (det) (mercury_compile.m:1531) 40 pred top_level.mercury_compile.compile/10-0 (det) (mercury_compile.m:1464) ... | ||||
Tags | No tags attached. | ||||
Relationships | |||||
Attached Files | bug.tar.gz (724) 2008-04-29 13:51 https://bugs.mercurylang.org/file_download.php?file_id=48&type=bug |
There are no notes attached to this issue. |
Issue History | |||||
Date Modified | Username | Field | Change | ||
---|---|---|---|---|---|
2008-04-29 13:51 | wangp | New Issue | |||
2008-04-29 13:51 | wangp | File Added: bug.tar.gz |