Christian Dimitrios and I (mainly D) have fixed this. Your system compiles nicely now. Can you try again with the HEAD? Simon | -----Original Message----- | From: glasgow-haskell-users-bounces@haskell.org [mailto:glasgow-haskell-users- | bounces@haskell.org] On Behalf Of Christian Maeder | Sent: 12 October 2010 12:47 | To: Simon Peyton-Jones | Cc: glasgow-haskell-users@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@haskell.org [mailto:glasgow-haskell- | > | users-bounces@haskell.org] On Behalf Of Christian Maeder | > | Sent: 27 September 2010 15:32 | > | Cc: glasgow-haskell-users@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@haskell.org | > | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users | > | > | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users