2024-03-29 16:55 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000251mercuryBugpublic2012-01-30 18:31
Reportercolanderman 
Assigned Tozs 
PrioritynormalSeveritytrivialReproducibilityalways
StatusresolvedResolutionfixed 
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

-Relationships
+Relationships

-Notes

~0000448

zs (developer)

Fix committed Jan 30.
+Notes

-Issue History
Date Modified Username Field Change
2012-01-19 02:51 colanderman New Issue
2012-01-19 02:51 colanderman File Added: eqvclass_bug.m
2012-01-30 17:43 zs Status new => assigned
2012-01-30 17:43 zs Assigned To => zs
2012-01-30 18:31 zs Note Added: 0000448
2012-01-30 18:31 zs Status assigned => resolved
2012-01-30 18:31 zs Resolution open => fixed
+Issue History