[nightly] 23-Oct-2008 build of HEAD on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com)

2008-10-23 Thread GHC Build Reports
Build description = HEAD on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com) 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 Thu Oct 23 18:02:05 BST 2008. checking out

[nightly] 23-Oct-2008 build of HEAD on x86_64-unknown-linux (cam-04-unx.europe.corp.microsoft.com)

2008-10-23 Thread GHC Build Reports
Build description = HEAD on x86_64-unknown-linux (cam-04-unx.europe.corp.microsoft.com) 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 Thu Oct 23 19:00:01 BST 2008. **

Re: type families & type-level recursion

2008-10-23 Thread Peter Gavin
Manuel M T Chakravarty wrote: Peter Gavin: Manuel M T Chakravarty wrote: Peter Gavin: > instance ( NaturalT n > , zero ~ (n :==: D0) > , zero ~ True ) > => TestIter n True where > testIter _ _ = "" I am wondering why you are writing (zero ~ (n :==: D0), zero ~ True) in

Re: type families & type-level recursion

2008-10-23 Thread Manuel M T Chakravarty
Peter Gavin: Manuel M T Chakravarty wrote: Peter Gavin: > instance ( NaturalT n > , zero ~ (n :==: D0) > , zero ~ True ) > => TestIter n True where > testIter _ _ = "" I am wondering why you are writing (zero ~ (n :==: D0), zero ~ True) instead os just (True ~ (n :==:

Re: Dynamic Library Support for x86_64/Linux

2008-10-23 Thread Clemens Fruhwirth
At Thu, 23 Oct 2008 17:53:51 +0100, Ian Lynagh wrote: > > On Fri, Oct 17, 2008 at 07:01:41PM +0200, Clemens Fruhwirth wrote: > > > > The situation at the moment is > > > > "./configure --enable-shared" gives you stage2 compiler that makes use > > of the ghc package in form of a shared lib. So it

Re: Dynamic Library Support for x86_64/Linux

2008-10-23 Thread Ian Lynagh
On Fri, Oct 17, 2008 at 07:01:41PM +0200, Clemens Fruhwirth wrote: > > The situation at the moment is > > "./configure --enable-shared" gives you stage2 compiler that makes use > of the ghc package in form of a shared lib. So it replaces the static > compiler. With previous incarnations of the bu

patch applied (ghc-6.10/ghc): Update library version numbers in the release notes

2008-10-23 Thread Ian Lynagh
Thu Oct 23 07:40:18 PDT 2008 Ian Lynagh <[EMAIL PROTECTED]> * Update library version numbers in the release notes M ./docs/users_guide/6.10.1-notes.xml -2 +2 View patch online: http://darcs.haskell.org/ghc-6.10/ghc/_darcs/patches/20081023144018-3fd76-6a2d43d995422db97c3f5deefbdd585c12357a5

Re: type families & type-level recursion

2008-10-23 Thread Peter Gavin
Peter Gavin wrote: Any ideas why I should get this? I'm using ghc-6.10.0.20081007 (but I'm currently building the latest HEAD, which should be done shortly). Ok, the ghc build finished, and I tested my code again against the new build, and it compiles & works fine. I'll post again if I have

patch applied (ghc-6.10/ghc): Fix Trac #2714 (a minor wibble)

2008-10-23 Thread Ian Lynagh
Wed Oct 22 07:51:38 PDT 2008 [EMAIL PROTECTED] * Fix Trac #2714 (a minor wibble) In boxy_match (which is a pure function used by preSubType) we can encounter TyVars not just TcTyVars; this patch takes account of that. M ./compiler/typecheck/TcUnify.lhs -1 +4 View patch online: ht

Re: type families & type-level recursion

2008-10-23 Thread Peter Gavin
Manuel M T Chakravarty wrote: Peter Gavin: > instance ( NaturalT n > , zero ~ (n :==: D0) > , zero ~ True ) > => TestIter n True where > testIter _ _ = "" I am wondering why you are writing (zero ~ (n :==: D0), zero ~ True) instead os just (True ~ (n :==: D0)) - after

Re: patch applied (ghc): Re-export Located(..) and related functions

2008-10-23 Thread Ian Lynagh
On Mon, Oct 20, 2008 at 03:06:36PM +0100, Simon Marlow wrote: > Simon Marlow wrote: > >Mon Oct 20 03:24:22 PDT 2008 Simon Marlow <[EMAIL PROTECTED]> > > * Re-export Located(..) and related functions > > So that clients don't need to import SrcLoc > > > >M ./compiler/main/GHC.hs +14 > > This

Re: patch applied (ghc): Refactoring and reorganisation of the scheduler

2008-10-23 Thread Ian Lynagh
Hi Simon, On Thu, Oct 23, 2008 at 01:58:07AM -0700, Simon Marlow wrote: > > One new statistic is added to the +RTS -s output: > > SPARKS: 1430 (2 converted, 1427 pruned) Can you update the users_guide/runtime_control.xml to explain this please? (search for "Generation 0" to find the right

patch applied (nofib): allow an external GHC to be used with nofib

2008-10-23 Thread Simon Marlow
Thu Oct 23 04:42:55 PDT 2008 Simon Marlow <[EMAIL PROTECTED]> * allow an external GHC to be used with nofib M ./mk/opts.mk +4 View patch online: http://darcs.haskell.org/nofib/_darcs/patches/20081023114255-12142-99355008f9568f4292c9ea98fb5a9a7e79204d73.gz _

patch applied (nofib): fix output

2008-10-23 Thread Simon Marlow
Thu Oct 23 04:42:38 PDT 2008 Simon Marlow <[EMAIL PROTECTED]> * fix output M ./parallel/sumeuler/sumeuler.stdout -1 +1 View patch online: http://darcs.haskell.org/nofib/_darcs/patches/20081023114238-12142-a2e83c904a2eab5bb479ac690e2f5bfe50dac752.gz

patch applied (nofib): comments

2008-10-23 Thread Simon Marlow
Thu Oct 23 04:42:06 PDT 2008 Simon Marlow <[EMAIL PROTECTED]> * comments M ./parallel/Makefile +5 View patch online: http://darcs.haskell.org/nofib/_darcs/patches/20081023114206-12142-a5dc43890541d8dfd867a33eeb0c0fac677488fe.gz ___ Cvs-ghc maili

patch applied (nofib): explicitly parenthesise `par` and `pseq`

2008-10-23 Thread Simon Marlow
Thu Oct 23 04:42:02 PDT 2008 Simon Marlow <[EMAIL PROTECTED]> * explicitly parenthesise `par` and `pseq` In some GHC versions these operators have the wrong precedence M ./parallel/parfib/Main.hs -1 +1 M ./parallel/partree/Tree.hs -3 +6 M ./parallel/prsa/Rsa.hs -1 +1 View patch o

patch applied (nofib): move old benchmarks into a subdir

2008-10-23 Thread Simon Marlow
Tue Oct 21 05:37:43 PDT 2008 Simon Marlow <[EMAIL PROTECTED]> * move old benchmarks into a subdir ./parallel/NESL -> ./parallel/OLD/NESL ./parallel/bom -> ./parallel/OLD/bom ./parallel/coins -> ./parallel/OLD/coins ./parallel/minimax -> ./parallel/OLD/minimax ./parallel

patch applied (nofib): get a cut-down parallel benchmark suite going

2008-10-23 Thread Simon Marlow
Tue Oct 21 05:34:12 PDT 2008 Simon Marlow <[EMAIL PROTECTED]> * get a cut-down parallel benchmark suite going M ./mk/opts.mk -1 +1 M ./parallel/Makefile -5 +10 A ./parallel/matmult/ A ./parallel/matmult/ListAux.hs A ./parallel/matmult/Makefile A ./parallel/matmult/MatMul

RE: Validation failures under Windows

2008-10-23 Thread Mitchell, Neil
> FWIW, I had some validate failures under windows dependening > on which shell I used. I have to check again which one it > was, though. For information, my shell is: [EMAIL PROTECTED] /cygdrive/c/ghc-build/ghc $ help GNU bash, version 3.2.39(20)-release (i686-pc-cygwin) And I now am down

patch applied (testsuite): skip conc069/conc070(ghci) if we have no threaded RTS

2008-10-23 Thread Simon Marlow
Thu Oct 23 01:12:50 PDT 2008 Simon Marlow <[EMAIL PROTECTED]> * skip conc069/conc070(ghci) if we have no threaded RTS M ./tests/ghc-regress/concurrent/should_run/all.T -2 +8 View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/20081023081250-12142-8fd7182304677cde91ae97f4df

patch applied (ghc): fix a warning

2008-10-23 Thread Simon Marlow
Thu Oct 23 01:22:13 PDT 2008 Simon Marlow <[EMAIL PROTECTED]> * fix a warning M ./rts/Capability.c -1 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20081023082213-12142-6a4d2d88e1ca0500dcd1d528c914fe048b9648d3.gz ___ Cvs-ghc mai

patch applied (ghc): traverse the spark pools only once during GC rather than twice

2008-10-23 Thread Simon Marlow
Wed Oct 22 04:52:33 PDT 2008 Simon Marlow <[EMAIL PROTECTED]> * traverse the spark pools only once during GC rather than twice M ./rts/Capability.c -17 +8 M ./rts/Capability.h -1 +2 M ./rts/Sparks.c -20 +29 M ./rts/Sparks.h -1 +1 M ./rts/sm/GC.c -7 +4 M ./rts/sm/GC.h -2

patch applied (ghc): Refactoring and reorganisation of the scheduler

2008-10-23 Thread Simon Marlow
Wed Oct 22 02:27:44 PDT 2008 Simon Marlow <[EMAIL PROTECTED]> * Refactoring and reorganisation of the scheduler Change the way we look for work in the scheduler. Previously, checking to see whether there was anything to do was a non-side-effecting operation, but this has changed now th

patch applied (ghc): Work stealing for sparks

2008-10-23 Thread Simon Marlow
Mon Sep 15 06:28:46 PDT 2008 [EMAIL PROTECTED] * Work stealing for sparks Spark stealing support for PARALLEL_HASKELL and THREADED_RTS versions of the RTS. Spark pools are per capability, separately allocated and held in the Capability structure. The implementation uses D

patch applied (ghc): include an elapsed time table

2008-10-23 Thread Simon Marlow
Thu Oct 23 01:06:48 PDT 2008 Simon Marlow <[EMAIL PROTECTED]> * include an elapsed time table M ./utils/nofib-analyse/Main.hs -3 +5 M ./utils/nofib-analyse/Slurp.hs -13 +18 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20081023080648-12142-4aea8995b455a028307fb88d7ff65

patch applied (ghc): generate a valid summary for older GHC versions too

2008-10-23 Thread Simon Marlow
Thu Oct 23 01:06:29 PDT 2008 Simon Marlow <[EMAIL PROTECTED]> * generate a valid summary for older GHC versions too M ./utils/runstdtest/runstdtest.prl +4 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20081023080629-12142-ca00ac92d9ea611f0a1c5131f298dd48e425d791.gz __

Daily report for stable

2008-10-23 Thread BuildBot Collator
Build results: x86 Linux stable:lost x86 Windows stable: fail (failed stage1) x86 Windows stable fast: pass pass pass pass pass pass x86-64 Linux stable: lost Old unexpected test passes: ClassEqContext 2 gabor stable ClassEqContext2 2 gabor stable ClassEqContext3

Daily report for head

2008-10-23 Thread BuildBot Collator
Build results: x86-64 Linux head: fail (failed bindisttest failed slave lost) x86 Windows head:fail (failed darcs) x86 Windows head fast: pass pass pass pass pass pass gabor head: pass kgardas head:fail (failed stage1) malcolm head:pass tnaur x86