Re: [Haskell] Re: indirectly recursive dictionaries

2009-03-19 Thread Martin Sulzmann
On Wed, Mar 18, 2009 at 9:45 AM, Simon Peyton-Jones simo...@microsoft.comwrote: [Redirecting to GHC users.] | Tom Schrijvers wrote: | The cyclic dictionaries approach is a bit fragile. The problem appears to | be here that GHC alternates exhaustive phases of constraint reduction and |

RE: [Haskell] Re: indirectly recursive dictionaries

2009-03-18 Thread Simon Peyton-Jones
[Redirecting to GHC users.] | Tom Schrijvers wrote: | The cyclic dictionaries approach is a bit fragile. The problem appears to | be here that GHC alternates exhaustive phases of constraint reduction and | functional dependency improvement. The problem is that in your example you | need both