2024-06-24 06:29 AEST

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


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


There are no notes attached to this issue.

-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