pgj2 (amd64 FreeBSD HEAD), build 296, Success

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

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

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

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

pgj (x86 FreeBSD HEAD), build 298, Success

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

tn23 (x86 OSX HEAD), build 282, Success

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

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

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

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

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

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

2011-03-11 Thread Builder
sparky-unreg (Sparc Solaris unreg HEAD), build 56 Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/sparky-unreg/56.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 156, Failure

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

sparky (Sparc Solaris HEAD), build 159, Failure

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

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

2011-03-11 Thread Karel Gardas
On 03/11/11 04:25 PM, Ian Lynagh wrote: On Fri, Mar 11, 2011 at 03:06:49PM +0100, Karel Gardas wrote: no, this does not work. Anyway, the problem is caused or looks like to be caused by using double test. This: elif test "$XCodeVersion1" -eq 3 -a "$XCodeVersion2" -lt 2 for example wo

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

2011-03-11 Thread Ian Lynagh
On Fri, Mar 11, 2011 at 03:06:49PM +0100, Karel Gardas wrote: > > no, this does not work. Anyway, the problem is caused or looks like > to be caused by using double test. This: > > elif test "$XCodeVersion1" -eq 3 -a "$XCodeVersion2" -lt 2 > > for example works, but I'm not sure at all t

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

2011-03-11 Thread Karel Gardas
Hi Ian, no, this does not work. Anyway, the problem is caused or looks like to be caused by using double test. This: elif test "$XCodeVersion1" -eq 3 -a "$XCodeVersion2" -lt 2 for example works, but I'm not sure at all the semantic of the test is not changed. Does this do the job fo

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

2011-03-11 Thread Ian Lynagh
Hi Karel, On Thu, Mar 10, 2011 at 07:51:45PM +0100, Karel Gardas wrote: > > this patch attempts to fix configure breakage on Solaris. I hope the > code still runs well on apple/xcode. > > ] hunk ./configure.ac 443 > if test "$XCodeVersion1" -lt 3 > then > SplitObj

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

2011-03-11 Thread Max Bolingbroke
On 10 March 2011 20:50, Adam Megacz wrote: > > Max Bolingbroke writes: >> My installed GHC is looping when building your TcRnDriver, oddly. > > Yikes, that is bad news.  You mean that your pre-installed GHC, without > any of my modifications, is going into a loop?  Not good. > > Even though I sus