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.
| To: Christian Maeder
| Cc: glasgow-haskell-users@haskell.org
| Subject: Re: GHC 7.0.4 recursion while trying to derive type
|
| 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
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
Am 09.01.2012 13:16, schrieb Christian Maeder:
I cannot answer this, but our code also compiles with ghc-7.2.2 using a
lower context-stack (of 26).
Apologies, I've just re-checked and noticed that our code changed and
needs consistently -fcontext-stack=26 for ghc-7.2.2 and ghc-7.0.4 (and
ghc-
Am 08.01.2012 04:39, schrieb Bogdan Opanchuk:
Hello,
Consider the following code:
{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, OverlappingInstances,
UndecidableInstances, FunctionalDependencies #-}
We have also such (cruel) code using these extension.
t4.hs:17:31:
Co
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