Mercury Bugs - mercury
View Issue Details
0000134mercuryBugpublic2010-03-03 15:452010-03-04 12:48
Assigned Tozs 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000134: abort in MLDS backend with --no-static-ground-terms
DescriptionThe attached program causes an abort while converting the HLDS -> MLDS.
See the comments at the head of the test case for details of how to reproduce.
This is occurring with Mercury rotd-2010-03-01.
Additional InformationThe problem in the test case is masked by dead procedure elimination.
TagsNo tags attached.
Attached Files? bug134.m (3,073) 2010-03-03 15:45

2010-03-04 12:48   
fix committed mar 4.

Issue History
2010-03-03 15:45juliensfNew Issue
2010-03-03 15:45juliensfFile Added: bug134.m
2010-03-03 18:02zsStatusnew => assigned
2010-03-03 18:02zsAssigned To => zs
2010-03-04 12:48zsNote Added: 0000254
2010-03-04 12:48zsStatusassigned => resolved
2010-03-04 12:48zsResolutionopen => fixed