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

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

git mirrors out of sync

2011-03-12 Thread Adam Megacz
It seems that the git mirror of the base package is a few months out of date: http://darcs.haskell.org/ghc-git/packages/base.git/ Sadly this means I can't build the compiler: the representation of some of the low-level threading stuff has changed recently. Could somebody please refresh the gi

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

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

pgj2 (amd64 FreeBSD HEAD), build 297, Success

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

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

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

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

pgj (x86 FreeBSD HEAD), build 299, Success

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

tn23 (x86 OSX HEAD), build 283, Success

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

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

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

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

2011-03-12 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 Sat Mar 12 18:10:01 GMT 2011. checking out new s

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

2011-03-12 Thread Adam Megacz
Max Bolingbroke writes: > I would suppose that there is some trivial way to run > sufficiently-polymorphic modally-typed stuff as simple Haskell by > taking g = (->), which would be good to show. (Speaking of which, > wouldn't it make sense to have that GArrow instance in > GHC.HetMet.GArrow?) O

kgardas-opensolaris-x86-head (x86 Solaris HEAD), build 157, Failure

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

patch applied (ghc): Consistently use etc rather than ; fixes #5009

2011-03-12 Thread Ian Lynagh
Fri Mar 11 13:29:58 PST 2011 Ian Lynagh * Consistently use etc rather than ; fixes #5009 It might be nicer to actually go the other way, and make everything use instead, but this fixes the incorrect numbering for now, and we can look into whether has any disadvantages later. M .

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

2011-03-12 Thread Adam Megacz
Max Bolingbroke writes: > Coq Pass Output ghc-stage2: > panic! (the 'impossible' happened) > (GHC version 7.1.20110308 for i386-apple-darwin): > unable to convert HaskWeak to HaskStrong due to:\n type mismatch in > HaskWeak ELet: t and GHC.Types.B

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

2011-03-12 Thread Adam Megacz
Max Bolingbroke writes: > It is possible that it just takes an extremely long time to build - That is certainly the case. You need to let it run for at least four or five minutes on a fast machine. Also, don't try to use anything above -O0. Here's why: > My initial diagnosis was wrong (I wa

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

2011-03-12 Thread Builder
sparky-unreg (Sparc Solaris unreg HEAD), build 57 Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/sparky-unreg/57.html darcs checkout | Success create mk/build.mk | Success get subrepos | Success repo versions | Failure: Just (ExitFailure 29) Build failed Detail

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

2011-03-12 Thread Max Bolingbroke
Hi Adam, On 11 March 2011 11:18, Max Bolingbroke wrote: > Compilation of CoqPass did eventually terminate after ~2 hours. Now > I've got to do it all again with the stage-1 compiler :-) I tried out your tutorial but got the following error message: """ Coq Pass Output =

mbolingbroke (x86 OSX HEAD), build 81, Success

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

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

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

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

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