2024-05-28 02:03 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000134mercuryBugpublic2010-03-04 12:48
Assigned Tozs 
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
  • ? file icon bug134.m (3,073 bytes) 2010-03-03 15:45




zs (developer)

fix committed mar 4.

-Issue History
Date Modified Username Field Change
2010-03-03 15:45 juliensf New Issue
2010-03-03 15:45 juliensf File Added: bug134.m
2010-03-03 18:02 zs Status new => assigned
2010-03-03 18:02 zs Assigned To => zs
2010-03-04 12:48 zs Note Added: 0000254
2010-03-04 12:48 zs Status assigned => resolved
2010-03-04 12:48 zs Resolution open => fixed
+Issue History