context-stack GHC 7.0.1 Release Candidate 1
Christian.Maeder at dfki.de
Tue Oct 12 07:46:38 EDT 2010
Am 08.10.2010 18:52, schrieb Simon Peyton-Jones:
> We've committed a wave of patches that should substantially improve the typechecker. Could you try with the current HEAD?
I've tried with
and it became worse. With -fcontext-stack=200
[368 of 519] Compiling Logic.Comorphism ( Logic/Comorphism.hs,
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.
> (Or you can wait for the next release candidate, end next week; but sooner is better.)
> | -----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
More information about the Glasgow-haskell-users