RE: context-stack GHC 7.0.1 Release Candidate 1
Implementing fundeps in the new solver has proved more complicated than we thought at first. I’m not aware of any obvious “oh, this is going to perform really badly” parts. My gut feel is that the inference engine will work better using type functions, but I can’t put any real evidence behind that claim. If you have a low-cost way to experiment we’d love to hear what you find. But don’t burn a month converting in case it makes no difference! Simon From: glasgow-haskell-users-boun...@haskell.org [mailto:glasgow-haskell-users-boun...@haskell.org] On Behalf Of Corey O'Connor Sent: 22 October 2010 19:50 To: Simon Peyton-Jones Cc: glasgow-haskell-users@haskell.org Subject: Re: context-stack GHC 7.0.1 Release Candidate 1 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 The other part of the system I can't release the source to yet. :-\ I know, not very useful. -Corey O'Connor coreyocon...@gmail.commailto:coreyocon...@gmail.com http://www.coreyoconnor.com On Tue, Oct 19, 2010 at 8:57 AM, Simon Peyton-Jones simo...@microsoft.commailto:simo...@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 ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: context-stack GHC 7.0.1 Release Candidate 1
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-boun...@haskell.org [mailto:glasgow-haskell-users- | boun...@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 %MEMTIME+ COMMAND | | 27743 maeder20 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-boun...@haskell.org [mailto:glasgow-haskell- | | users-boun...@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 ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: context-stack GHC 7.0.1 Release Candidate 1
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-paramThe other part of the system I can't release the source to yet. :-\ I know, not very useful. -Corey O'Connor coreyocon...@gmail.com http://www.coreyoconnor.com On Tue, Oct 19, 2010 at 8:57 AM, Simon Peyton-Jones simo...@microsoft.comwrote: 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-boun...@haskell.org [mailto: glasgow-haskell-users- | boun...@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 %MEMTIME+ COMMAND | | 27743 maeder20 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-boun...@haskell.org [mailto: glasgow-haskell- | | users-boun...@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 ___ 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
RE: context-stack GHC 7.0.1 Release Candidate 1
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-boun...@haskell.org [mailto:glasgow-haskell-users- | boun...@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 %MEMTIME+ COMMAND | | 27743 maeder20 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-boun...@haskell.org [mailto:glasgow-haskell- | | users-boun...@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 ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
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 %MEMTIME+ COMMAND 27743 maeder20 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-boun...@haskell.org [mailto:glasgow-haskell- | users-boun...@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
RE: context-stack GHC 7.0.1 Release Candidate 1
Christian We've committed a wave of patches that should substantially improve the typechecker. Could you try with the current HEAD? (Or you can wait for the next release candidate, end next week; but sooner is better.) Simon | -Original Message- | From: glasgow-haskell-users-boun...@haskell.org [mailto:glasgow-haskell- | users-boun...@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
RE: context-stack GHC 7.0.1 Release Candidate 1
We found another occurrence of very poor performance in a smaller program. We have a nice fix; but won't be able to commit for a few days Let's hope it fixes your problem too! Simon | -Original Message- | From: glasgow-haskell-users-boun...@haskell.org [mailto:glasgow-haskell-users- | boun...@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
Re: context-stack GHC 7.0.1 Release Candidate 1
Am 27.09.2010 16:38, schrieb Simon Peyton-Jones: We found another occurrence of very poor performance in a smaller program. We have a nice fix; but won't be able to commit for a few days Let's hope it fixes your problem too! Ok, I'll hang on. Cheers Christian (Btw compiling module Logic.Modification failed after 2 hours with such a large error message, that I could not scroll back to the top.) Simon | -Original Message- | From: glasgow-haskell-users-boun...@haskell.org [mailto:glasgow-haskell-users- | boun...@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