Mercury Bugs - mercury
View Issue Details
0000237mercuryBugpublic2011-11-28 12:302011-11-28 16:56
Assigned Tozs 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000237: Strange interaction b/w typeclasses and promise_equivalent_solutions
Descriptionpromise_equivalent_solutions doesn't seem to play well with typeclasses. The attached example, when, compiled, complains that:

unif_bug2.m:016: Error: the `promise_equivalent_solutions' goal binds a
unif_bug2.m:016: variable that is not listed: PolyConst1.

This is not in a context where the typeclass implementations are not deducible at compile time (i.e. there are no existential types).
TagsNo tags attached.
Attached Files? unif_bug2.m (376) 2011-11-28 12:30

2011-11-28 16:56   
Fix committed nov 28.

Issue History
2011-11-28 12:30colandermanNew Issue
2011-11-28 12:30colandermanFile Added: unif_bug2.m
2011-11-28 13:55zsStatusnew => assigned
2011-11-28 13:55zsAssigned To => zs
2011-11-28 16:56zsNote Added: 0000415
2011-11-28 16:56zsStatusassigned => resolved
2011-11-28 16:56zsResolutionopen => fixed