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

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

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

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

pgj2 (amd64 FreeBSD HEAD), build 298, Success

2011-03-13 Thread Builder
pgj2 (amd64 FreeBSD HEAD), build 298 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj2/298.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 258, Success

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

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

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

pgj (x86 FreeBSD HEAD), build 300, Success

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

tn23 (x86 OSX HEAD), build 284, Success

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

Re: DPH and the new code generator

2011-03-13 Thread Edward Z. Yang
Excerpts from Ben Lippmeier's message of Sun Mar 13 20:09:22 -0400 2011: > That "thread blocked indefinitely" thing happens when the DPH thread gang > tries to start up a new computation while it's already doing something. > "invalid slice" hints at either a bug in the DPH library or a problem in t

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

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

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

2011-03-13 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 Sun Mar 13 18:10:02 GMT 2011. checking out new s

Re: DPH and the new code generator

2011-03-13 Thread Ben Lippmeier
On 14/03/2011, at 7:22 AM, Edward Z. Yang wrote: > I'm looking at the current failure of DPH with the new code generator, > which is a bit different from what I've dealt with before. The bug appears > to be in the compiled libraries code, and I can tickle it with the > following minimized exampl

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

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

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

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

DPH and the new code generator

2011-03-13 Thread Edward Z. Yang
I'm looking at the current failure of DPH with the new code generator, which is a bit different from what I've dealt with before. The bug appears to be in the compiled libraries code, and I can tickle it with the following minimized example: {-# LANGUAGE ParallelArrays #-} {-# OPTIONS -fv

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

2011-03-13 Thread Adam Megacz
Max Bolingbroke writes: > $ ~/Programming/Checkouts/ghc-garrows/inplace/bin/ghc-stage2 > -ddump-types GArrows-Pow.hs -dcoqpass -fforce-recomp ^ > What am I doing wrong? You're still using -dcoqpass, which I asked you not to use on tutorial.hs: http://arti

patch applied (ghc): Stop explicitly asking for 10.5 support on OS X; fixes #5011

2011-03-13 Thread Ian Lynagh
Sun Mar 13 07:03:22 PDT 2011 Ian Lynagh * Stop explicitly asking for 10.5 support on OS X; fixes #5011 XCode 4 doesn't include the 10.5 SDK, so if we explicitly ask for it then linking fails. M ./aclocal.m4 -10 View patch online: http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc;a=d

patch applied (ghc): Write the XCode version test differently

2011-03-13 Thread Ian Lynagh
Sun Mar 13 06:49:13 PDT 2011 Ian Lynagh * Write the XCode version test differently Using && causes problems on opensolaris, for an unknown reason. http://www.haskell.org/pipermail/cvs-ghc/2011-March/060314.html M ./configure.ac -3 +8 View patch online: http://darcs.haskell.org/cgi-bin

Re: git mirrors out of sync

2011-03-13 Thread Ian Lynagh
On Sun, Mar 13, 2011 at 07:22:30AM +, Adam Megacz wrote: > > It seems that the git mirror of the base package is a few months out of > date: We'll be switching to git on Tuesday. We'll make up-to-date git conversions at that point. Thanks Ian __

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

2011-03-13 Thread Max Bolingbroke
On 12 March 2011 21:53, Adam Megacz wrote: > Did HelloWorld work?  See the commands here I'm not sure what you mean by HelloWorld - it doesn't seem to be mentioned on that page. However, I have just tried out "pow" and had exactly the same problem. The pow example on your page doesn't work as st

mbolingbroke (x86 OSX HEAD), build 82, Success

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