| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||||
| 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 | ||||||||||
| 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. | ||||||||||||
| Attached Files |
| ||||||||||||
 Relationships |
|
 Relationships |
| Notes |
|
| There are no notes attached to this issue. |
| Notes |
| 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 | |
| Issue History |