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

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

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

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

pgj2 (amd64 FreeBSD HEAD), build 294, Success

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

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

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

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

pgj (x86 FreeBSD HEAD), build 296, Success

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

tn23 (x86 OSX HEAD), build 280, Success

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

patch applied (ghc): Optimise comparisons against min/maxBound (ticket #3744).

2011-03-09 Thread Ian Lynagh
Wed Oct 27 11:40:54 PDT 2010 Michal Terepeta * Optimise comparisons against min/maxBound (ticket #3744). This optimises away comparisons with minBound or maxBound that are always false or always true. M ./compiler/prelude/PrelRules.lhs -13 +61 View patch online: http://darcs.haskel

patch applied (ghc): Drop dead core that was kept alive by RULES in CorePrep (#4962)

2011-03-09 Thread Ian Lynagh
Sat Feb 19 03:47:26 PST 2011 Max Bolingbroke * Drop dead core that was kept alive by RULES in CorePrep (#4962) M ./compiler/basicTypes/IdInfo.lhs +1 M ./compiler/coreSyn/CorePrep.lhs -2 +68 View patch online: http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc;a=darcs_commitdiff;h=201

Re: Compacting GC interacting with new codegen strangely

2011-03-09 Thread Edward Z. Yang
OK, I looked more closely at my previous attempted solution, but I couldn't get it to work: regIdInfo :: Id -> LambdaFormInfo -> LocalReg -> FCode CgIdInfo regIdInfo id lf_info reg = do emit $ mkAssign (CmmLocal reg) (addDynTag (CmmReg (CmmLocal reg)) (lfDynTag lf_info)) retur

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

2011-03-09 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 Wed Mar 9 18:00:02 GMT 2011. checking out new source t

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

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

mbolingbroke (x86 OSX HEAD), build 80, Incomplete

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

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

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

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

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

patch applied (ghc): LLVM: Fix #4995, llvm mangler broken for large compiles

2011-03-09 Thread David Terei
Wed Mar 9 13:53:46 PST 2011 David Terei * LLVM: Fix #4995, llvm mangler broken for large compiles M ./compiler/llvmGen/LlvmMangler.hs -5 +8 View patch online: http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc;a=darcs_commitdiff;h=20110309215346-e1038-d155af9735ed4b2f1e024bff2691eb7ee81

sparky (Sparc Solaris HEAD), build 157, Failure

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

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

2011-03-09 Thread Adam Megacz
Hi Max, I have access to email right now but not to a machine with the code on it, so I can answer questions but can't fix bugs (yet): Max Bolingbroke writes: > 1. What is the %%a syntax in the dotproduct' function? It's cross-stage persistence, but I need to remove that. I included CSP out o

Re: patch applied (ghc): Improve the XCode version detection

2011-03-09 Thread Karel Gardas
Hello, this patch breaks build on Solaris. The error is caught by opensolaris builder here: http://darcs.haskell.org/ghcBuilder/builders/kgardas-opensolaris-x86-head/153.html concretely the error shows like: [...] checking for __mingw_vfprintf... no configure: creating ./config.status ./con

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

2011-03-09 Thread Max Bolingbroke
My installed GHC is looping when building your TcRnDriver, oddly. I'm going to wait for the HP release to (hopefully) get a GHC version that works properly so I can try out your code. However, I did notice that (coqPassCoreToCore == id). This doesn't seem right - perhaps you haven't updated the br

mbolingbroke (x86 OSX HEAD), build 79, Success

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

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

2011-03-09 Thread Max Bolingbroke
On 9 March 2011 00:10, Adam Megacz wrote: > I'll have only intermittent access to email the next 48 hours, but will reply > to any questions/comments/bug-reports Thursday evening. After reading the tutorial I do have some questions: 1. What is the %%a syntax in the dotproduct' function? I would