Mercury Bugs - mercury
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000134mercuryBugpublic2010-03-03 15:452010-03-04 12:48
Reporterjuliensf 
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
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.
Relationships
Attached Files? bug134.m (3,073) 2010-03-03 15:45
https://bugs.mercurylang.org/file_download.php?file_id=96&type=bug

Notes
(0000254)
zs   
2010-03-04 12:48   
fix committed mar 4.

Issue History
Date ModifiedUsernameFieldChange
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