Mercury Bugs - mercury
View Issue Details
0000286mercuryFeature Requestpublic2013-05-26 15:132013-06-06 15:57
Reporterpbone 
Assigned Topbone 
PrioritynormalSeveritymajorReproducibilityhave not tried
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000286: Define equality for version_hash_table.
Descriptionversion_hash_table contains a reference to a higher order value which may be unified if one attempts to unify two hash tables. We should define quality for hash tables to avoid the potential exception when higher order values are compared.

Discussion is welcome, especially WRT how to keep the common short-circut equality test of pointer equality when enabling user-defined equality.
TagsNo tags attached.
Attached Files

Notes
(0000536)
pbone   
2013-06-06 15:57   
Fix committed. The fix will be available in 13.05.1

Issue History
2013-05-26 15:13pboneNew Issue
2013-05-26 15:13pboneStatusnew => assigned
2013-05-26 15:13pboneAssigned To => pbone
2013-06-06 15:57pboneNote Added: 0000536
2013-06-06 15:57pboneStatusassigned => closed
2013-06-06 15:57pboneResolutionopen => fixed