context-stack GHC 7.0.1 Release Candidate 1

[Corey O'Connor]

I was running into a similar issue and haven't noticed a dramatic
improvement with the latest changes. The number of ticks taken to compile
are approximately the same before and after the latest patch. However the
system still compiles just fine with a context stack of 200. Which is OK by
me.

The system I'm working with uses functional dependencies and type families
w/ type equalities. Could I improve the performance of my system by
replacing the functional dependencies with type families & type equalities?

The part of the system that uses functional dependencies is monad-param:
 http://hackage.haskell.org/package/monad-param

<http://hackage.haskell.org/package/monad-param>The other part of the system
I can't release the source to yet. :-\ I know, not very useful.

-Corey O'Connor
coreyoconnor at gmail.com
http://www.coreyoconnor.com



On Tue, Oct 19, 2010 at 8:57 AM, Simon Peyton-Jones
<simonpj at microsoft.com>wrote:

> 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 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
>
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20101022/bc39103c/attachment.html