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

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

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

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

RE: modal types, generalized arrows, and core passes written in coq

2011-03-03 Thread Simon Peyton-Jones
Adam Wow. My brain exploded when I read about what you've done. I don't understand it at all, but it sounds impressive. Do show it to me when you have a chance. Simon | -Original Message- | From: cvs-ghc-boun...@haskell.org [mailto:cvs-ghc-boun...@haskell.org] On Behalf | Of Adam

pgj2 (amd64 FreeBSD HEAD), build 288, Success

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

simonmar-win32-head (x86 Windows HEAD), build 248, Success

2011-03-03 Thread Builder
simonmar-win32-head (x86 Windows HEAD), build 248 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/simonmar-win32-head/248.html darcs checkout| Success create mk/build.mk| Success get subrepos | Success repo versions | Success set

simonmar-win32-stable (x86 Windows STABLE), build 183, Success

2011-03-03 Thread Builder
simonmar-win32-stable (x86 Windows STABLE), build 183 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/simonmar-win32-stable/183.html darcs checkout| Success create mk/build.mk| Success get subrepos | Success repo versions | Succe

sparky (Sparc Solaris HEAD), build 151, Failure

2011-03-03 Thread Builder
sparky (Sparc Solaris HEAD), build 151 Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/sparky/151.html darcs checkout| Success create mk/build.mk| Success get subrepos | Success repo versions | Success setting version date | Suc

tn23 (x86 OSX HEAD), build 274, Failure

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

pgj (x86 FreeBSD HEAD), build 290, Success

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

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

2011-03-03 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 Thu Mar 3 18:00:01 GMT 2011. checking out new source t

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

2011-03-03 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 Thu Mar 3 18:10:01 GMT 2011. checking out new so

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

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

sparky-unreg (Sparc Solaris unreg HEAD), build 48, Failure

2011-03-03 Thread Builder
sparky-unreg (Sparc Solaris unreg HEAD), build 48 Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/sparky-unreg/48.html darcs checkout | Success create mk/build.mk | Success get subrepos | Success repo versions| Success setting version date | Success boot

patch applied (ghc-7.0/testsuite): TAG GHC 7.0.2 release

2011-03-03 Thread Ian Lynagh
Thu Mar 3 07:02:44 PST 2011 Ian Lynagh tagged GHC 7.0.2 release View patch online: http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc-7.0/testsuite;a=darcs_commitdiff;h=20110303150244-3fd76-e75223885599a4f31d078b545fbaa8061c8d9396.gz ___ Cvs-ghc

patch applied (ghc-7.0/ghc): TAG GHC 7.0.2 release

2011-03-03 Thread Ian Lynagh
Thu Mar 3 07:02:35 PST 2011 Ian Lynagh tagged GHC 7.0.2 release View patch online: http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc-7.0/ghc;a=darcs_commitdiff;h=20110303150235-3fd76-533c99d2788f072179f1670729227aa731296d51.gz ___ Cvs-ghc mailin

patch applied (ghc): Make -fno-enable-rewrite-rules work properly

2011-03-03 Thread Simon Peyton Jones
Wed Mar 2 03:43:17 PST 2011 simo...@microsoft.com * Make -fno-enable-rewrite-rules work properly I'd failed to propagate the Opt_EnableRewriteRules flag properly, which meant that -fno-enable-rewrite-rules didn't disable all rewrites. This patch fixes it. M ./compiler/simplCore/C

patch applied (ghc): Comments only

2011-03-03 Thread Simon Peyton Jones
Wed Mar 2 03:30:41 PST 2011 simo...@microsoft.com * Comments only M ./compiler/types/TyCon.lhs -5 +18 View patch online: http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc;a=darcs_commitdiff;h=20110302113041-1287e-228f38d1558ec8a24fbbdaa3356efd75fc2733d1.gz _

Re: Initial capability sets patch

2011-03-03 Thread Simon Marlow
On 03/03/2011 12:02, Duncan Coutts wrote: Attached is Thu Mar 3 11:30:52 GMT 2011 Duncan Coutts * Mark the event number ranges reserved by eden And add a few other explanitory comments. Thu Mar 3 11:33:04 GMT 2011 Duncan Coutts * Add new capability set concept to the event/trace sy