context-stack GHC 7.0.1 Release Candidate 1

[Christian Maeder]

Am 08.10.2010 18:52, schrieb Simon Peyton-Jones:
> Christian
> 
> We've committed a wave of patches that should substantially improve the typechecker.  Could you try with the current HEAD?

I've tried with
http://www.haskell.org/ghc/dist/current/dist/ghc-7.1.20101010-x86_64-unknown-linux.tar.bz2

and it became worse. With -fcontext-stack=200

[368 of 519] Compiling Logic.Comorphism ( Logic/Comorphism.hs,
Logic/Comorphism.o )

did not go through within 109 minutes:

  PID USER      PR  NI  VIRT  RES  SHR S %CPU %MEM    TIME+  COMMAND

27743 maeder    20   0  316m 280m  17m R  100  1.7 109:27.22 ghc


Does this version contain the patches?

(I'm currently compiling the HEAD, unless you tell me, that it won't help)

Please don't release a compiler that can no longer compile our sources.

Cheers Christian

> (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
> 
>