Mercury Bugs - mercury
View Issue Details
0000123mercuryBugpublic2009-12-18 20:252010-01-12 14:12
Assigned Towangp 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000123: typeclass instance clause type mix.
DescriptionIn a typeclass instance, when the clause of a predicate is defined
directly in the instance, qualifying certain types result in the compiler mixing up types.

See the attached example, where simply adding :_ to a type makes the compiler
complain about wrong typing;
while doing the same but with the predicate defined outside the instance (via pred(...) is) works perfectly fine.
TagsNo tags attached.
Attached Files? test1.m (640) 2009-12-18 20:25

2010-01-12 14:12   
fix committed 2010-01-12

Issue History
2009-12-18 20:25mvaNew Issue
2009-12-18 20:25mvaFile Added: test1.m
2010-01-12 14:12wangpNote Added: 0000242
2010-01-12 14:12wangpStatusnew => resolved
2010-01-12 14:12wangpResolutionopen => fixed
2010-01-12 14:12wangpAssigned To => wangp