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

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

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

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

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

2011-03-07 Thread Adam Megacz
> If you're itching to actually try compiling some programs, I suggest > waiting until Monday; there are still a bunch of quirks to be ironed out. Okay, things are in a far more respectable state now and should work quite smoothly. As with any new language feature, the easiest way to understand

pgj2 (amd64 FreeBSD HEAD), build 292, Success

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

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

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

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

pgj (x86 FreeBSD HEAD), build 294, Success

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

tn23 (x86 OSX HEAD), build 278, Failure

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

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

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

mbolingbroke (x86 OSX HEAD), build 78, Success

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

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

2011-03-07 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 7 18:10:02 GMT 2011. checking out new so

Re: darcs patch: Impredicative polymorphism no longer deprecated.

2011-03-07 Thread Ian Lynagh
On Sun, Mar 06, 2011 at 04:59:59PM -0500, Edward Z. Yang wrote: > 1 patch for repository http://darcs.haskell.org/ghc: > > Sun Mar 6 21:59:16 GMT 2011 Edward Z. Yang > * Impredicative polymorphism no longer deprecated. Applied, thanks! Thanks Ian _

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

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

patch applied (ghc): Improve the XCode version detection

2011-03-07 Thread Ian Lynagh
Mon Mar 7 14:58:23 PST 2011 Ian Lynagh * Improve the XCode version detection Amongst other improvements, we now handle 3-component versions (like "3.1.4") correctly. M ./configure.ac -11 +18 View patch online: http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc;a=darcs_commitdiff;h=2

patch applied (ghc): Impredicative polymorphism no longer deprecated.

2011-03-07 Thread Ian Lynagh
Sun Mar 6 13:59:16 PST 2011 Edward Z. Yang * Impredicative polymorphism no longer deprecated. M ./docs/users_guide/glasgow_exts.xml -3 View patch online: http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc;a=darcs_commitdiff;h=20110306215916-6a393-4919d8d561fef49fa5c7877cae7c554ee19ca33d

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

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

sparky (Sparc Solaris HEAD), build 155, Failure

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

[nightly] DPH Performance Test Succeeded

2011-03-07 Thread DPH Buildbot
Full logs at http://log.ouroborus.net/limitingfactor/dph Environment Platform host: limitingfactor.cse.unsw.EDU.AU arch: i386 processor: i386 system:Darwin 10.6.0 Versions GHC The Glorious Glasgow Haskell Compilation System, version 7.0.1 GCC i686-apple-da

tycon saturation and type equality (Type.tcEqType)

2011-03-07 Thread Adam Megacz
Type constructor applications need not be saturated. Therefore, both of these are legitimate values of type Type: AppTy (TyConApp []) X TyConApp [X] However, it seems like none of GHC's type-comparison functions (tcEqType, coreEqType, various permutations of coreView/expandTypeSynonyms et

Re: My "membership has been disabled" repeatedly

2011-03-07 Thread Malcolm Wallace
On 7 Mar 2011, at 09:35, Sean Leather wrote: I have been getting the following message from cvs-ghc-ow...@haskell.org repeatedly since December: "Your membership in the mailing list Cvs- ghc has been disabled due to excessive bounces."Lately, it's been every four days. I then have to re-ena

My "membership has been disabled" repeatedly

2011-03-07 Thread Sean Leather
I have been getting the following message from cvs-ghc-owner@haskell.orgrepeatedly since December: "Your membership in the mailing list Cvs-ghc has been disabled due to excessive bounces."Lately, it's been every four days. I then have to re-enable it every time. Not a difficult thing, but the repet