2018-12-13 13:22 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000060mercuryBugpublic2008-04-29 13:51
Reporterwangp 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusnewResolutionopen 
Product Version 
Target VersionFixed in Version 
Summary0000060: inconsistent type_infos after type specialisation?
DescriptionThe 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)
  ...
TagsNo 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