RE: Building on Windows: the saga continues
Well that sounds like a good start, thanks. If anyone else can make progress it'd be great. Seg-faults not good! Simon | -Original Message- | From: cvs-ghc-boun...@haskell.org [mailto:cvs-ghc-boun...@haskell.org] | On Behalf Of Ian Lynagh | Sent: 18 December 2012 18:22 | To: cvs-ghc@haskell.org | Subject: Re: Building on Windows: the saga continues | | On Mon, Dec 17, 2012 at 02:01:28PM +, Simon Peyton-Jones wrote: | | On Mon, Dec 17, 2012 at 09:21:44AM +, Simon Peyton-Jones wrote: | | | | o There's a seg-fault | | | | I can reproduce this. I'll look into it. | | Great, thank you. | | It turns out that simply | | ghc-stage2 -debug | or | ghc-stage2 -prof | | is enough to trigger the seg-fault. Any way flag seems to do it. | | Unfortunately, I've run out of time to debug this for now. Here's what | I've got: | | It seems that the commits | | 0c4a9f38637dfc3bc8fd48e8ba6bf64da51b727b | ecd967612877e1965ddebefe9b83acd837bb413a | | introduced the problem, but I'm not sure whether they are the direct | cause or just happened to tickle a pre-existing bug. Attached is a self- | contained module that goes wrong: | | $ inplace/bin/ghc-stage1 -debug --make test -O -fforce-recomp $ ./test | +RTS -DS; echo $? | cap 0: initialised | A | Segmentation fault/access violation in generated code | 1 | | Works with 7.4.1: | $ ghc -debug --make test -O -fforce-recomp $ ./test; echo $? | A | [WayDyn] | B | 0 | | It's quite fragile, e.g. if I remove | ghcMode :: (), | from the DynFlags type then it succeeds. | | | Thanks | Ian ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
RE: Building on Windows: the saga continues
I've opened a ticket for this: http://hackage.haskell.org/trac/ghc/ticket/7510 Simon | -Original Message- | From: cvs-ghc-boun...@haskell.org [mailto:cvs-ghc-boun...@haskell.org] | On Behalf Of Ian Lynagh | Sent: 18 December 2012 18:22 | To: cvs-ghc@haskell.org | Subject: Re: Building on Windows: the saga continues | | On Mon, Dec 17, 2012 at 02:01:28PM +, Simon Peyton-Jones wrote: | | On Mon, Dec 17, 2012 at 09:21:44AM +, Simon Peyton-Jones wrote: | | | | o There's a seg-fault | | | | I can reproduce this. I'll look into it. | | Great, thank you. | | It turns out that simply | | ghc-stage2 -debug | or | ghc-stage2 -prof | | is enough to trigger the seg-fault. Any way flag seems to do it. | | Unfortunately, I've run out of time to debug this for now. Here's what | I've got: | | It seems that the commits | | 0c4a9f38637dfc3bc8fd48e8ba6bf64da51b727b | ecd967612877e1965ddebefe9b83acd837bb413a | | introduced the problem, but I'm not sure whether they are the direct | cause or just happened to tickle a pre-existing bug. Attached is a self- | contained module that goes wrong: | | $ inplace/bin/ghc-stage1 -debug --make test -O -fforce-recomp $ ./test | +RTS -DS; echo $? | cap 0: initialised | A | Segmentation fault/access violation in generated code | 1 | | Works with 7.4.1: | $ ghc -debug --make test -O -fforce-recomp $ ./test; echo $? | A | [WayDyn] | B | 0 | | It's quite fragile, e.g. if I remove | ghcMode :: (), | from the DynFlags type then it succeeds. | | | Thanks | Ian ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
pgj-freebsd-i386-stable (x86 FreeBSD STABLE), build 754, Success
pgj-freebsd-i386-stable (x86 FreeBSD STABLE), build 754 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj-freebsd-i386-stable/754.html git clone| Success create mk/build.mk | Success get subrepos | Success repo versions| Success touching clean-check files | Success setting version date | Success booting | Success configuring | Success creating check-remove-before | Success compiling| Success creating check-remove-after | Success compiling testremove | Success simulating clean | Success checking clean | Success making bindist | Success publishing bindist | Success testing bindist | Success testing | Success testsuite summary| Success Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj-freebsd-i386-stable/754.html File not deleted:compiler/ghc.cabal.old File not deleted:inplace File not deleted:libraries/base/include/EventConfig.h Deleted before file: libraries/time/include/HsTimeConfig.h File not deleted:mk/config.mk.old File not deleted:mk/project.mk.old File not deleted:rts/libs.depend File not deleted:rts/package.conf.inplace File not deleted:rts/package.conf.inplace.raw OVERALL SUMMARY for test run started at Wed Dec 19 09:02:55 UTC 2012 3402 total tests, which gave rise to 14436 test cases, of which 10 caused framework failures 11364 were skipped 2956 expected passes 48 had missing libraries 34 expected failures 5 unexpected passes 29 unexpected failures Unexpected passes: ../../libraries/unix/tests getEnvironment01 (normal) ../../libraries/unix/tests getEnvironment02 (normal) ../../libraries/unix/tests getGroupEntryForName (normal) ../../libraries/unix/tests getUserEntryForName (normal) ../../libraries/unix/tests queryfdoption01 (normal) Unexpected failures: ../../libraries/base/tests/IOopenFile008 [bad exit code] (normal) ../../libraries/directory/tests getPermissions001 [bad exit code] (normal) ../../libraries/process/testsprocess007 [bad stdout] (normal) ../../libraries/unix/tests/libposix posix005 [bad stdout] (normal) driver dynHelloWorld [bad exit code] (dyn) driver/recomp011 recomp011 [bad stdout] (normal) dynlibs T3807 [bad exit code] (normal) dynlibs T5373 [bad stdout] (normal) ghci/scripts T5979 [bad stderr] (ghci) perf/haddock haddock.Cabal [stat too good] (normal) perf/haddock haddock.base [stat too good] (normal) perf/haddock haddock.compiler [stat too good] (normal) plugins plugins01 [bad exit code] (normal) plugins plugins02 [stderr mismatch] (normal) plugins plugins03 [stderr mismatch] (normal) rts T2615 [bad stdout] (normal) safeHaskell/check/pkg01 ImpSafeOnly01 [exit code non-0] (normal) safeHaskell/check/pkg01 ImpSafeOnly02 [exit code non-0] (normal) safeHaskell/check/pkg01 ImpSafeOnly03 [stderr mismatch] (normal) safeHaskell/check/pkg01 ImpSafeOnly04 [exit code non-0] (normal) safeHaskell/check/pkg01 ImpSafeOnly05 [stderr mismatch] (normal) safeHaskell/check/pkg01 ImpSafeOnly06 [exit code non-0] (normal) safeHaskell/check/pkg01 ImpSafeOnly07 [stderr mismatch] (normal) safeHaskell/check/pkg01 ImpSafeOnly08 [stderr mismatch] (normal) safeHaskell/check/pkg01 ImpSafeOnly09 [stderr mismatch] (normal) safeHaskell/check/pkg01 ImpSafeOnly10 [exit code non-0] (normal) safeHaskell/check/pkg01 safePkg01 [bad exit code] (normal) typecheck/should_failT5300 [stderr mismatch] (normal) typecheck/should_failT5691 [stderr mismatch] (normal) ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
pgj-freebsd-amd64-stable (amd64 FreeBSD STABLE), build 766, Success
pgj-freebsd-amd64-stable (amd64 FreeBSD STABLE), build 766 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj-freebsd-amd64-stable/766.html git clone| Success create mk/build.mk | Success get subrepos | Success repo versions| Success touching clean-check files | Success setting version date | Success booting | Success configuring | Success creating check-remove-before | Success compiling| Success creating check-remove-after | Success compiling testremove | Success simulating clean | Success checking clean | Success making bindist | Success publishing bindist | Success testing bindist | Success testing | Success testsuite summary| Success Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj-freebsd-amd64-stable/766.html File not deleted:compiler/ghc.cabal.old File not deleted:inplace File not deleted:libraries/base/include/EventConfig.h Deleted before file: libraries/time/include/HsTimeConfig.h File not deleted:mk/config.mk.old File not deleted:mk/project.mk.old File not deleted:rts/libs.depend File not deleted:rts/package.conf.inplace File not deleted:rts/package.conf.inplace.raw OVERALL SUMMARY for test run started at Wed Dec 19 10:37:48 UTC 2012 3402 total tests, which gave rise to 14436 test cases, of which 10 caused framework failures 11363 were skipped 2960 expected passes 48 had missing libraries 35 expected failures 0 unexpected passes 30 unexpected failures Unexpected failures: ../../libraries/base/tests/IOopenFile008 [bad exit code] (normal) ../../libraries/directory/tests getPermissions001 [bad exit code] (normal) ../../libraries/process/testsprocess007 [bad stdout] (normal) ../../libraries/unix/tests/libposix posix005 [bad stdout] (normal) driver dynHelloWorld [bad exit code] (dyn) driver/recomp011 recomp011 [bad stdout] (normal) dynlibs T3807 [bad exit code] (normal) dynlibs T5373 [bad stdout] (normal) ghci/scripts T5979 [bad stderr] (ghci) perf/compilerT6048 [stat not good enough] (optasm) perf/haddock haddock.Cabal [stat not good enough] (normal) perf/haddock haddock.base [stat not good enough] (normal) perf/haddock haddock.compiler [stat not good enough] (normal) plugins plugins01 [bad exit code] (normal) plugins plugins02 [stderr mismatch] (normal) plugins plugins03 [stderr mismatch] (normal) rts T2615 [bad stdout] (normal) safeHaskell/check/pkg01 ImpSafeOnly01 [exit code non-0] (normal) safeHaskell/check/pkg01 ImpSafeOnly02 [exit code non-0] (normal) safeHaskell/check/pkg01 ImpSafeOnly03 [stderr mismatch] (normal) safeHaskell/check/pkg01 ImpSafeOnly04 [exit code non-0] (normal) safeHaskell/check/pkg01 ImpSafeOnly05 [stderr mismatch] (normal) safeHaskell/check/pkg01 ImpSafeOnly06 [exit code non-0] (normal) safeHaskell/check/pkg01 ImpSafeOnly07 [stderr mismatch] (normal) safeHaskell/check/pkg01 ImpSafeOnly08 [stderr mismatch] (normal) safeHaskell/check/pkg01 ImpSafeOnly09 [stderr mismatch] (normal) safeHaskell/check/pkg01 ImpSafeOnly10 [exit code non-0] (normal) safeHaskell/check/pkg01 safePkg01 [bad exit code] (normal) typecheck/should_failT5300 [stderr mismatch] (normal) typecheck/should_failT5691 [stderr mismatch] (normal) ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
pgj2 (amd64 FreeBSD HEAD), build 894, Success
pgj2 (amd64 FreeBSD HEAD), build 894 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj2/894.html git clone| Success create mk/build.mk | Success get subrepos | Success repo versions| Success touching clean-check files | Success setting version date | Success booting | Success configuring | Success creating check-remove-before | Success compiling| Success creating check-remove-after | Success compiling testremove | Success simulating clean | Success checking clean | Success making bindist | Success publishing bindist | Success testing bindist | Success testing | Success testsuite summary| Success Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj2/894.html File not deleted:compiler/ghc.cabal.old File not deleted:includes/dist-derivedconstants File not deleted:includes/dist-derivedconstants/header File not deleted:includes/dist-derivedconstants/header/DerivedConstants.h File not deleted: includes/dist-derivedconstants/header/GHCConstantsHaskellExports.hs File not deleted: includes/dist-derivedconstants/header/GHCConstantsHaskellType.hs File not deleted: includes/dist-derivedconstants/header/GHCConstantsHaskellWrappers.hs File not deleted:includes/dist-derivedconstants/header/platformConstants File not deleted:includes/dist-derivedconstants/header/tmp.c File not deleted:includes/dist-derivedconstants/header/tmp.o File not deleted:inplace File not deleted:libraries/base/include/EventConfig.h File not deleted:mk/config.mk.old File not deleted:mk/project.mk.old File not deleted:rts/libs.depend File not deleted:rts/package.conf.inplace File not deleted:rts/package.conf.inplace.raw OVERALL SUMMARY for test run started at Wed Dec 19 10:38:10 UTC 2012 3513 total tests, which gave rise to 11714 test cases, of which 0 caused framework failures 8540 were skipped 2868 expected passes 26 had missing libraries 36 expected failures 22 unexpected passes 222 unexpected failures Unexpected passes: codeGen/should_runT7319 (prof) profiling/should_compile 2410 (normal) profiling/should_compile prof001 (normal) profiling/should_compile prof002 (normal) profiling/should_run 5314 (prof) profiling/should_run T2552 (prof) profiling/should_run T3001 (prof_hb) profiling/should_run T3001-2 (prof_hb) profiling/should_run T5363 (prof) profiling/should_run T5559 (prof) profiling/should_run T680 (prof) profiling/should_run T949 (prof) profiling/should_run callstack001 (prof) profiling/should_run callstack002 (prof) profiling/should_run heapprof001 (prof) profiling/should_run prof-doc-fib (prof) profiling/should_run prof-doc-last (prof) profiling/should_run profinline001 (prof) profiling/should_run scc001 (prof) profiling/should_run scc002 (prof) profiling/should_run scc003 (prof) stranal/should_compilenewtype (optasm) Unexpected failures: ../../libraries/base/tests qsemn001 [exit code non-0] (normal) ../../libraries/base/tests/IO3307 [bad stderr] (normal) ../../libraries/base/tests/IOenvironment001 [bad stderr] (normal) ../../libraries/base/tests/IOopenFile008 [bad exit code] (normal) ../../libraries/directory/tests getPermissions001 [bad exit code] (normal) ../../libraries/hpc/tests/ghc_ghci hpc_ghc_ghci [bad stderr] (normal) ../../libraries/process/testsprocess007 [bad stdout] (normal) ../../libraries/process/testsprocess009 [bad stdout] (normal) ../../libraries/unix/tests/libposix posix005 [bad stdout] (normal) cabal1750 [bad stderr] (normal) cabalghcpkg01 [bad stderr] (normal) cabalghcpkg03 [bad stderr] (normal) cabalghcpkg05 [bad stderr] (normal) cabalghcpkg06 [bad stderr] (normal) cabalshadow [bad stderr] (normal) cabal/cabal01cabal01 [bad stderr] (normal) cabal/cabal04cabal04 [bad stderr] (normal) codeGen/should_compile 2578 [bad stderr] (normal) codeGen/should_run cgrun068 [exit code non-0] (normal) deSugar/should_compile T5252 [bad stderr] (normal) deSugar/should_compile T5252Take2 [bad stderr] (normal) deriving/should_fail drvfail016 [bad stderr] (normal) driver 2566 [bad stderr] (normal) driver
[commit: ghc] master: spelling in doc (a38b832)
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/a38b8327e969f8e0e6b07c36be5c47709871f158 --- commit a38b8327e969f8e0e6b07c36be5c47709871f158 Author: Gabor Greif ggr...@gmail.com Date: Wed Dec 19 13:37:08 2012 +0100 spelling in doc --- docs/users_guide/ghci.xml |4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml index 3b1f00e..f3e93a3 100644 --- a/docs/users_guide/ghci.xml +++ b/docs/users_guide/ghci.xml @@ -2410,8 +2410,8 @@ Prelude :. cmds.ghci and (b) all the other things mentioned in the instance are in scope (either qualified or otherwise) as a result of a literal:load/literal or literal:module/literal commands. /para - The command literal:info!/literal works in a similar fasion - but it removes restriction (b), showing all instancds that are in + The command literal:info!/literal works in a similar fashion + but it removes restriction (b), showing all instances that are in scope and mention replaceablename/replaceable in their head. /listitem /varlistentry ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
[commit: ghc] master: typo (e3aa165)
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/e3aa16595f6240bff60fdde6579c89e469f25b4f --- commit e3aa16595f6240bff60fdde6579c89e469f25b4f Author: Gabor Greif ggr...@gmail.com Date: Fri Dec 14 10:00:55 2012 +0100 typo --- includes/rts/storage/ClosureMacros.h |4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/includes/rts/storage/ClosureMacros.h b/includes/rts/storage/ClosureMacros.h index dd5f428..73725e1 100644 --- a/includes/rts/storage/ClosureMacros.h +++ b/includes/rts/storage/ClosureMacros.h @@ -1,6 +1,6 @@ /* * - * (c) The GHC Team, 1998-2004 + * (c) The GHC Team, 1998-2012 * * Macros for building and manipulating closures * @@ -26,7 +26,7 @@ info pointerThe first word of the closure. Might point to either the end or the beginning of the info table, depending on whether we're using -the mini interpretter or not. GET_INFO(c) +the mini interpreter or not. GET_INFO(c) retrieves the info pointer of a closure. info table The info table structure associated with a ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
RE: How to start with GHC development?
Simon, Ian OK, I have spent a much longer time than I intended editing our wiki pages. Can you look at http://hackage.haskell.org/trac/ghc/wiki/Repositories http://hackage.haskell.org/trac/ghc/wiki/Repositories/Upstream The former is supposed to be the summary; the latter focuses on upstream repos. They are supposed to subsume the current WorkingConventions/Repositories which I have not yet deleted. I'm not 100% sure of the yes/no in the columns. Thanks Simon | -Original Message- | From: Simon Marlow [mailto:marlo...@gmail.com] | Sent: 18 December 2012 16:40 | To: Simon Peyton-Jones | Cc: Jan Stolarek; Ian Lynagh; glasgow-haskell-us...@haskell.org | Subject: Re: How to start with GHC development? | | On 18/12/12 15:51, Simon Peyton-Jones wrote: | | It seems that many informations in the wiki are duplicated. There | | are two pages about | | repositories: | | http://hackage.haskell.org/trac/ghc/wiki/Repositories | | http://hackage.haskell.org/trac/ghc/wiki/WorkingConventions/Reposi | | tori es (after reading the first one source tree started to make | | much more sense - this is one of the informations *I* would like | | to get first). | | | | The first page lists the repositories and where the upstreams and | | mirrors are. The second page contains the conventions for working | | on other repositories (which is why it's under WorkingConventions). | | Simon, I don't find that a clear distinction. Looking at the two, I'm | a bit confused too! | | So Repositories is what repositories there are, and | WorkingConventions/Repositories is how to work on them. Isn't that a | clear distinction? | | * The lists on WorkingConventions/Repositories duplicates the table in | Repositories. | | There are two separate workflows, so we have to say which libraries each | workflow applies to. I'd be fine with merging this info with the other | table - it might be slightly more awkward having the info on a separate | page, but there would be only one list of repositories. | | * I believe that perhaps WorkingConventions/Repositories is solely | concerned with how to *modify* a library; it opening para says as much. | Fine; but it shouldn't duplicate the info. | | Right. | | Maybe the table could do with a column saying GHC or Upstream to | specify the how to modify convention? (I wish the table could somehow | be narrower. And that the library name was the first column.) Perhaps | the master table can look like this: | | What GHC repo locationUpstream repo exists? | http://darcs.haskell.org/ | | GHCghc.git | ghc-tarballs ghc-tarballs.git | ...etc... | binary binary.git YES | ...etc... | | Then we can deal with the complexities of upstream repos in another | page. I think that might put the info in a way that's easier to grok. | I can do it if Simon and Ian agree; or Ian could. | | Ok by me. | | Cheers, | Simon ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
Re: How to start with GHC development?
I like it, the table is much easier to understand. I slightly preferred having the how to modify material on a separate page and under WorkingConventions, but as long as we link to these pages from the right places under WorkingConventions it should be ok. Cheers, Simon On 19/12/12 12:40, Simon Peyton-Jones wrote: Simon, Ian OK, I have spent a much longer time than I intended editing our wiki pages. Can you look at http://hackage.haskell.org/trac/ghc/wiki/Repositories http://hackage.haskell.org/trac/ghc/wiki/Repositories/Upstream The former is supposed to be the summary; the latter focuses on upstream repos. They are supposed to subsume the current WorkingConventions/Repositories which I have not yet deleted. I'm not 100% sure of the yes/no in the columns. Thanks Simon | -Original Message- | From: Simon Marlow [mailto:marlo...@gmail.com] | Sent: 18 December 2012 16:40 | To: Simon Peyton-Jones | Cc: Jan Stolarek; Ian Lynagh; glasgow-haskell-us...@haskell.org | Subject: Re: How to start with GHC development? | | On 18/12/12 15:51, Simon Peyton-Jones wrote: | | It seems that many informations in the wiki are duplicated. There | | are two pages about | | repositories: | | http://hackage.haskell.org/trac/ghc/wiki/Repositories | | http://hackage.haskell.org/trac/ghc/wiki/WorkingConventions/Reposi | | tori es (after reading the first one source tree started to make | | much more sense - this is one of the informations *I* would like | | to get first). | | | | The first page lists the repositories and where the upstreams and | | mirrors are. The second page contains the conventions for working | | on other repositories (which is why it's under WorkingConventions). | | Simon, I don't find that a clear distinction. Looking at the two, I'm | a bit confused too! | | So Repositories is what repositories there are, and | WorkingConventions/Repositories is how to work on them. Isn't that a | clear distinction? | | * The lists on WorkingConventions/Repositories duplicates the table in | Repositories. | | There are two separate workflows, so we have to say which libraries each | workflow applies to. I'd be fine with merging this info with the other | table - it might be slightly more awkward having the info on a separate | page, but there would be only one list of repositories. | | * I believe that perhaps WorkingConventions/Repositories is solely | concerned with how to *modify* a library; it opening para says as much. | Fine; but it shouldn't duplicate the info. | | Right. | | Maybe the table could do with a column saying GHC or Upstream to | specify the how to modify convention? (I wish the table could somehow | be narrower. And that the library name was the first column.) Perhaps | the master table can look like this: | | What GHC repo locationUpstream repo exists? | http://darcs.haskell.org/ | | GHCghc.git | ghc-tarballs ghc-tarballs.git | ...etc... | binary binary.git YES | ...etc... | | Then we can deal with the complexities of upstream repos in another | page. I think that might put the info in a way that's easier to grok. | I can do it if Simon and Ian agree; or Ian could. | | Ok by me. | | Cheers, | Simon ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
[commit: ghc] master: Tidy up documtation of monomorphsim restriction etc (ea8490e)
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/ea8490e79d37ba758d5ffcf19b087cf74e09b5a0 --- commit ea8490e79d37ba758d5ffcf19b087cf74e09b5a0 Author: Simon Peyton Jones simo...@microsoft.com Date: Wed Dec 19 09:10:26 2012 + Tidy up documtation of monomorphsim restriction etc --- docs/users_guide/flags.xml|7 +-- docs/users_guide/glasgow_exts.xml | 104 + 2 files changed, 48 insertions(+), 63 deletions(-) diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index d433dcb..ee92648 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -789,12 +789,6 @@ entryoption-XTraditionalRecordSyntax/option/entry /row row -entryoption-XNoMonoPatBinds/option/entry -entryMake link linkend=monomorphismpattern bindings polymorphic/link/entry -entrydynamic/entry -entryoption-XMonoPatBinds/option/entry - /row - row entryoption-XRelaxedPolyRec/option/entry entryRelaxed checking for link linkend=typing-bindsmutually-recursive polymorphic functions/link/entry entrydynamic/entry @@ -862,6 +856,7 @@ row entryoption-XMonoLocalBinds/option/entry entryEnable link linkend=mono-local-bindsdo not generalise local bindings/link. + Implied by option-XTypeFamilies/option and option-XGADTs/option. /entry entrydynamic/entry entryoption-XNoMonoLocalBinds/option/entry diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index 825ef65..c7b695c 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -7098,18 +7098,53 @@ pattern binding must have the same context. For example, this is fine: /para /sect2 -sect2 id=mono-local-binds -titleMonomorphic local bindings/title -para -We are actively thinking of simplifying GHC's type system, by emphasisnot generalising local bindings/emphasis. -The rationale is described in the paper -ulink url=http://research.microsoft.com/~simonpj/papers/constraints/index.htm;Let should not be generalised/ulink. +sect2 id=monomorphism +titleSwitching off the dreaded Monomorphism Restriction/title + indextermprimaryoption-XNoMonomorphismRestriction/option/primary/indexterm + +paraHaskell's monomorphism restriction (see +ulink url=http://www.haskell.org/onlinereport/decls.html#sect4.5.5;Section +4.5.5/ulink +of the Haskell Report) +can be completely switched off by +option-XNoMonomorphismRestriction/option. /para +/sect2 + + +sect2 id=mono-local-binds +titleLet-generalisation/title para -The experimental new behaviour is enabled by the flag option-XMonoLocalBinds/option. The effect is -that local (that is, non-top-level) bindings without a type signature are not generalised at all. You can -think of it as an extreme (but much more predictable) version of the Monomorphism Restriction. -If you supply a type signature, then the flag has no effect. +An ML-style language usually generalises the type of any let-bound or where-bound variable, +so that it is as polymorphic as possible. +With the flag option-XMonoLocalBinds/option GHC implements a slightly more conservative policy: +emphasisit generalises only closed bindings/emphasis. +A binding is considered closed if either +itemizedlist +listitemparaIt is one of the top-level bindings of a module, or /para/listitem +listitemparaIts free variables are all themselves closed/para/listitem +/itemizedlist +For example, consider +programlisting +f x = x + 1 +g x = let h y = f y * 2 + k z = z+x + in h x + k x +/programlisting +Here literalf/literal and literalg/literal are closed because they are bound at top level. +Also literalh/literal is closed because its only free variable literalf/literal is closed. +But literalk/literal is not closed because it mentions literalx/literal which is locally bound. +Another way to think of it is this: all closed bindings literalcould/literal be defined at top level. +(In the example, we could move literalh/literal to top level.) +/parapara +All of this applies only to bindings that lack an explicit type signature, so that GHC has to +infer its type. If you supply a type signature, then that fixes type of the binding, end of story. +/parapara +The rationale for this more conservative strategy is given in +ulink url=http://research.microsoft.com/~simonpj/papers/constraints/index.htm;the papers/ulink Let should not be generalised and Modular type inference with local assumptions. +/parapara +The flag option-XMonoLocalBinds/option is implied by option-XTypeFamilies/option and option-XGADTs/option. You can switch
[commit: ghc] master: Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc (650f76f)
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/650f76fe29394adac14fd59cafe72cec3125daf5 --- commit 650f76fe29394adac14fd59cafe72cec3125daf5 Merge: b585312... 909d52e... Author: Simon Peyton Jones simo...@microsoft.com Date: Wed Dec 19 10:32:09 2012 + Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc compiler/basicTypes/Literal.lhs |7 +- compiler/codeGen/StgCmmUtils.hs |3 +- compiler/coreSyn/CoreUnfold.lhs |3 +- compiler/coreSyn/MkCore.lhs |4 +- compiler/coreSyn/MkExternalCore.lhs |3 +- compiler/deSugar/Check.lhs |2 +- compiler/deSugar/DsBinds.lhs|2 +- compiler/deSugar/MatchLit.lhs |6 +- compiler/hsSyn/Convert.lhs | 356 +++--- compiler/hsSyn/HsLit.lhs|3 +- compiler/main/DriverPipeline.hs | 27 ++- compiler/main/DynFlags.hs | 22 ++- compiler/nativeGen/AsmCodeGen.lhs | 138 + compiler/nativeGen/PPC/Instr.hs | 575 +++ compiler/nativeGen/X86/Instr.hs |2 +- compiler/parser/Lexer.x |7 +- compiler/parser/ParserCore.y|2 +- compiler/prelude/PrelRules.lhs |3 +- compiler/rename/RnExpr.lhs |2 +- compiler/typecheck/TcInstDcls.lhs |2 +- compiler/typecheck/TcTyClsDecls.lhs |2 +- compiler/utils/Binary.hs| 28 +- compiler/utils/BufWrite.hs |5 +- compiler/utils/FastString.lhs | 88 ++- compiler/utils/Outputable.lhs |6 +- docs/users_guide/ghci.xml |5 +- rts/STM.c | 84 +++--- 27 files changed, 715 insertions(+), 672 deletions(-) ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
[commit: ghc] master: Wibbles to faa8ff40 (UNPACK pragmas) (b585312)
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/b5853125ca6a5637647d0b0f2d6271cbf219b337 --- commit b5853125ca6a5637647d0b0f2d6271cbf219b337 Author: Simon Peyton Jones simo...@microsoft.com Date: Wed Dec 19 10:28:34 2012 + Wibbles to faa8ff40 (UNPACK pragmas) Nothing big here, just tidying up deetails compiler/basicTypes/BasicTypes.lhs |2 +- compiler/basicTypes/DataCon.lhs | 22 ++ compiler/basicTypes/MkId.lhs|5 +++-- compiler/main/DynFlags.hs |2 +- compiler/main/PprTyThing.hs | 24 compiler/parser/Parser.y.pp |4 ++-- compiler/typecheck/TcTyClsDecls.lhs | 10 +++--- docs/users_guide/flags.xml |4 ++-- docs/users_guide/using.xml | 10 +- 9 files changed, 63 insertions(+), 20 deletions(-) Diff suppressed because of size. To see it, use: git show b5853125ca6a5637647d0b0f2d6271cbf219b337 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
[commit: ghc] master: Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc (8c1aab0)
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/8c1aab0d75ce7499408c5493cf4aacdb196fa915 --- commit 8c1aab0d75ce7499408c5493cf4aacdb196fa915 Merge: 942939c... a38b832... Author: Simon Peyton Jones simo...@microsoft.com Date: Wed Dec 19 15:15:47 2012 + Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc docs/users_guide/ghci.xml|4 ++-- includes/rts/storage/ClosureMacros.h |4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
[commit: ghc] master: Major refactoring of the way that UNPACK pragmas are handled (faa8ff4)
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/faa8ff40162da23a57b58fc128b0d672a8107a46 --- commit faa8ff40162da23a57b58fc128b0d672a8107a46 Author: Simon Peyton Jones simo...@microsoft.com Date: Fri Dec 14 17:37:25 2012 + Major refactoring of the way that UNPACK pragmas are handled The situation was pretty dire. The way in which data constructors were handled, notably the mapping between their *source* argument types and their *representation* argument types (after seq'ing and unpacking) was scattered in three different places, and hard to keep in sync. Now it is all in one place: * The dcRep field of a DataCon gives its representation, specified by a DataConRep * As well as having the wrapper, the DataConRep has a boxer of type DataConBoxer (defined in MkId for loopy reasons). The boxer used at a pattern match to reconstruct the source-level arguments from the rep-level bindings in the pattern match. * The unboxing in the wrapper and the boxing in the boxer are dual, and are now constructed together, by MkId.mkDataConRep. This is the key function of this change. * All the computeBoxingStrategy code in TcTyClsDcls disappears. Much nicer. There is a little bit of refactoring left to do; the strange deepSplitProductType functions are now called only in WwLib, so I moved them there, and I think they could be tidied up further. compiler/basicTypes/BasicTypes.lhs | 27 +- compiler/basicTypes/DataCon.lhs | 250 ++--- compiler/basicTypes/DataCon.lhs-boot |3 +- compiler/basicTypes/MkId.lhs | 652 +++--- compiler/basicTypes/MkId.lhs-boot| 10 +- compiler/deSugar/DsMeta.hs |6 +- compiler/deSugar/DsUtils.lhs | 12 +- compiler/hsSyn/Convert.lhs |4 +- compiler/iface/BinIface.hs | 19 +- compiler/iface/BuildTyCl.lhs |8 +- compiler/iface/MkIface.lhs |2 +- compiler/main/DynFlags.hs|2 +- compiler/parser/Parser.y.pp |2 +- compiler/prelude/TysWiredIn.lhs |8 +- compiler/stranal/WwLib.lhs | 65 - compiler/typecheck/TcInstDcls.lhs| 11 +- compiler/typecheck/TcTyClsDecls.lhs | 220 ++-- compiler/types/TyCon.lhs | 37 +-- 18 files changed, 634 insertions(+), 704 deletions(-) Diff suppressed because of size. To see it, use: git show faa8ff40162da23a57b58fc128b0d672a8107a46 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
[commit: ghc] master: Fix Trac #7506 (missing check for form of FFI type) (942939c)
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/942939c050b0649430a2e41b026499efb46d5f17 --- commit 942939c050b0649430a2e41b026499efb46d5f17 Author: Simon Peyton Jones simo...@microsoft.com Date: Wed Dec 19 13:23:21 2012 + Fix Trac #7506 (missing check for form of FFI type) --- compiler/typecheck/TcForeign.lhs | 12 1 files changed, 8 insertions(+), 4 deletions(-) diff --git a/compiler/typecheck/TcForeign.lhs b/compiler/typecheck/TcForeign.lhs index 40fb3b2..c691bd0 100644 --- a/compiler/typecheck/TcForeign.lhs +++ b/compiler/typecheck/TcForeign.lhs @@ -47,7 +47,6 @@ import Platform import SrcLoc import Bag import FastString -import Util import Control.Monad \end{code} @@ -213,11 +212,11 @@ tcFImport d = pprPanic tcFImport (ppr d) tcCheckFIType :: Type - [Type] - Type - ForeignImport - TcM ForeignImport tcCheckFIType sig_ty arg_tys res_ty (CImport cconv safety mh l@(CLabel _)) - = ASSERT( null arg_tys ) -do checkCg checkCOrAsmOrLlvmOrInterp + -- Foreign import label + = do checkCg checkCOrAsmOrLlvmOrInterp -- NB check res_ty not sig_ty! --In case sig_ty is (forall a. ForeignPtr a) - check (isFFILabelTy res_ty) (illegalForeignTyErr empty sig_ty) + check (null arg_tys isFFILabelTy res_ty) (illegalForeignLabelErr sig_ty) cconv' - checkCConv cconv return (CImport cconv' safety mh l) @@ -483,6 +482,11 @@ check :: Bool - MsgDoc - TcM () check True _ = return () check _the_err = addErrTc the_err +illegalForeignLabelErr :: Type - SDoc +illegalForeignLabelErr ty + = vcat [ illegalForeignTyErr empty ty + , ptext (sLit A foreign-imported address (via foo) must have type (Ptr a) or (FunPtr a)) ] + illegalForeignTyErr :: SDoc - Type - SDoc illegalForeignTyErr arg_or_res ty = hang (hsep [ptext (sLit Unacceptable), arg_or_res, ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
[commit: ghc] master: Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc (96acba6)
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/96acba6fe828bd9bc26459bba947125ddd80da76 --- commit 96acba6fe828bd9bc26459bba947125ddd80da76 Merge: faa8ff4... c79f733... Author: Simon Peyton Jones simo...@microsoft.com Date: Fri Dec 14 17:39:34 2012 + Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc Conflicts: compiler/typecheck/TcTyClsDecls.lhs compiler/cmm/CmmMachOp.hs |2 + compiler/cmm/PprC.hs|4 + compiler/codeGen/StgCmmPrim.hs |6 + compiler/ghci/ByteCodeGen.lhs | 10 +- compiler/iface/LoadIface.lhs| 24 ++-- compiler/iface/MkIface.lhs |5 +- compiler/llvmGen/LlvmCodeGen/CodeGen.hs | 12 ++ compiler/main/CodeOutput.lhs| 14 ++- compiler/main/DriverPipeline.hs | 18 ++- compiler/main/DynFlags.hs | 110 +-- compiler/main/GHC.hs| 27 + compiler/main/HscMain.hs|9 ++- compiler/main/HscTypes.lhs |4 + compiler/nativeGen/AsmCodeGen.lhs | 175 -- compiler/nativeGen/CPrim.hs | 12 ++- compiler/nativeGen/PPC/CodeGen.hs |2 + compiler/nativeGen/SPARC/CodeGen.hs |2 + compiler/nativeGen/X86/CodeGen.hs | 13 ++ compiler/prelude/primops.txt.pp |3 + compiler/typecheck/TcGenGenerics.lhs| 14 +-- compiler/typecheck/TcRnMonad.lhs|9 ++ compiler/typecheck/TcRnTypes.lhs|2 + compiler/utils/Binary.hs| 12 +- compiler/utils/BufWrite.hs | 30 +++-- compiler/utils/FastString.lhs | 174 + docs/users_guide/bugs.xml | 22 ++-- docs/users_guide/ffi-chap.xml | 28 +++-- docs/users_guide/flags.xml |8 ++ docs/users_guide/glasgow_exts.xml |3 + docs/users_guide/using.xml | 47 includes/Stg.h |7 +- includes/rts/Threads.h |3 + includes/stg/TailCalls.h| 185 --- rts/Capability.h|3 +- rts/Linker.c|1 + rts/STM.c | 24 - sync-all| 27 +++-- 37 files changed, 557 insertions(+), 494 deletions(-) ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
[commit: haddock] master: Track changes in UNPACK pragma stuff (a6ab966)
Repository : ssh://darcs.haskell.org//srv/darcs/haddock On branch : master http://hackage.haskell.org/trac/ghc/changeset/a6ab9666557d66dfb646817ac7f9ea0429fd7a9b --- commit a6ab9666557d66dfb646817ac7f9ea0429fd7a9b Author: Simon Peyton Jones simo...@microsoft.com Date: Wed Dec 19 17:28:35 2012 + Track changes in UNPACK pragma stuff --- src/Haddock/Convert.hs | 20 +--- 1 files changed, 13 insertions(+), 7 deletions(-) diff --git a/src/Haddock/Convert.hs b/src/Haddock/Convert.hs index 15fba02..aca1218 100644 --- a/src/Haddock/Convert.hs +++ b/src/Haddock/Convert.hs @@ -84,13 +84,16 @@ synifyATDefault tc = noLoc (synifyAxiom ax) where Just ax = tyConFamilyCoercion_maybe tc synifyAxiom :: CoAxiom - FamInstDecl Name -synifyAxiom (CoAxiom { co_ax_tvs = tvs, co_ax_lhs = lhs, co_ax_rhs = rhs }) +synifyAxiom (CoAxiom { co_ax_tvs = tkvs, co_ax_lhs = lhs, co_ax_rhs = rhs }) | Just (tc, args) - tcSplitTyConApp_maybe lhs = let name = synifyName tc typats= map (synifyType WithinType) args hs_rhs_ty = synifyType WithinType rhs +(kvs, tvs) = partition isKindVar tkvs in FamInstDecl { fid_tycon = name - , fid_pats = HsWB { hswb_cts = typats, hswb_kvs = [], hswb_tvs = map tyVarName tvs } + , fid_pats = HsWB { hswb_cts = typats + , hswb_kvs = map tyVarName kvs + , hswb_tvs = map tyVarName tvs } , fid_defn = TySynonym hs_rhs_ty, fid_fvs = placeHolderNames } | otherwise = error synifyAxiom @@ -194,11 +197,14 @@ synifyDataCon use_gadt_syntax dc = noLoc $ linear_tys = zipWith (\ty bang - let tySyn = synifyType WithinType ty -in case bang of - HsUnpackFailed - noLoc $ HsBangTy HsStrict tySyn - HsNoBang - tySyn - -- HsNoBang never appears, it's implied instead. - _ - noLoc $ HsBangTy bang tySyn +src_bang = case bang of + HsUnpack - HsBang True + HsStrict - HsBang False + _- bang +in case src_bang of + HsNoBang - tySyn + _- noLoc $ HsBangTy bang tySyn +-- HsNoBang never appears, it's implied instead. ) arg_tys (dataConStrictMarks dc) field_tys = zipWith (\field synTy - ConDeclField ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
[commit: testsuite] master: Wibbles for new UNPACK stuff (46e0cc5)
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/46e0cc50edfff44d816811ec75925ecfe3e6599b --- commit 46e0cc50edfff44d816811ec75925ecfe3e6599b Author: Simon Peyton Jones simo...@microsoft.com Date: Wed Dec 19 17:26:07 2012 + Wibbles for new UNPACK stuff --- tests/rename/should_fail/rnfail055.stderr |2 +- .../should_compile/UnboxStrictPrimitiveFields.hs |2 +- tests/typecheck/should_compile/all.T |2 +- tests/typecheck/should_fail/all.T |2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/tests/rename/should_fail/rnfail055.stderr b/tests/rename/should_fail/rnfail055.stderr index 45e0965..c87349d 100644 --- a/tests/rename/should_fail/rnfail055.stderr +++ b/tests/rename/should_fail/rnfail055.stderr @@ -75,7 +75,7 @@ RnFail055.hs-boot:23:6: Boot file: data T6 No C type associated RecFlag NonRecursive - = T6 :: Int - T6 HasWrapper Stricts: ! + = T6 :: Int - T6 HasWrapper Stricts: SrictNotUnpacked FamilyInstance: none RnFail055.hs-boot:25:6: diff --git a/tests/typecheck/should_compile/UnboxStrictPrimitiveFields.hs b/tests/typecheck/should_compile/UnboxStrictPrimitiveFields.hs index e1549bd..f814db9 100644 --- a/tests/typecheck/should_compile/UnboxStrictPrimitiveFields.hs +++ b/tests/typecheck/should_compile/UnboxStrictPrimitiveFields.hs @@ -1,5 +1,5 @@ {-# LANGUAGE MagicHash #-} -{-# OPTIONS_GHC -funbox-strict-primitive-fields #-} +{-# OPTIONS_GHC -funbox-small-strict-fields #-} module Test where import GHC.Exts diff --git a/tests/typecheck/should_compile/all.T b/tests/typecheck/should_compile/all.T index cb24574..5905bb7 100644 --- a/tests/typecheck/should_compile/all.T +++ b/tests/typecheck/should_compile/all.T @@ -386,7 +386,7 @@ test('T7171',normal,run_command, ['$MAKE -s --no-print-directory T7171']) test('T7173', normal, compile, ['']) test('T7196', normal, compile, ['']) -test('T7050', normal, compile, ['']) +test('T7050', normal, compile, ['-O']) test('T7312', normal, compile, ['']) test('T7384', normal, compile, ['']) test('T7451', normal, compile, ['']) diff --git a/tests/typecheck/should_fail/all.T b/tests/typecheck/should_fail/all.T index 9704f18..2e1ec6e 100644 --- a/tests/typecheck/should_fail/all.T +++ b/tests/typecheck/should_fail/all.T @@ -214,7 +214,7 @@ test('T3102', normal, compile_fail, ['']) test('T3613', normal, compile_fail, ['']) test('fd-loop', normal, compile_fail, ['']) test('T3950', normal, compile_fail, ['']) -test('T3966', normal, compile_fail, ['']) +test('T3966', normal, compile_fail, ['-O']) test('IPFail', normal, compile_fail, ['']) test('T3468', extra_clean(['T3468.hi-boot', 'T3468.o-boot']), ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
[commit: testsuite] master: Test Trac #7506 (30ef58b)
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/30ef58bf3e4116e960aafb7f92024c7ee860503b --- commit 30ef58bf3e4116e960aafb7f92024c7ee860503b Author: Simon Peyton Jones simo...@microsoft.com Date: Wed Dec 19 17:25:09 2012 + Test Trac #7506 --- tests/ffi/should_fail/T7506.hs |6 ++ tests/ffi/should_fail/T7506.stderr |7 +++ tests/ffi/should_fail/all.T|1 + 3 files changed, 14 insertions(+), 0 deletions(-) diff --git a/tests/ffi/should_fail/T7506.hs b/tests/ffi/should_fail/T7506.hs new file mode 100644 index 000..75411bd --- /dev/null +++ b/tests/ffi/should_fail/T7506.hs @@ -0,0 +1,6 @@ +module Foo where + +import Foreign.Ptr + +-- foreign import ccall stdio.h putchar c_putchar :: () - FunPtr (Char - IO ()) +foreign import ccall stdio.h putchar c_putchar :: Int - IO () diff --git a/tests/ffi/should_fail/T7506.stderr b/tests/ffi/should_fail/T7506.stderr new file mode 100644 index 000..e8e95a9 --- /dev/null +++ b/tests/ffi/should_fail/T7506.stderr @@ -0,0 +1,7 @@ + +T7506.hs:6:1: +Unacceptable type in foreign declaration: Int - IO () +A foreign-imported address (via foo) must have type (Ptr a) or (FunPtr a) +When checking declaration: + foreign import ccall safe static stdio.h putchar c_putchar +:: Int - IO () diff --git a/tests/ffi/should_fail/all.T b/tests/ffi/should_fail/all.T index 8da2702..cb6ffe9 100644 --- a/tests/ffi/should_fail/all.T +++ b/tests/ffi/should_fail/all.T @@ -11,3 +11,4 @@ test('ccfail005', only_compiler_types(['ghc']), compile_fail, ['']) test('ccall_value', normal, compile_fail, ['']) test('capi_value_function', normal, compile_fail, ['']) test('T5664', normal, compile_fail, ['-v0']) +test('T7506', normal, compile_fail, ['']) ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
[commit: testsuite] master: Test Trac #7489 (ff0b4a0)
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/ff0b4a0d133a91a3751de89ad091c5ae55f57598 --- commit ff0b4a0d133a91a3751de89ad091c5ae55f57598 Author: Simon Peyton Jones simo...@microsoft.com Date: Wed Dec 19 17:26:22 2012 + Test Trac #7489 --- tests/indexed-types/should_compile/T7489.hs | 12 tests/indexed-types/should_compile/all.T|1 + 2 files changed, 13 insertions(+), 0 deletions(-) diff --git a/tests/indexed-types/should_compile/T7489.hs b/tests/indexed-types/should_compile/T7489.hs new file mode 100644 index 000..70cb560 --- /dev/null +++ b/tests/indexed-types/should_compile/T7489.hs @@ -0,0 +1,12 @@ +{-# LANGUAGE EmptyDataDecls, GADTs, TypeFamilies #-} + +module T7489 where + +data Credit +data Debit + +data family Account (s :: *) (t :: *) + +data instance Account Int t where + CAccount :: Account Int Credit + DAccount :: { debitAccountPostings :: [Int] } - Account Int Debit diff --git a/tests/indexed-types/should_compile/all.T b/tests/indexed-types/should_compile/all.T index a255d07..2f94d95 100644 --- a/tests/indexed-types/should_compile/all.T +++ b/tests/indexed-types/should_compile/all.T @@ -201,5 +201,6 @@ test('T5591a', normal, compile, ['']) test('T5591b', normal, compile, ['']) test('T7280', normal, compile, ['']) test('T7474', normal, compile, ['']) +test('T7489', normal, compile, ['']) ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
[commit: testsuite] master: Test Trac #7502 (7c1faf8)
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/7c1faf8bb36ba4977cf858a51e9d9d1d509450bc --- commit 7c1faf8bb36ba4977cf858a51e9d9d1d509450bc Author: Simon Peyton Jones simo...@microsoft.com Date: Wed Dec 19 17:25:33 2012 + Test Trac #7502 --- tests/polykinds/T7502.hs |4 tests/polykinds/all.T|1 + 2 files changed, 5 insertions(+), 0 deletions(-) diff --git a/tests/polykinds/T7502.hs b/tests/polykinds/T7502.hs new file mode 100644 index 000..bdaf4b9 --- /dev/null +++ b/tests/polykinds/T7502.hs @@ -0,0 +1,4 @@ +{-# LANGUAGE DataKinds #-} +module T7502 where + +type S = [1,2] diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T index 4dec1b4..4665255 100644 --- a/tests/polykinds/all.T +++ b/tests/polykinds/all.T @@ -80,3 +80,4 @@ test('T7422', normal, compile,['']) test('T7433', normal, compile_fail,['']) test('T7438', normal, run_command, ['$MAKE -s --no-print-directory T7438']) test('T7404', normal, compile_fail,['']) +test('T7502', normal, compile,['']) ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
[commit: ghc] master: Move the kind Nat and Symbol out of TysPrim and into TysWiredIn (aad93f5)
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/aad93f5c9eb9d53cddf85019192ba0da6004d17e --- commit aad93f5c9eb9d53cddf85019192ba0da6004d17e Author: Simon Peyton Jones simo...@microsoft.com Date: Wed Dec 19 17:35:51 2012 + Move the kind Nat and Symbol out of TysPrim and into TysWiredIn They properly belong in TysWiredIn, since they are defined in Haskell in GHC.TypeLits. Moveover, make them WiredIn (again as they should be) and use checkWiredInTyCon when encountering them in TcHsType.tc_hs_type, so that the interface file is loaded. This fixes Trac #7502. --- compiler/prelude/PrelNames.lhs |8 +--- compiler/prelude/TysPrim.lhs |7 --- compiler/prelude/TysWiredIn.lhs | 29 + compiler/prelude/TysWiredIn.lhs-boot |1 + compiler/typecheck/TcHsType.lhs | 15 +-- compiler/types/Kind.lhs |1 - compiler/types/Type.lhs |2 +- 7 files changed, 41 insertions(+), 22 deletions(-) diff --git a/compiler/prelude/PrelNames.lhs b/compiler/prelude/PrelNames.lhs index 4394309..c763b70 100644 --- a/compiler/prelude/PrelNames.lhs +++ b/compiler/prelude/PrelNames.lhs @@ -281,8 +281,6 @@ basicKnownKeyNames randomClassName, randomGenClassName, monadPlusClassName, -- Type-level naturals -typeNatKindConName, -typeStringKindConName, singIClassName, typeNatLeqClassName, typeNatAddTyFamName, @@ -1089,12 +1087,8 @@ randomGenClassName = clsQual rANDOM (fsLit RandomGen) randomGenClassKey isStringClassName = clsQual dATA_STRING (fsLit IsString) isStringClassKey -- Type-level naturals -typeNatKindConName, typeStringKindConName, - singIClassName, typeNatLeqClassName, +singIClassName, typeNatLeqClassName, typeNatAddTyFamName, typeNatMulTyFamName, typeNatExpTyFamName :: Name -typeNatKindConName= tcQual gHC_TYPELITS (fsLit Nat) typeNatKindConNameKey -typeStringKindConName = tcQual gHC_TYPELITS (fsLit Symbol) - typeStringKindConNameKey singIClassName = clsQual gHC_TYPELITS (fsLit SingI) singIClassNameKey typeNatLeqClassName = clsQual gHC_TYPELITS (fsLit =) typeNatLeqClassNameKey typeNatAddTyFamName = tcQual gHC_TYPELITS (fsLit +) typeNatAddTyFamNameKey diff --git a/compiler/prelude/TysPrim.lhs b/compiler/prelude/TysPrim.lhs index 8c8b4b7..8b9cbf9 100644 --- a/compiler/prelude/TysPrim.lhs +++ b/compiler/prelude/TysPrim.lhs @@ -34,7 +34,6 @@ module TysPrim( -- Kinds anyKind, liftedTypeKind, unliftedTypeKind, openTypeKind, constraintKind, mkArrowKind, mkArrowKinds, -typeNatKind, typeStringKind, funTyCon, funTyConName, primTyCons, @@ -344,12 +343,6 @@ unliftedTypeKind = kindTyConType unliftedTypeKindTyCon openTypeKind = kindTyConType openTypeKindTyCon constraintKind = kindTyConType constraintKindTyCon -typeNatKind :: Kind -typeNatKind = kindTyConType (mkKindTyCon typeNatKindConName superKind) - -typeStringKind :: Kind -typeStringKind = kindTyConType (mkKindTyCon typeStringKindConName superKind) - -- | Given two kinds @k1@ and @k2@, creates the 'Kind' @k1 - k2@ mkArrowKind :: Kind - Kind - Kind mkArrowKind k1 k2 = FunTy k1 k2 diff --git a/compiler/prelude/TysWiredIn.lhs b/compiler/prelude/TysWiredIn.lhs index 4b05e0e..942f102 100644 --- a/compiler/prelude/TysWiredIn.lhs +++ b/compiler/prelude/TysWiredIn.lhs @@ -64,6 +64,9 @@ module TysWiredIn ( -- * Unit unitTy, +-- * Kinds + typeNatKindCon, typeNatKind, typeStringKindCon, typeStringKind, + -- * Parallel arrays mkPArrTy, parrTyCon, parrFakeCon, isPArrTyCon, isPArrFakeCon, @@ -148,6 +151,8 @@ wiredInTyCons = [ unitTyCon -- Not treated like other tuples, because , listTyCon , parrTyCon , eqTyCon + , typeNatKindCon + , typeStringKindCon ] ++ (case cIntegerLibraryType of IntegerGMP - [integerTyCon] @@ -193,6 +198,11 @@ floatDataConName = mkWiredInDataConName UserSyntax gHC_TYPES (fsLit F#) floa doubleTyConName= mkWiredInTyConName UserSyntax gHC_TYPES (fsLit Double) doubleTyConKey doubleTyCon doubleDataConName = mkWiredInDataConName UserSyntax gHC_TYPES (fsLit D#) doubleDataConKey doubleDataCon +-- Kinds +typeNatKindConName, typeStringKindConName :: Name +typeNatKindConName= mkWiredInTyConName UserSyntax gHC_TYPELITS (fsLit Nat)typeNatKindConNameKeytypeNatKindCon +typeStringKindConName = mkWiredInTyConName UserSyntax gHC_TYPELITS (fsLit Symbol) typeStringKindConNameKey typeStringKindCon + -- For integer-gmp only: integerRealTyConName ::
[commit: ghc] master: Add some ASSERTs to calls of zipTopTvSubst (a62c437)
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/a62c4375436c6264e5cc98d12cad69709dcc9075 --- commit a62c4375436c6264e5cc98d12cad69709dcc9075 Author: Simon Peyton Jones simo...@microsoft.com Date: Wed Dec 19 17:36:34 2012 + Add some ASSERTs to calls of zipTopTvSubst --- compiler/basicTypes/DataCon.lhs |5 +++-- compiler/types/FamInstEnv.lhs |4 +++- compiler/types/Type.lhs |6 +++--- 3 files changed, 9 insertions(+), 6 deletions(-) diff --git a/compiler/basicTypes/DataCon.lhs b/compiler/basicTypes/DataCon.lhs index 18e8c2a..1b14179 100644 --- a/compiler/basicTypes/DataCon.lhs +++ b/compiler/basicTypes/DataCon.lhs @@ -911,7 +911,7 @@ classDataCon clas = case tyConDataCons (classTyCon clas) of dataConCannotMatch :: [Type] - DataCon - Bool -- Returns True iff the data con *definitely cannot* match a -- scrutinee of type (T tys) --- where T is the type constructor for the data con +-- where T is the dcRepTyCon for the data con -- NB: look at *all* equality constraints, not only those -- in dataConEqSpec; see Trac #5168 dataConCannotMatch tys con @@ -923,7 +923,8 @@ dataConCannotMatch tys con where dc_tvs = dataConUnivTyVars con theta = dataConTheta con -subst = zipTopTvSubst dc_tvs tys +subst = ASSERT2( length dc_tvs == length tys, ppr con $$ ppr dc_tvs $$ ppr tys ) + zipTopTvSubst dc_tvs tys -- TODO: could gather equalities from superclasses too predEqs pred = case classifyPredType pred of diff --git a/compiler/types/FamInstEnv.lhs b/compiler/types/FamInstEnv.lhs index f30d783..88ab098 100644 --- a/compiler/types/FamInstEnv.lhs +++ b/compiler/types/FamInstEnv.lhs @@ -398,7 +398,9 @@ lookupFamInstEnvConflicts envs fam_inst skol_tvs inst_axiom = famInstAxiom fam_inst (fam, tys) = famInstLHS fam_inst skol_tys = mkTyVarTys skol_tvs -tys1 = substTys (zipTopTvSubst (coAxiomTyVars inst_axiom) skol_tys) tys +ax_tvs = coAxiomTyVars inst_axiom +tys1 = ASSERT2( length ax_tvs == length skol_tys, ppr inst_axiom $$ ppr skol_tys ) + substTys (zipTopTvSubst ax_tvs skol_tys) tys -- In example above, fam tys' = F [b] my_unify old_fam_inst tpl_tvs tpl_tys match_tys diff --git a/compiler/types/Type.lhs b/compiler/types/Type.lhs index 3fc1cef..0f1a8be 100644 --- a/compiler/types/Type.lhs +++ b/compiler/types/Type.lhs @@ -1034,7 +1034,9 @@ mkFamilyTyConApp :: TyCon - [Type] - Type -- mkFamilyTyConApp :RTL Int = T (Maybe Int) mkFamilyTyConApp tc tys | Just (fam_tc, fam_tys) - tyConFamInst_maybe tc - , let fam_subst = zipTopTvSubst (tyConTyVars tc) tys + , let tvs = tyConTyVars tc +fam_subst = ASSERT2( length tvs == length tys, ppr tc + ppr tys ) +zipTopTvSubst tvs tys = mkTyConApp fam_tc (substTys fam_subst fam_tys) | otherwise = mkTyConApp tc tys @@ -1615,13 +1617,11 @@ typeKind _ty@(FunTy _arg res) where k = typeKind res - typeLiteralKind :: TyLit - Kind typeLiteralKind l = case l of NumTyLit _ - typeNatKind StrTyLit _ - typeStringKind - \end{code} Kind inference ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
[commit: ghc] master: Pass the correct inst_tys argument to dataConCannotMatch, in mkRecSelBinds (3394d49)
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/3394d49af13697626145aca6d80b65ae8661418c --- commit 3394d49af13697626145aca6d80b65ae8661418c Author: Simon Peyton Jones simo...@microsoft.com Date: Wed Dec 19 17:37:27 2012 + Pass the correct inst_tys argument to dataConCannotMatch, in mkRecSelBinds This fixes Trac #7503. --- compiler/typecheck/TcTyClsDecls.lhs | 16 ++-- 1 files changed, 10 insertions(+), 6 deletions(-) diff --git a/compiler/typecheck/TcTyClsDecls.lhs b/compiler/typecheck/TcTyClsDecls.lhs index 0523dcd..46a9445 100644 --- a/compiler/typecheck/TcTyClsDecls.lhs +++ b/compiler/typecheck/TcTyClsDecls.lhs @@ -272,8 +272,7 @@ kcTyClGroup decls -- Step 1: Bind kind variables for non-synonyms ; let (syn_decls, non_syn_decls) = partition (isSynDecl . unLoc) decls - ; initial_kinds - - getInitialKinds TopLevel non_syn_decls + ; initial_kinds - getInitialKinds TopLevel non_syn_decls ; traceTc kcTyClGroup: initial kinds (ppr initial_kinds) -- Step 2: Set initial envt, kind-check the synonyms @@ -1553,7 +1552,7 @@ mkRecSelBind (tycon, sel_name) -- Add catch-all default case unless the case is exhaustive -- We do this explicitly so that we get a nice error message that -- mentions this particular record selector -deflt | not (any is_unused all_cons) = [] +deflt | all dealt_with all_cons = [] | otherwise = [mkSimpleMatch [L loc (WildPat placeHolderType)] (mkHsApp (L loc (HsVar (getName rEC_SEL_ERROR_ID))) (L loc (HsLit msg_lit)))] @@ -1561,9 +1560,14 @@ mkRecSelBind (tycon, sel_name) -- Do not add a default case unless there are unmatched -- constructors. We must take account of GADTs, else we -- get overlap warning messages from the pattern-match checker -is_unused con = not (con `elem` cons_w_field -|| dataConCannotMatch inst_tys con) -inst_tys = tyConAppArgs data_ty +-- NB: we need to pass type args for the *representation* TyCon +-- to dataConCannotMatch, hence the calculation of inst_tys +-- This matters in data families +-- data instance T Int a where +-- A :: { fld :: Int } - T Int Bool +-- B :: { fld :: Int } - T Int Char +dealt_with con = con `elem` cons_w_field || dataConCannotMatch inst_tys con +inst_tys = substTyVars (mkTopTvSubst (dataConEqSpec con1)) (dataConUnivTyVars con1) unit_rhs = mkLHsTupleExpr [] msg_lit = HsStringPrim $ unsafeMkByteString $ ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
[nightly] 19-Dec-2012 build of HEAD (unreg) on x86_64-unknown-linux (cam-04-unx)
Build description = HEAD (unreg) on x86_64-unknown-linux (cam-04-unx) Build location= /64playpen/simonmar/nightly/HEAD-unreg-cam-04-unx Build config file = /home/simonmar/nightly/site/msrc/conf-HEAD-unreg-cam-04-unx Nightly build started on cam-04-unx at Wed Dec 19 18:20:01 GMT 2012. checking out new source tree ... warning: libraries/xhtml already present; omitting Submodule 'libraries/Cabal' (http://darcs.haskell.org/libraries/Cabal.git/) registered for path 'libraries/Cabal' Submodule 'libraries/Win32' (http://darcs.haskell.org/libraries/Win32.git/) registered for path 'libraries/Win32' Submodule 'libraries/binary' (http://darcs.haskell.org/libraries/binary.git/) registered for path 'libraries/binary' Submodule 'libraries/bytestring' (http://darcs.haskell.org/libraries/bytestring.git/) registered for path 'libraries/bytestring' Submodule 'libraries/containers' (http://darcs.haskell.org/libraries/containers.git/) registered for path 'libraries/containers' Submodule 'libraries/haskeline' (http://darcs.haskell.org/libraries/haskeline.git/) registered for path 'libraries/haskeline' Submodule 'libraries/pretty' (http://darcs.haskell.org/libraries/pretty.git/) registered for path 'libraries/pretty' Submodule 'libraries/primitive' (http://darcs.haskell.org/libraries/primitive.git/) registered for path 'libraries/primitive' Submodule 'libraries/terminfo' (http://darcs.haskell.org/libraries/terminfo.git/) registered for path 'libraries/terminfo' Submodule 'libraries/time' (http://darcs.haskell.org/libraries/time.git/) registered for path 'libraries/time' Submodule 'libraries/transformers' (http://darcs.haskell.org/libraries/transformers.git/) registered for path 'libraries/transformers' Submodule 'libraries/vector' (http://darcs.haskell.org/libraries/vector.git/) registered for path 'libraries/vector' Submodule 'libraries/xhtml' (http://darcs.haskell.org/libraries/xhtml.git/) registered for path 'libraries/xhtml' Cloning into 'libraries/Cabal'... Submodule path 'libraries/Cabal': checked out '4b43bd95753e5f3e29d7bfbe6bba8477715ac296' Cloning into 'libraries/Win32'... Submodule path 'libraries/Win32': checked out '21335a30161c099da79ae9619c9782e5e32e4644' Cloning into 'libraries/binary'... Submodule path 'libraries/binary': checked out '2d31cea238d0d08885c457475fc354dbf2b88976' Cloning into 'libraries/bytestring'... Submodule path 'libraries/bytestring': checked out '6bd69fe27af33e878e38f4c579983f6a23120a87' Cloning into 'libraries/containers'... Submodule path 'libraries/containers': checked out 'a9b7224068ae60f73baacd5f76d2c27624d90120' Cloning into 'libraries/haskeline'... error: Request for e69de29bb2d1d6434b8b29ae775ad8c2e48c5391 aborted error: Unable to find e69de29bb2d1d6434b8b29ae775ad8c2e48c5391 under http://darcs.haskell.org/libraries/haskeline.git Cannot obtain needed blob e69de29bb2d1d6434b8b29ae775ad8c2e48c5391 while processing commit 29b907bdd217fa175cc3b294dc3743ed7806cec0. error: Fetch failed. Clone of 'http://darcs.haskell.org/libraries/haskeline.git/' into submodule path 'libraries/haskeline' failed git failed: 256 at ./sync-all line 176. ATTENTION! You have an old time package in your GHC tree! Please remove it (e.g. rm -r libraries/time), and then run ./sync-all get to get the new repository. Nightly run ended at Wed Dec 19 18:21:12 GMT 2012 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
[nightly] 19-Dec-2012 build of HEAD on i386-unknown-linux (cam-02-unx)
Build description = HEAD on i386-unknown-linux (cam-02-unx) Build location= /playpen/simonmar/nightly/HEAD Build config file = /home/simonmar/nightly/site/msrc/conf-HEAD-cam-02-unx Nightly build started on cam-02-unx at Wed Dec 19 18:00:01 GMT 2012. checking out new source tree ... warning: libraries/xhtml already present; omitting Submodule 'libraries/Cabal' (http://darcs.haskell.org/libraries/Cabal.git/) registered for path 'libraries/Cabal' Submodule 'libraries/Win32' (http://darcs.haskell.org/libraries/Win32.git/) registered for path 'libraries/Win32' Submodule 'libraries/binary' (http://darcs.haskell.org/libraries/binary.git/) registered for path 'libraries/binary' Submodule 'libraries/bytestring' (http://darcs.haskell.org/libraries/bytestring.git/) registered for path 'libraries/bytestring' Submodule 'libraries/containers' (http://darcs.haskell.org/libraries/containers.git/) registered for path 'libraries/containers' Submodule 'libraries/haskeline' (http://darcs.haskell.org/libraries/haskeline.git/) registered for path 'libraries/haskeline' Submodule 'libraries/pretty' (http://darcs.haskell.org/libraries/pretty.git/) registered for path 'libraries/pretty' Submodule 'libraries/primitive' (http://darcs.haskell.org/libraries/primitive.git/) registered for path 'libraries/primitive' Submodule 'libraries/terminfo' (http://darcs.haskell.org/libraries/terminfo.git/) registered for path 'libraries/terminfo' Submodule 'libraries/time' (http://darcs.haskell.org/libraries/time.git/) registered for path 'libraries/time' Submodule 'libraries/transformers' (http://darcs.haskell.org/libraries/transformers.git/) registered for path 'libraries/transformers' Submodule 'libraries/vector' (http://darcs.haskell.org/libraries/vector.git/) registered for path 'libraries/vector' Submodule 'libraries/xhtml' (http://darcs.haskell.org/libraries/xhtml.git/) registered for path 'libraries/xhtml' Cloning into 'libraries/Cabal'... Submodule path 'libraries/Cabal': checked out '4b43bd95753e5f3e29d7bfbe6bba8477715ac296' Cloning into 'libraries/Win32'... Submodule path 'libraries/Win32': checked out '21335a30161c099da79ae9619c9782e5e32e4644' Cloning into 'libraries/binary'... Submodule path 'libraries/binary': checked out '2d31cea238d0d08885c457475fc354dbf2b88976' Cloning into 'libraries/bytestring'... Submodule path 'libraries/bytestring': checked out '6bd69fe27af33e878e38f4c579983f6a23120a87' Cloning into 'libraries/containers'... Submodule path 'libraries/containers': checked out 'a9b7224068ae60f73baacd5f76d2c27624d90120' Cloning into 'libraries/haskeline'... Submodule path 'libraries/haskeline': checked out '6ee5fc8ccdee410486a826cadfb2a0a560d60506' Cloning into 'libraries/pretty'... Submodule path 'libraries/pretty': checked out 'ab7e8d91470bb94c9e184dffbec89d0aae116f9b' Cloning into 'libraries/primitive'... Submodule path 'libraries/primitive': checked out '75c3379b6d76e914cc3c7ffd290b6b1cad7ea3e6' Cloning into 'libraries/terminfo'... Submodule path 'libraries/terminfo': checked out '579d2c324e69856ff8d1ea8b5036e30c920e1973' Cloning into 'libraries/time'... Submodule path 'libraries/time': checked out 'c98806fe0c9cde7371452ec30fa2900d28d16b16' Cloning into 'libraries/transformers'... Submodule path 'libraries/transformers': checked out 'a59fb93860f84ccd44178dcbbb82cfea7e02cd07' Cloning into 'libraries/vector'... Submodule path 'libraries/vector': checked out 'c4c5a740ec977a4300449bc85f4707ec641be923' Cloning into 'libraries/xhtml'... Submodule path 'libraries/xhtml': checked out 'fb9e0bbb69e15873682a9f25d39652099a3ccac1' ok. Building stage 1 compiler... failed; relevant barfage is below. GHC Version 7.7.20121213 No successfully built compilers to test; aborting. The last 30 lines of /playpen/simonmar/nightly/HEAD/logs/i386-unknown-linux-stage1 are rts/AdjustorAsm.S:129:0: Error: no such instruction: `load r12,WPTR_OFF(r2)' rts/AdjustorAsm.S:131:0: Error: no such instruction: `mtctr r12' rts/AdjustorAsm.S:133:0: Error: no such instruction: `load r0,0(r12)' rts/AdjustorAsm.S:137:0: Error: no such instruction: `mtctr r0' rts/AdjustorAsm.S:138:0: Error: no such instruction: `load r2,WS(r12)' rts/AdjustorAsm.S:140:0: Error: no such instruction: `bctrl' rts/AdjustorAsm.S:142:0: Error: no such instruction: `load r1,0(r1)' rts/AdjustorAsm.S:143:0: Error: no such instruction: `load r0,LINK_SLOT(r1)' rts/AdjustorAsm.S:144:0: Error: no such instruction: `mtlr r0' rts/AdjustorAsm.S:145:0: Error: no such instruction: `blr' make[1]: *** [rts/dist/build/AdjustorAsm.o] Error 1 make: *** [stage1_libs] Error 2 Command exited with
[nightly] 19-Dec-2012 build of HEAD on x86_64-unknown-linux (cam-04-unx)
Build description = HEAD on x86_64-unknown-linux (cam-04-unx) Build location= /64playpen/simonmar/nightly/HEAD-cam-04-unx Build config file = /home/simonmar/nightly/site/msrc/conf-HEAD-cam-04-unx Nightly build started on cam-04-unx at Wed Dec 19 18:00:01 GMT 2012. checking out new source tree ... warning: libraries/xhtml already present; omitting Submodule 'libraries/Cabal' (http://darcs.haskell.org/libraries/Cabal.git/) registered for path 'libraries/Cabal' Submodule 'libraries/Win32' (http://darcs.haskell.org/libraries/Win32.git/) registered for path 'libraries/Win32' Submodule 'libraries/binary' (http://darcs.haskell.org/libraries/binary.git/) registered for path 'libraries/binary' Submodule 'libraries/bytestring' (http://darcs.haskell.org/libraries/bytestring.git/) registered for path 'libraries/bytestring' Submodule 'libraries/containers' (http://darcs.haskell.org/libraries/containers.git/) registered for path 'libraries/containers' Submodule 'libraries/haskeline' (http://darcs.haskell.org/libraries/haskeline.git/) registered for path 'libraries/haskeline' Submodule 'libraries/pretty' (http://darcs.haskell.org/libraries/pretty.git/) registered for path 'libraries/pretty' Submodule 'libraries/primitive' (http://darcs.haskell.org/libraries/primitive.git/) registered for path 'libraries/primitive' Submodule 'libraries/terminfo' (http://darcs.haskell.org/libraries/terminfo.git/) registered for path 'libraries/terminfo' Submodule 'libraries/time' (http://darcs.haskell.org/libraries/time.git/) registered for path 'libraries/time' Submodule 'libraries/transformers' (http://darcs.haskell.org/libraries/transformers.git/) registered for path 'libraries/transformers' Submodule 'libraries/vector' (http://darcs.haskell.org/libraries/vector.git/) registered for path 'libraries/vector' Submodule 'libraries/xhtml' (http://darcs.haskell.org/libraries/xhtml.git/) registered for path 'libraries/xhtml' Cloning into 'libraries/Cabal'... Submodule path 'libraries/Cabal': checked out '4b43bd95753e5f3e29d7bfbe6bba8477715ac296' Cloning into 'libraries/Win32'... Submodule path 'libraries/Win32': checked out '21335a30161c099da79ae9619c9782e5e32e4644' Cloning into 'libraries/binary'... Submodule path 'libraries/binary': checked out '2d31cea238d0d08885c457475fc354dbf2b88976' Cloning into 'libraries/bytestring'... Submodule path 'libraries/bytestring': checked out '6bd69fe27af33e878e38f4c579983f6a23120a87' Cloning into 'libraries/containers'... Submodule path 'libraries/containers': checked out 'a9b7224068ae60f73baacd5f76d2c27624d90120' Cloning into 'libraries/haskeline'... Submodule path 'libraries/haskeline': checked out '6ee5fc8ccdee410486a826cadfb2a0a560d60506' Cloning into 'libraries/pretty'... Submodule path 'libraries/pretty': checked out 'ab7e8d91470bb94c9e184dffbec89d0aae116f9b' Cloning into 'libraries/primitive'... Submodule path 'libraries/primitive': checked out '75c3379b6d76e914cc3c7ffd290b6b1cad7ea3e6' Cloning into 'libraries/terminfo'... Submodule path 'libraries/terminfo': checked out '579d2c324e69856ff8d1ea8b5036e30c920e1973' Cloning into 'libraries/time'... Submodule path 'libraries/time': checked out 'c98806fe0c9cde7371452ec30fa2900d28d16b16' Cloning into 'libraries/transformers'... Submodule path 'libraries/transformers': checked out 'a59fb93860f84ccd44178dcbbb82cfea7e02cd07' Cloning into 'libraries/vector'... Submodule path 'libraries/vector': checked out 'c4c5a740ec977a4300449bc85f4707ec641be923' Cloning into 'libraries/xhtml'... Submodule path 'libraries/xhtml': checked out 'fb9e0bbb69e15873682a9f25d39652099a3ccac1' ok. Building stage 1 compiler... ok. GHC Version 7.7.20121213 Building stage 2 compiler... failed; relevant barfage is below. building source distribution ... ok. uploading source distribution... ok. building testsuite tools ... failed. building compiler binary distribution... ok. uploading binary distribution... ok. running nofib (-rtsopts -O2) ... ok. running nofib (-rtsopts -O2 -fllvm) ... ok. (1 failures) running nofib (-rtsopts -O2 -prof -auto-all -static)... ok. (92 failures) running nofib (-rtsopts -O2 -prof -auto-all -fllvm -static)... ok. (92 failures) publishing logs ... ok. Logs are at http://www.haskell.org/ghc/dist/current/logs Dists are at http://www.haskell.org/ghc/dist/current/dist Docs are at http://www.haskell.org/ghc/dist/current/docs - Respository hashes: .|c79f733460c17d66853c184ccd1782d0be21b4dc ghc-tarballs|18e0c37f8023abf469af991e2fc2d3b024319c27 libraries/array|442ff7744fb51004c5358ec626e704f4536e3d6c libraries/base|7ed045164892688bc9823c709787307f2fff312c
Re: PATCH: Rename cmmz flags for consistency
If someone could commit this for me, that'd be great. :) I asked Ian and he is quite busy and, presumably, so is everybody else. Holidays! So just in case, I created a ticket and attached the patch there so it's not lost. http://hackage.haskell.org/trac/ghc/ticket/7514 On Tue, Dec 18, 2012 at 8:36 AM, Simon Marlow marlo...@gmail.com wrote: Ok with me too. I should have cleaned this up at the time, but got into the habit of using -ddump-cmmz. Cheers, Simon On 17/12/12 21:46, Simon Peyton-Jones wrote: ok with me | -Original Message- | From: cvs-ghc-boun...@haskell.org [mailto:cvs-ghc-boun...@haskell.org] On | Behalf Of Austin Seipp | Sent: 17 December 2012 17:35 | To: cvs-ghc | Subject: PATCH: Rename cmmz flags for consistency | | Hi, | | The attached patch renames the various '*-cmmz-*' flags to '*-cmm-*' | now that the new backend is live. It also fixes some inconsistencies; namely, there | were flags like -ddump-cmmz-rewrite, vs -ddump-cps-cmm, etc. Also, since the | new backend went live, '-ddump-cmm' was terribly | broken: it was only used when dumping out parsed C--, as the new pipeline used | -ddump-cmmz exclusively. | | This patch mostly just makes all the flags consistent and removes the needless 'z' | suffix. It doesn't update the manual; the sub-flags were never mentioned, and - | ddump-cmm implies them all anyway. | | -- | Regards, | Austin ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc -- Regards, Austin ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
Re: The end of an era, and the dawn of a new one
Ahh that is much better than my initial attempt! Safe Haskell directories added. On 15 December 2012 00:46, Simon Peyton-Jones simo...@microsoft.com wrote: Thanks to David for making a start. I have re-done the page based on his work. http://hackage.haskell.org/trac/ghc/wiki/Contributors Please look! I have begun with a statement about what being an owner means; please help refine it. Also I'm sure I have missed out areas that should be listed. Please edit. David: pls add the Safe Haskell directories. General opinions? Simon | -Original Message- | From: cvs-ghc-boun...@haskell.org [mailto:cvs-ghc-boun...@haskell.org] | On Behalf Of David Terei | Sent: 12 December 2012 23:14 | To: Ben Lippmeier | Cc: Ian Lynagh; cvs-ghc@haskell.org; Manuel M T Chakravarty | Subject: Re: The end of an era, and the dawn of a new one | | So I had a go at updating the wiki page to reflect ownership / tsar | status / maintainers. | | http://hackage.haskell.org/trac/ghc/wiki/Contributors | | This page will probably need to change when reach a conclusion of how | we want to frame this responsibility (i.e., owners, maintainers, | tsars). | | The list of people is very light right now as I only put down people | who had said they would take ownership of a task. (although I did make | assumptions for Ian, Simon PJ Simon M). | | On 9 December 2012 16:53, Ben Lippmeier b...@ouroborus.net wrote: | | On 09/12/2012, at 10:53 PM, Manuel M T Chakravarty wrote: | | Ian Lynagh i...@well-typed.com: | On Thu, Dec 06, 2012 at 12:32:05PM +, Simon Peyton-Jones wrote: | (Narrowing to cvs-ghc for now.) | | Speaking for myself, I would welcome a code-ownership model along | the lines that Ben suggests. If it works well it would | a) spread the load | b) broaden a genuine sense of ownership | c) because of (a) and (b), perhaps encourage more people to | participate | | What do others think? | | owner is a very strong word: I think other projects have had | problems | where e.g. owners have found themselves without time to deal with | patches submitted, but have been unwilling to let anyone else touch | their code. | | Perhaps we could have maintainers instead? | | I agree with Ian here. | | Code ownership is not necessarily a Good Thing. In fact, it is often | discouraged in modern approaches to software engineering. Why? Because | it creates a barrier for the non-owners to contribute to a code base, | especially if we would start to introduce procedures such as an | obligation for the owner to review all patches to *their* code base. | | I agree that having a Ownership model may increase the barrier to | new contributors submitting drive-by patches, but at the same time it | reduces the barrier to the owner performing more wide ranging changes | and refactorings. | | If I'm a drive-by contributor or assigned maintainer, then I'm | probably not going to spend a week of my own time refactoring, | documenting, and cleaning up all the native code generators, because | it's not my project. However, if I were to make a conscious decision to | assume responsibility for that code for (say) a year, I'd go though and | clean it all up. Maintenance is largely a thankless task because it | doesn't lead to a sexy feature or support for a new platform. It does | improve the overall health of the project, though. Having successive | people assume ownership, and then going though and auditing all the code | would be even better. | | | This is particularly awkward in an open source project. If somebody | is busy (or on holidays) for a month, nobody can push patches that touch | that code. | | I don't think going to an Ownership model need prevent people with | accounts on d.h.o continuing to change whatever code they need to. If I | were to assume responsibility for some code I'm not going to require | Simon(s) or Johan to submit patches to me for review. It's true that | some contributed patches may languish on the trac for a few weeks, but | that happens anyway. | | | I like the Tsar idea that SPJ started with the Performance Tsar(s). | Instead of assigning ownership of code (like in a land grab), let's | define areas of responsibility. Many of these responsibilities (like | performance) will touch on a cross section of the code base. | | | My worry is that having a responsibility without a corresponding asset | feels more like a job than a fun thing to do. The asset here is more | of an emotional construct than a physical one -- a sense of this is | mine to look after. | | Code maintenance isn't fun, and given the choice I'd prefer to work on | my own projects than documenting someone else's code. If you say you | can be responsible for the performance of GHC that's a fairly nebulous | concept, but if you say this code is yours for a year, look after it, | then it gives the owner
[nightly] 19-Dec-2012 build of STABLE on x86_64-unknown-linux (cam-04-unx)
Build description = STABLE on x86_64-unknown-linux (cam-04-unx) Build location= /64playpen/simonmar/nightly/STABLE-cam-04-unx Build config file = /home/simonmar/nightly/site/msrc/conf-STABLE-cam-04-unx Nightly build started on cam-04-unx at Wed Dec 19 18:10:01 GMT 2012. checking out new source tree ... warning: Remote branch ghc-7.6 not found in upstream origin, using HEAD instead ok. Building stage 1 compiler... ok. GHC Version 7.6.1.20121207 Building stage 2 compiler... ok. Building stage 3 compiler... ok. building source distribution ... ok. uploading source distribution... ok. building testsuite tools ... ok. running tests... ok (summary below). building compiler binary distribution... ok. uploading binary distribution... ok. running nofib (-rtsopts -O2) ... ok. running nofib (-rtsopts -O2 -fllvm) ... ok. running nofib (-rtsopts -O2 -prof -auto-all -static)... ok. running nofib (-rtsopts -O2 -prof -auto-all -fllvm -static)... ok. publishing logs ... ok. Logs are at http://www.haskell.org/ghc/dist/stable/logs Dists are at http://www.haskell.org/ghc/dist/stable/dist Docs are at http://www.haskell.org/ghc/dist/stable/docs - Respository hashes: .|1183080b1b45dbcaa6af1154e2e668f924598772 ghc-tarballs|18e0c37f8023abf469af991e2fc2d3b024319c27 libraries/Cabal|e7e7ce1029707a67d26e6dc29de11141734898e3 libraries/Win32|e13098aecd0489399435dbf8643e1db2272e1e02 libraries/array|8dcd15240a9c2ba142fcbd31f597b51cf2f560bf libraries/base|56c8295c638a03676a9be8d34195e6be945ddc2c libraries/binary|2d31cea238d0d08885c457475fc354dbf2b88976 libraries/bytestring|65e40bdf5b3a2484b36221a71b054e4400361a5f libraries/containers|a9b7224068ae60f73baacd5f76d2c27624d90120 libraries/deepseq|4821349305c2a73efacdd58d2ba485b07eb84eda libraries/directory|ef17afe1bd44ae10ef413146e5ade8867cb05625 libraries/filepath|2d60d0dd5d8fc924420bb238902266929f4e2cfb libraries/ghc-prim|03144fbee792555bfd6de6184228ebaeffed2896 libraries/haskeline|f4040ab5831866c260e03fc8601edf7e1ed77049 libraries/haskell2010|d7e33da36585c250cd0bfb45b518c95e44197f3c libraries/haskell98|c5a0db5eb4ce6a3736bf4f5caac3ff465b3dbaf9 libraries/hoopl|293d339303097641e7f14a1c0365a3801a87918d libraries/hpc|c1b783dbbb0ab917208655c53a0af5c7538c2a0b libraries/integer-gmp|2d9eca147f5c8b6f390eca15e03b315f67f2df01 libraries/integer-simple|47737f6f16d891b743a3d02b0a016100fd3a36d1 libraries/old-locale|47542432234f6fc406a9abf5d3f94e43d9bd10f6 libraries/old-time|cf225c367e5490201a5b04b1b8cb322f6e230d46 libraries/pretty|0a22cc0b3a4f8db876c4019013a30bfd1c0dd9a2 libraries/process|0ab69a65edae8c1a34ecee3a97b3839c833985f2 libraries/template-haskell|db0b4de55926b0bc98717c92ba543bcf9b89d024 libraries/terminfo|579d2c324e69856ff8d1ea8b5036e30c920e1973 libraries/transformers|a59fb93860f84ccd44178dcbbb82cfea7e02cd07 libraries/unix|b08de9ba4b5b6d4dc8ee43302ef99072059b2c01 libraries/utf8-string|73ca1b9def3f350ad28e55fcba077e6be3b67e93 libraries/xhtml|fb9e0bbb69e15873682a9f25d39652099a3ccac1 nofib|890caa4077655494f83fa3b6670f6d99d8c58744 testsuite|c96a151e2e48092efe58bfb2ba11aad428480b27 utils/haddock|3d25ea2929a9a9bd0768339b8ac5fd1b7c4670ad utils/hsc2hs|67b8c663216690150b6f762e09b32ebbe6334ddd - All done! Nightly build finished successfully at Thu Dec 20 01:15:32 GMT 2012 - GHC Test summary - OVERALL SUMMARY for test run started at Wed Dec 19 21:29:24 GMT 2012 3402 total tests, which gave rise to 16613 test cases, of which 10 caused framework failures 3563 were skipped 12537 expected passes 367 had missing libraries 131 expected failures 0 unexpected passes 15 unexpected failures Unexpected failures: perf/compilerT6048 [stat not good enough] (optasm) perf/haddock haddock.Cabal [stat not good enough] (normal) perf/haddock haddock.base [stat not good enough] (normal) perf/haddock haddock.compiler [stat not good enough] (normal) safeHaskell/check/pkg01 ImpSafeOnly01 [exit code non-0] (normal) safeHaskell/check/pkg01 ImpSafeOnly02 [exit code non-0] (normal) safeHaskell/check/pkg01 ImpSafeOnly03 [stderr mismatch] (normal) safeHaskell/check/pkg01 ImpSafeOnly04 [exit code non-0] (normal) safeHaskell/check/pkg01 ImpSafeOnly05 [stderr mismatch] (normal) safeHaskell/check/pkg01 ImpSafeOnly06 [exit code non-0] (normal) safeHaskell/check/pkg01 ImpSafeOnly07 [stderr mismatch] (normal) safeHaskell/check/pkg01 ImpSafeOnly08 [stderr mismatch] (normal) safeHaskell/check/pkg01
tn23 (x86 OSX HEAD), build 786, Failure
tn23 (x86 OSX HEAD), build 786 Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/tn23/786.html git clone| Success create mk/build.mk | Success get subrepos | Success repo versions| Success touching clean-check files | Success setting version date | Success booting | Success configuring | Success creating check-remove-before | Success compiling| Failure: Just (ExitFailure 2) Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/tn23/786.html echo 'pgmgcc=/usr/bin/gcc' inplace/bin/runghc cat utils/runghc/runghc.wrapper inplace/bin/runghc chmod +x inplace/bin/runghc inplace/bin/ghc-stage1 -static -H32m -O-hid [...] Main.hs -o utils/mkUserGuidePart/dist/build/Main.o inplace/bin/mkdirhier utils/mkUserGuidePart/dist/build/tmp//. inplace/bin/ghc-stage1 -o utils/mkUserGuidePart/ [...] f hc utils/mkUserGuidePart/dist/build/Main.o cp -p utils/mkUserGuidePart/dist/build/tmp/mkUserGuidePart inplace/bin/mkUserGuidePart inplace/bin/mkdirhier utils/count_lines/dist//. inplace/lib/unlit utils/count_lines/count_lines.lprl utils/count_lines/dist/count_lines.prl rm -f utils/count_lines/dist/count_lines echo '#!/opt/local/bin/perl' utils/count_lines/dist/count_lines echo '$TARGETPLATFORM = i386-apple-darwin;' utils/count_lines/dist/count_lines echo '$TABLES_NEXT_TO_CODE = YES;' utils/count_lines/dist/count_lines cat utils/count_lines/dist/count_lines.prl [...] utils/count_lines/dist/count_lines cp utils/count_lines/dist/count_lines inplace/bin/count_lines chmod +x inplace/bin/count_lines inplace/bin/ghc-stage1 -static -H32m -O-hide-all-packages -i -iutils/compare_sizes/. -iutils/ [...] -osuf o -hcsuf hc -c utils/compare_sizes/./Main.hs -o utils/compare_sizes/dist-install/build/Main.o inplace/bin/mkdirhier utils/compare_sizes/dist-install/build/tmp//. inplace/bin/ghc-stage1 -o utils/compare_sizes/dist-install/build/tmp/compareSizes -static -H32m - [...] /dist-install/build -hisuf hi -osuf o -hcsuf hc utils/compare_sizes/dist-install/build/Main.o inplace/bin/ghc-stage2 -static -H32m -O-package-name old-time-1.1.0.1 -hide-all-packages -i -ilibraries/old-time/. -ilibraries/old-time/dist-install/build -ilibraries/old-time/dist-install/build/autogen - [...] -time/dist-install/build -stubdir libraries/old-time/dist-install/build -hisuf hi -osuf o -hcsuf hc -c libraries/old-time/dist-install/build/System/Time.hs -o libraries/old-time/dist-install/build/System/Time.o inplace/bin/mkdirhier libraries/old-time/dist-install/build/cbits//. inplace/bin/ghc-stage2 -optc-Ilibraries/old-time/include -optc-I'/Users/thorkilnaur/tn/builders/GHCBuilder/tn23/builder/tempbuild/build/libraries/base/include' -optc-I'/Users/thorkilnaur/tn/builders/GHCBuilder/tn23/builder/tempbuild/build/rts/dist/build' -optc-I'/Users/thorkilnaur/tn/builders/GHCBuilder/tn23/builder/tempbuild/build/includes' -optc-I'/Users/thorkilnaur/tn/builders/GHCBuilder/tn23/builder/tempbuild/build/includes/dist-derivedconstants/header' -static -H32m -O-package-name old-time-1.1.0.1 -hide-all-packages -i -ilibraries/old-time/. -ilibraries/old-time/dist-install/build -ilibraries/old-time/dist-install/build/autogen -Ilibraries/old-time/dist-install/build -Ilibraries/old-time/dist-install/build/autogen -Ilibraries/old-time/include -optP-include -optPlibraries/old-time/dist-install/build/autogen/cabal_macros.h -package base-4.7.0.0 -package old-locale-1.0.0.5 -XHaskell98 -XCPP -XForeignFunctionInterface -O2 -no-user-package-db -rtsopts -c libraries/old-time/cbits/timeUtils.c -o libraries/old-time/dist-install/build/cbits/timeUtils.o rm -f libraries/old-time/dist-install/build/libHSold-time-1.1.0.1.a libraries/old-time/dist-install/build/libHSold-time-1.1.0.1.a.contents echo libraries/old-time/dist-install/build/System/Time.o libraries/old-time/dist-install/build/cbits/timeUtils.o libraries/old-time/dist-install/build/libHSold-time-1.1.0.1.a.contents xargs /usr/bin/ar clqs libraries/old-time/dist-install/build/libHSold-time-1.1.0.1.a libraries/old-time/dist-install/build/libHSold-time-1.1.0.1.a.contents rm -f libraries/old-time/dist-install/build/libHSold-time-1.1.0.1.a.contents /usr/bin/ld -arch i386 -r -o libraries/old-time/dist-install/build/HSold-time-1.1.0.1.o libraries/old-time/dist-install/build/System/Time.o libraries/old-time/dist-install/build/cbits/timeUtils.o inplace/bin/ghc-stage2 -static -prof -H32m -O-package-name old-time-1.1.0.1 -hide-all-packages -i -ilibraries/old-time/. -ilibraries/old-time/dist-install/build -ilibraries/old-time/dist-install/build/autogen -Ilibraries/old-time/dist-install/build
[nightly] 19-Dec-2012 build of STABLE on i386-unknown-linux (cam-02-unx)
Build description = STABLE on i386-unknown-linux (cam-02-unx) Build location= /playpen/simonmar/nightly/STABLE Build config file = /home/simonmar/nightly/site/msrc/conf-STABLE-cam-02-unx Nightly build started on cam-02-unx at Wed Dec 19 18:10:02 GMT 2012. checking out new source tree ... warning: Remote branch ghc-7.6 not found in upstream origin, using HEAD instead ok. Building stage 1 compiler... ok. GHC Version 7.6.1.20121207 Building stage 2 compiler... ok. Building stage 3 compiler... ok. building testsuite tools ... ok. running tests... ok (summary below). building compiler binary distribution... ok. uploading binary distribution... ok. running nofib (-rtsopts -O2) ... ok. (1 failures) running nofib (-rtsopts -O2 -fllvm) ... ok. (1 failures) running nofib (-rtsopts -O2 -prof -auto-all) ... ok. (3 failures) running nofib (-rtsopts -O2 -prof -auto-all -fllvm)... ok. (1 failures) publishing logs ... ok. Logs are at http://www.haskell.org/ghc/dist/stable/logs Dists are at http://www.haskell.org/ghc/dist/stable/dist Docs are at http://www.haskell.org/ghc/dist/stable/docs - Respository hashes: .|1183080b1b45dbcaa6af1154e2e668f924598772 ghc-tarballs|18e0c37f8023abf469af991e2fc2d3b024319c27 libraries/Cabal|e7e7ce1029707a67d26e6dc29de11141734898e3 libraries/Win32|e13098aecd0489399435dbf8643e1db2272e1e02 libraries/array|8dcd15240a9c2ba142fcbd31f597b51cf2f560bf libraries/base|56c8295c638a03676a9be8d34195e6be945ddc2c libraries/binary|2d31cea238d0d08885c457475fc354dbf2b88976 libraries/bytestring|65e40bdf5b3a2484b36221a71b054e4400361a5f libraries/containers|a9b7224068ae60f73baacd5f76d2c27624d90120 libraries/deepseq|4821349305c2a73efacdd58d2ba485b07eb84eda libraries/directory|ef17afe1bd44ae10ef413146e5ade8867cb05625 libraries/filepath|2d60d0dd5d8fc924420bb238902266929f4e2cfb libraries/ghc-prim|03144fbee792555bfd6de6184228ebaeffed2896 libraries/haskeline|f4040ab5831866c260e03fc8601edf7e1ed77049 libraries/haskell2010|d7e33da36585c250cd0bfb45b518c95e44197f3c libraries/haskell98|c5a0db5eb4ce6a3736bf4f5caac3ff465b3dbaf9 libraries/hoopl|293d339303097641e7f14a1c0365a3801a87918d libraries/hpc|c1b783dbbb0ab917208655c53a0af5c7538c2a0b libraries/integer-gmp|2d9eca147f5c8b6f390eca15e03b315f67f2df01 libraries/integer-simple|47737f6f16d891b743a3d02b0a016100fd3a36d1 libraries/old-locale|47542432234f6fc406a9abf5d3f94e43d9bd10f6 libraries/old-time|cf225c367e5490201a5b04b1b8cb322f6e230d46 libraries/pretty|0a22cc0b3a4f8db876c4019013a30bfd1c0dd9a2 libraries/process|0ab69a65edae8c1a34ecee3a97b3839c833985f2 libraries/template-haskell|db0b4de55926b0bc98717c92ba543bcf9b89d024 libraries/terminfo|579d2c324e69856ff8d1ea8b5036e30c920e1973 libraries/transformers|a59fb93860f84ccd44178dcbbb82cfea7e02cd07 libraries/unix|b08de9ba4b5b6d4dc8ee43302ef99072059b2c01 libraries/utf8-string|73ca1b9def3f350ad28e55fcba077e6be3b67e93 libraries/xhtml|fb9e0bbb69e15873682a9f25d39652099a3ccac1 nofib|890caa4077655494f83fa3b6670f6d99d8c58744 testsuite|c96a151e2e48092efe58bfb2ba11aad428480b27 utils/haddock|3d25ea2929a9a9bd0768339b8ac5fd1b7c4670ad utils/hsc2hs|67b8c663216690150b6f762e09b32ebbe6334ddd - All done! Nightly build finished successfully at Thu Dec 20 05:50:32 GMT 2012 - GHC Test summary - OVERALL SUMMARY for test run started at Wed Dec 19 23:16:43 GMT 2012 3402 total tests, which gave rise to 16613 test cases, of which 10 caused framework failures 3573 were skipped 12534 expected passes 367 had missing libraries 126 expected failures 0 unexpected passes 13 unexpected failures Unexpected failures: perf/haddock haddock.Cabal [stat too good] (normal) perf/haddock haddock.base [stat too good] (normal) safeHaskell/check/pkg01 ImpSafeOnly01 [exit code non-0] (normal) safeHaskell/check/pkg01 ImpSafeOnly02 [exit code non-0] (normal) safeHaskell/check/pkg01 ImpSafeOnly03 [stderr mismatch] (normal) safeHaskell/check/pkg01 ImpSafeOnly04 [exit code non-0] (normal) safeHaskell/check/pkg01 ImpSafeOnly05 [stderr mismatch] (normal) safeHaskell/check/pkg01 ImpSafeOnly06 [exit code non-0] (normal) safeHaskell/check/pkg01 ImpSafeOnly07 [stderr mismatch] (normal) safeHaskell/check/pkg01 ImpSafeOnly08 [stderr mismatch] (normal) safeHaskell/check/pkg01 ImpSafeOnly09 [stderr mismatch] (normal) safeHaskell/check/pkg01 ImpSafeOnly10 [exit code non-0] (normal) safeHaskell/check/pkg01 safePkg01 [bad exit code] (normal) Nightly run ended at Thu Dec 20
pgj (x86 FreeBSD HEAD), build 892, Failure
pgj (x86 FreeBSD HEAD), build 892 Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/pgj/892.html git clone| Success create mk/build.mk | Success get subrepos | Success repo versions| Success touching clean-check files | Success setting version date | Success booting | Success configuring | Success creating check-remove-before | Success compiling| Failure: Just (ExitFailure 2) Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/pgj/892.html echo 'executablename=/usr/home/ghc-builder/work/b [...] inplace/bin/runghc echo 'datadir=/usr/home/ghc-builder/work/builder/ [...] inplace/bin/runghc echo 'bindir=/usr/home/ghc-builder/work/builder/t [...] inplace/bin/runghc echo 'topdir=/usr/home/ghc-builder/work/builder/t [...] ' inplace/bin/runghc echo 'pgmgcc=/usr/bin/gcc' inplace/bin/runghc cat utils/runghc/runghc.wrapper inplace/bin/runghc chmod +x inplace/bin/runghc inplace/bin/mkdirhier utils/count_lines/dist//. inplace/lib/unlit utils/count_lines/count_lines.lprl utils/count_lines/dist/count_lines.prl rm -f utils/count_lines/dist/count_lines echo '#!/usr/bin/perl' utils/count_lines/dist/count_lines echo '$TARGETPLATFORM = i386-unknown-freebsd;' utils/count_lines/dist/count_lines echo '$TABLES_NEXT_TO_CODE = YES;' utils/count_lines/dist/count_lines cat utils/count_lines/dist/count_lines.prl [...] utils/count_lines/dist/count_lines cp utils/count_lines/dist/count_lines inplace/bin/count_lines chmod +x inplace/bin/count_lines inplace/bin/ghc-stage1 -static -H32m -O-hide-all-packages -i -iutils/compare_sizes/. -iutils/ [...] -osuf o -hcsuf hc -c utils/compare_sizes/./Main.hs -o utils/compare_sizes/dist-install/build/Main.o inplace/bin/mkdirhier utils/compare_sizes/dist-install/build/tmp//. inplace/bin/ghc-stage1 -o utils/compare_sizes/dist-install/build/tmp/compareSizes -static -H32m - [...] /dist-install/build -hisuf hi -osuf o -hcsuf hc utils/compare_sizes/dist-install/build/Main.o inplace/bin/ghc-stage2 -static -H32m -O-package-name old-time-1.1.0.1 -hide-all-packages -i -ilibraries/old-time/. -ilibraries/old-time/dist-install/build -ilibraries/old-time/dist-install/build/au [...] dist-install/build -stubdir libraries/old-time/dist-install/build -hisuf hi -osuf o -hcsuf hc -c libraries/old-time/dist-install/build/System/Time.hs -o libraries/old-time/dist-install/build/System/Time.o inplace/bin/mkdirhier libraries/old-time/dist-install/build/cbits//. inplace/bin/ghc-stage2 -optc-Ilibraries/old-time/include -optc-I'/usr/local/include' -optc-I'/usr/home/ghc-builder/work/builder/tempbuild/build/libraries/base/include' -optc-I'/usr/home/ghc-builder/work/builder/tempbuild/build/rts/dist/build' -optc-I'/usr/home/ghc-builder/work/builder/tempbuild/build/includes' -optc-I'/usr/home/ghc-builder/work/builder/tempbuild/build/includes/dist-derivedconstants/header' -static -H32m -O-package-name old-time-1.1.0.1 -hide-all-packages -i -ilibraries/old-time/. -ilibraries/old-time/dist-install/build -ilibraries/old-time/dist-install/build/autogen -Ilibraries/old-time/dist-install/build -Ilibraries/old-time/dist-install/build/autogen -Ilibraries/old-time/include -optP-include -optPlibraries/old-time/dist-install/build/autogen/cabal_macros.h -package base-4.7.0.0 -package old-locale-1.0.0.5 -XHaskell98 -XCPP -XForeignFunctionInterface -O2 -no-user-package-db -rtsopts -c libraries/old-time/cbits/timeUtils.c -o libraries/old-time/dist-install/build/cbits/timeUtils.o rm -f libraries/old-time/dist-install/build/libHSold-time-1.1.0.1.a libraries/old-time/dist-install/build/libHSold-time-1.1.0.1.a.contents echo libraries/old-time/dist-install/build/System/Time.o libraries/old-time/dist-install/build/cbits/timeUtils.o libraries/old-time/dist-install/build/libHSold-time-1.1.0.1.a.contents xargs /usr/bin/ar clqs libraries/old-time/dist-install/build/libHSold-time-1.1.0.1.a libraries/old-time/dist-install/build/libHSold-time-1.1.0.1.a.contents rm -f libraries/old-time/dist-install/build/libHSold-time-1.1.0.1.a.contents /usr/bin/ld -r -o libraries/old-time/dist-install/build/HSold-time-1.1.0.1.o libraries/old-time/dist-install/build/System/Time.o libraries/old-time/dist-install/build/cbits/timeUtils.o inplace/bin/ghc-stage2 -static -prof -H32m -O-package-name old-time-1.1.0.1 -hide-all-packages -i -ilibraries/old-time/. -ilibraries/old-time/dist-install/build -ilibraries/old-time/dist-install/build/autogen -Ilibraries/old-time/dist-install/build