0000251: eqvclass.ensure_equivalence(X, X) causes exception

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000251

mercury

Bug

public

2012-01-19 02:51

2012-01-30 18:31

Reporter

colanderman

Assigned To

Priority

normal

Severity

trivial

Reproducibility

always

Status

resolved

Resolution

fixed

Product Version

Target Version

Fixed in Version

Summary

0000251: eqvclass.ensure_equivalence(X, X) causes exception

Description

Calling 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 Information

Obviously the simple fix is for eqvclass.ensure_equivalence to check equality before doing anything else.

Tags

No tags attached.

Attached Files

eqvclass_bug.m (223 bytes) 2012-01-19 02:51

Relationships

Relationships

Notes

~0000448

zs (developer)

2012-01-30 18:31

Fix committed Jan 30.

Notes

Date Modified	Username	Field	Change
Issue History
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