Sjoerd Visscher wrote:
When I try this bit of code:> class C1 a where > type F a :: * > x :: F a > y :: F a > x = y I get this error: Couldn't match expected type `F a1' against inferred type `F a' In the expression: y In the definition of `x': x = y I can't figure out what is going on or how I should fix this.
The discussion [1] seems to be related. [1] http://hackage.haskell.org/trac/ghc-test/ticket/2855 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
