[only replying to haskell-cafe]
On 10/20/07, Rodrigo Geraldo [EMAIL PROTECTED] wrote:
Hi!
Suppose that the GHC's flag -fallow-incoherent-instances is enabled. In this
situation, when a instance will be rejected?
And if the flag -fallow-overlapping-instances is enabled. When a instance
will
Am Mittwoch, 24. Oktober 2007 10:35 schrieb Bas van Dijk:
Suppose you have:
{-# OPTIONS_GHC -fglasgow-exts -fallow-overlapping-instances #-}
classC a b where foo :: a - b - (a, b)
instance C Int a where foo n x = (n+1, x) -- (A)
instance C a Bool where foo x
On 10/24/07, Daniel Fischer [EMAIL PROTECTED] wrote:
This seems to be a typo.
g = f ([1,2,3] :: [Int]) is accepted.
Oops, a typo it is!
Bas.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe