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

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

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

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

pgj2 (amd64 FreeBSD HEAD), build 299, Success

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

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

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

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

tn23 (x86 OSX HEAD), build 285, Success

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

pgj (x86 FreeBSD HEAD), build 301, Success

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

mbolingbroke (x86 OSX HEAD), build 84, Success

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

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

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

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

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

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

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

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

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

Re: Compacting GC interacting with new codegen strangely

2011-03-14 Thread Edward Z. Yang
Excerpts from Simon Marlow's message of Mon Mar 14 10:06:28 -0400 2011: > I'm afraid I'm not familiar enough with the code (yet) to answer this > one, sorry. Can you turn on enough logging to find out what's going on? I figured it out and submitted a patch! Cheers, Edward _

Re: Compacting GC interacting with new codegen strangely

2011-03-14 Thread Simon Marlow
On 11/03/2011 02:57, Edward Z. Yang wrote: It looks like this change causes the assignment to be emitted before the initial assignment, which is all quite puzzling to me. I'm afraid I'm not familiar enough with the code (yet) to answer this one, sorry. Can you turn on enough logging to find o

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

2011-03-14 Thread Adam Megacz
Adam Megacz writes: > you've convinced me that there's no reason to have -XRebindableSyntax > active on depth=0 terms. So I'm going to try to find a way to have > -XModalTypes desugar depth>0 terms as if -XRebindableSyntax were > enabled -- that way the flag won't be necessary and won't mess wit

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

2011-03-14 Thread Adam Megacz
Max Bolingbroke writes: > It does work on HelloWorld.hs, but that program is not very > interesting for me as it doesn't make use of any heterogeneous > metaprogramming. Then please try tutorial.hs using **no flags** on the command line (the comment at the top will turn on -XModalTypes). That f

Re: modal types, generalized arrows, and core passes written in coq (and gigantic LaTeX files!)

2011-03-14 Thread Adam Megacz
Adam Megacz writes: > Also, you appear to be using -dcoqpass (right?) which you're not > supposed to use with the tutorial. That flag builds proof-trees as > LaTeX code and unless you've recompiled it with expanded limits, LaTeX > will surely choke on anything as large asthe tutorial (it can jus

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

2011-03-14 Thread Max Bolingbroke
On 14 March 2011 09:13, Max Bolingbroke wrote: > On 13 March 2011 18:59, Adam Megacz wrote: >> You're still using -dcoqpass, which I asked you not to use on tutorial.hs: >> >>  http://article.gmane.org/gmane.comp.lang.haskell.cvs.ghc/45482 > > I'm not using it on Tutorial.hs, I'm using it on my o

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

2011-03-14 Thread Max Bolingbroke
On 13 March 2011 18:59, Adam Megacz wrote: > You're still using -dcoqpass, which I asked you not to use on tutorial.hs: > >  http://article.gmane.org/gmane.comp.lang.haskell.cvs.ghc/45482 I'm not using it on Tutorial.hs, I'm using it on my own GArrows-Pow.hs, which I showed the contents of. Did y

mbolingbroke (x86 OSX HEAD), build 83, Success

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

Re: DPH and the new code generator

2011-03-14 Thread Ben Lippmeier
On 14/03/2011, at 11:56 , Edward Z. Yang wrote: > 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" hin