context-stack GHC 7.0.1 Release Candidate 1

[Simon Peyton-Jones]

Christian

We've committed a wave of patches that should substantially improve the typechecker.  Could you try with the current HEAD?

(Or you can wait for the next release candidate, end next week; but sooner is better.)

Simon

| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org [mailto:glasgow-haskell-
| users-bounces at haskell.org] On Behalf Of Christian Maeder
| Sent: 27 September 2010 15:32
| Cc: glasgow-haskell-users at haskell.org
| Subject: Re: context-stack GHC 7.0.1 Release Candidate 1
| 
| Am 27.09.2010 15:12, schrieb Christian Maeder:
| > I wasn't able to compile yet. After 4 minutes it failed with:
| >
| >   Context reduction stack overflow; size = 46
| >
| > and I'm increasing the context-stack further.
| 
| It goes through with -fcontext-stack=100, but the compilation time is
| unacceptable. 55 minutes for the following two files on x86_64:
| 
| [381 of 536] Compiling Logic.Comorphism ( Logic/Comorphism.hs,
| Logic/Comorphism.o )
| [382 of 536] Compiling Logic.Modification ( Logic/Modification.hs,
| Logic/Modification.o )
| 
| And the second one isn't finished yet.
| 
| C.
| >
| > Maybe this is related to:
| > http://hackage.haskell.org/trac/ghc/ticket/816
| >
| > (ghc-6.10.x or ghc-6.12.x have no such problems.)
| >
| > Cheers Christian
| _______________________________________________
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users