context-stack GHC 7.0.1 Release Candidate 1

[Christian Maeder]

Am 19.10.2010 17:57, schrieb Simon Peyton-Jones:
> Christian
> 
> Dimitrios and I (mainly D) have fixed this.  Your system compiles nicely now. Can you try again with the HEAD?

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

and hets compiles fine after setting -fcontext-stack=100. (I did not try
smaller values yet.)

Thanks a lot
Christian

> 
> 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: 12 October 2010 12:47
> | To: Simon Peyton-Jones
> | Cc: glasgow-haskell-users at haskell.org
> | Subject: Re: context-stack GHC 7.0.1 Release Candidate 1
> | 
> | 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
> | >
> | >
> | _______________________________________________
> | Glasgow-haskell-users mailing list
> | Glasgow-haskell-users at haskell.org
> | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
> 
>