Bugs item #755726, was opened at 2003-06-16 23:24 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=108032&aid=755726&group_id=8032
Category: Compiler (Type checker) Group: 6.0 Status: Open Resolution: None Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: mutiparameter classes problem Initial Comment: hello, i have run into something that looks like a bug in ghc 6.0. here is an example: > module A where > class C a b where f :: a -> b > g x = fst (f x) for this program hugs reports that "g" has an ambiguous type: C a (b,c) => a -> b which seems reasonable. however ghc does not report an error, and infers the following type: C a (b, ()) => a -> b (i have changed the formatting for easier comparing). it seems that somehow the second component of the tuple became (), but i don't see why. bye iavor ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=108032&aid=755726&group_id=8032 _______________________________________________ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
