Mercury Bugs - mercury
View Issue Details
0000188mercuryBugpublic2011-03-11 12:282011-05-03 14:37
Assigned Towangp 
PlatformOSOS Version
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? reuse1.m (365) 2011-03-11 12:28

There are no notes attached to this issue.

Issue History
2011-03-11 12:28wangpNew Issue
2011-03-11 12:28wangpFile Added: reuse1.m
2011-05-03 14:37wangpStatusnew => resolved
2011-05-03 14:37wangpResolutionopen => fixed
2011-05-03 14:37wangpAssigned To => wangp