2019-08-26 19:11 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000237mercuryBugpublic2011-11-28 16:56
Reportercolanderman 
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
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

-Relationships
+Relationships

-Notes

~0000415

zs (developer)

Fix committed nov 28.
+Notes

-Issue History
Date Modified Username Field Change
2011-11-28 12:30 colanderman New Issue
2011-11-28 12:30 colanderman File Added: unif_bug2.m
2011-11-28 13:55 zs Status new => assigned
2011-11-28 13:55 zs Assigned To => zs
2011-11-28 16:56 zs Note Added: 0000415
2011-11-28 16:56 zs Status assigned => resolved
2011-11-28 16:56 zs Resolution open => fixed
+Issue History