Hello Simon,
On Tue, Jan 10, 2012 at 12:17 AM, Simon Peyton-Jones
wrote:
> If you think there's a bug here, could you open a ticket a repro case, please?
Sure, I just did not think it was sensible to file a bug on something
that had been apparently fixed in the most recent stable version of
GHC.
Hello Christian,
On Mon, Jan 9, 2012 at 11:31 PM, Christian Maeder
wrote:
> We have also such (cruel) code using these extension.
I understand that this code is not very good; I am just learning
Haskell, and it is an experiment to see what its type system can
handle.
>> I cannot answer this, bu
Hello,
Consider the following code:
{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, OverlappingInstances,
UndecidableInstances, FunctionalDependencies #-}
class Container a b | a -> b where
make :: b -> a
data Cont a = Cont a deriving (Show, Eq)
instance Container (Cont a
