pgj-freebsd-amd64-stable (amd64 FreeBSD STABLE), build 153, Success

2011-02-14 Thread Builder
pgj-freebsd-amd64-stable (amd64 FreeBSD STABLE), build 153 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj-freebsd-amd64-stable/153.html darcs checkout| Success create mk/build.mk| Success get subrepos | Success repo versions

[nightly] 14-Feb-2011 build of HEAD on i386-unknown-linux (cam-02-unx)

2011-02-14 Thread GHC Build Reports
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 Mon Feb 14 18:00:01 GMT 2011. checking out new source tree

pgj-freebsd-i386-stable (x86 FreeBSD STABLE), build 136, Success

2011-02-14 Thread Builder
pgj-freebsd-i386-stable (x86 FreeBSD STABLE), build 136 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj-freebsd-i386-stable/136.html darcs checkout| Success create mk/build.mk| Success get subrepos | Success repo versions | S

[nightly] 14-Feb-2011 build of STABLE on i386-unknown-linux (cam-02-unx)

2011-02-14 Thread GHC Build Reports
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 Mon Feb 14 18:10:01 GMT 2011. checking out new source tree

pgj2 (amd64 FreeBSD HEAD), build 271, Success

2011-02-14 Thread Builder
pgj2 (amd64 FreeBSD HEAD), build 271 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj2/271.html darcs checkout| Success create mk/build.mk| Success get subrepos | Success repo versions | Success setting version date | Succ

pgj (x86 FreeBSD HEAD), build 273, Success

2011-02-14 Thread Builder
pgj (x86 FreeBSD HEAD), build 273 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj/273.html darcs checkout| Success create mk/build.mk| Success get subrepos | Success repo versions | Success setting version date | Success

[nightly] 14-Feb-2011 build of HEAD on x86_64-unknown-linux (cam-04-unx)

2011-02-14 Thread GHC Build Reports
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 Mon Feb 14 18:00:01 GMT 2011. checking out new source

[nightly] 14-Feb-2011 build of STABLE on x86_64-unknown-linux (cam-04-unx)

2011-02-14 Thread GHC Build Reports
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 Mon Feb 14 18:10:01 GMT 2011. checking out new s

kgardas-opensolaris-x86-head (x86 Solaris HEAD), build 131, Success

2011-02-14 Thread Builder
kgardas-opensolaris-x86-head (x86 Solaris HEAD), build 131 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/kgardas-opensolaris-x86-head/131.html darcs checkout| Success create mk/build.mk| Success get subrepos | Success repo versions

tn23 (x86 OSX HEAD), build 257, Success

2011-02-14 Thread Builder
tn23 (x86 OSX HEAD), build 257 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/tn23/257.html darcs checkout| Success create mk/build.mk| Success get subrepos | Success repo versions | Success setting version date | Success bo

RE: is shadowing allowed in CoreSyn?

2011-02-14 Thread Simon Peyton-Jones
| http://www.cs.berkeley.edu/~megacz/garrows/ghc.-ddump-proofs.pdf | | Hopefully this will soon lead to something more useful than gigantic, | illegible proof-tree printouts. :) Well done! | One last clarification: | | Simon Peyton-Jones writes: | > | If it is okay, I assume it crea

patch applied (ghc): pruneSparkQueue: check for tagged pointers

2011-02-14 Thread Simon Marlow
Mon Feb 14 04:38:58 PST 2011 Simon Marlow * pruneSparkQueue: check for tagged pointers This was a bug in 6.12.3. I think the problem no longer occurs due to the way sparks are treated as weak pointers, but it doesn't hurt to test for tagged pointers anyway: better to do the test than hav

Re: Generic deriving: new default methods

2011-02-14 Thread José Pedro Magalhães
Hi Simon, 2011/1/13 Simon Peyton-Jones > > > Just an implementation note. There is a lot of machinery already in place > to help you here. Look at the DefMeth type in Class.lhs. It records for > each kind of method what the default code is. All you need do is add an > extra constructor Pedro

Re: is shadowing allowed in CoreSyn?

2011-02-14 Thread Adam Megacz
Thank you (and Dimitrios) once again for so patiently answering my System FC (and CoreSyn) questions! http://www.cs.berkeley.edu/~megacz/garrows/ghc.-ddump-proofs.pdf Hopefully this will soon lead to something more useful than gigantic, illegible proof-tree printouts. :) One last clarificatio

patch applied (ghc): Fix Trac #4953: local let binders can have IdInfo with free names

2011-02-14 Thread Simon Peyton Jones
Mon Feb 14 06:03:34 PST 2011 simo...@microsoft.com * Fix Trac #4953: local let binders can have IdInfo with free names Local let binders in IfaceExpr never used to have unfoldings, but lately they can (becuase they can have an INLINE pragma). We must take account of the variables mentio

patch applied (ghc): Comments only

2011-02-14 Thread Simon Peyton Jones
Mon Feb 14 01:07:03 PST 2011 simo...@microsoft.com * Comments only M ./compiler/typecheck/TcSimplify.lhs -4 +4 View patch online: http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc;a=darcs_commitdiff;h=20110214090703-1287e-ba6c60ac7d77796cea2a699c5cda8014ba791cc7.gz _