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: [email protected] [mailto:glasgow-haskell- > | [email protected]] On Behalf Of Christian Maeder > | Sent: 27 September 2010 15:32 > | Cc: [email protected] > | 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 > | [email protected] > | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users > > _______________________________________________ Glasgow-haskell-users mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
