Re: GHC 7.0.4 recursion while trying to derive type

2012-01-09 Thread Christian Maeder
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:

Re: GHC 7.0.4 recursion while trying to derive type

2012-01-09 Thread Christian Maeder
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

Re: GHC 7.0.4 recursion while trying to derive type

2012-01-09 Thread Bogdan Opanchuk
Hello Christian, On Mon, Jan 9, 2012 at 11:31 PM, Christian Maeder christian.mae...@dfki.de 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

RE: GHC 7.0.4 recursion while trying to derive type

2012-01-09 Thread Simon Peyton-Jones
| 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 | christian.mae...@dfki.de wrote: | We have also such (cruel) code using these extension. | | I

Re: GHC 7.0.4 recursion while trying to derive type

2012-01-09 Thread Bogdan Opanchuk
Hello Simon, On Tue, Jan 10, 2012 at 12:17 AM, Simon Peyton-Jones simo...@microsoft.com 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