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

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

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

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

pgj2 (amd64 FreeBSD HEAD), build 293, Success

pgj2 (amd64 FreeBSD HEAD), build 293 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj2/293.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 253, Success

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

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

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

sparky (Sparc Solaris HEAD), build 156, Failure

sparky (Sparc Solaris HEAD), build 156 Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/sparky/156.html darcs checkout| Success create mk/build.mk| Success get subrepos | Success repo versions | Success setting version date | Suc

pgj (x86 FreeBSD HEAD), build 295, Success

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

tn23 (x86 OSX HEAD), build 279, Success

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

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

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

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

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 Tue Mar 8 18:10:01 GMT 2011. checking out new so

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

On Mar 8, 2011, at 12:25 AM, Max Bolingbroke wrote: > Your tutorial is a 404 for me. Yikes! So sorry. Should be fixed now. When compiled, you should get the output shown below (if not, make sure you have the latest copy of the git repo and base package). I'll have only intermittent access t

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

sparky-unreg (Sparc Solaris unreg HEAD), build 53 Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/sparky-unreg/53.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 153, Failure

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

RE: tycon saturation and type equality (Type.tcEqType)

Yes; see the invariant on AppTy in TypeRep.lhs. The first argument of an AppTy is never a TyConApp. We are always careful to call Type.mkAppTy to maintain this invariant. The equality check doesn't need to do the normalisation; it's done on construction. Simon | -Original Message-

[nightly] DPH Performance Test Succeeded

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

Re: My "membership has been disabled" repeatedly

On 07/03/11 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.

Re: [igo...@yahoo.com: fyi benchmarks game GHC 7.0.2]

On 06/03/11 00:32, Ian Lynagh wrote: On Fri, Mar 04, 2011 at 08:51:10PM +, Simon Peyton-Jones wrote: Ian, if these are perf regressions, we'd better look at them. A ticket perhaps? Filed as http://hackage.haskell.org/trac/ghc/ticket/4998 Should we copy the shootout benchmarks into our p

Re: Compacting GC interacting with new codegen strangely

Hi Edward, Well done for tracking down the bug! On 06/03/11 15:36, Edward Z. Yang wrote: Excerpts from Edward Z. Yang's message of Sat Mar 05 15:00:03 -0500 2011: 2. Change the code generator to not do untagged spills. I tried a brief patch to do this, but the result segfaulted, and I d

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

This sounds very awesome. I hope to try it out once you iron out the quirks. Edward ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

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

On 8 March 2011 05:13, Adam Megacz wrote: >> 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. > As with any new language feature, the easiest way to understand it is to > start with a program that exe