Mercury Bugs - mercury
View Issue Details
0000251mercuryBugpublic2012-01-19 02:512012-01-30 18:31
Assigned Tozs 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000251: eqvclass.ensure_equivalence(X, X) causes exception
DescriptionCalling eqvclass.ensure_equivalence(X, X) (where X is ground) causes an exception of the following form:

Uncaught Mercury exception:
Software Error: map.det_insert: key already present
    Key Type: int
    Key Value: 0
    Value Type: int

See attached test case.
Additional InformationObviously the simple fix is for eqvclass.ensure_equivalence to check equality before doing anything else.
TagsNo tags attached.
Attached Files? eqvclass_bug.m (223) 2012-01-19 02:51

2012-01-30 18:31   
Fix committed Jan 30.

Issue History
2012-01-19 02:51colandermanNew Issue
2012-01-19 02:51colandermanFile Added: eqvclass_bug.m
2012-01-30 17:43zsStatusnew => assigned
2012-01-30 17:43zsAssigned To => zs
2012-01-30 18:31zsNote Added: 0000448
2012-01-30 18:31zsStatusassigned => resolved
2012-01-30 18:31zsResolutionopen => fixed