2019-11-21 13:52 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000188mercuryBugpublic2011-05-03 14:37
Reporterwangp 
Assigned Towangp 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
Product Version 
Target VersionFixed in Version 
Summary0000188: structure-reuse and intermod-opt breaks type_list_subsumes
DescriptionFrom Michael Day:

Hi,

The attached module compiles fine with --structure-reuse, but
compilation fails when --intermod-opt is also specified:

$ mmc --make reuse --intermod-opt --structure-reuse
...
Software Error: prog_type.m: Unexpected: type_list_subsumes_det:
type_list_subsumes failed
Additional InformationSomething changed after mercury-compiler-rotd-2010-10-17. I haven't tried to isolate it further.
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes
There are no notes attached to this issue.
+Notes

-Issue History
Date Modified Username Field Change
2011-03-11 12:28 wangp New Issue
2011-03-11 12:28 wangp File Added: reuse1.m
2011-05-03 14:37 wangp Status new => resolved
2011-05-03 14:37 wangp Resolution open => fixed
2011-05-03 14:37 wangp Assigned To => wangp
+Issue History