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

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

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

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

pgj2 (amd64 FreeBSD HEAD), build 290, Success

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

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

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

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

sparky (Sparc Solaris HEAD), build 153, Failure

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

pgj (x86 FreeBSD HEAD), build 292, Success

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

tn23 (x86 OSX HEAD), build 276, Failure

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

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

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

mbolingbroke (x86 OSX HEAD), build 77, Success

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

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

2011-03-05 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 Sat Mar 5 18:10:01 GMT 2011. checking out new so

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

2011-03-05 Thread Ian Lynagh
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 perf/ suite? Let's look at that as

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

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

patch applied (ghc): Completed the implementation of VECTORISE SCALAR

2011-03-05 Thread Manuel Chakravarty
Sat Mar 5 04:36:25 PST 2011 Manuel M T Chakravarty * Completed the implementation of VECTORISE SCALAR - The pragma {-# VECTORISE SCALAR foo #-} marks 'foo' as a scalar function for for vectorisation and generates a vectorised version by applying 'scalar_map' and friends. - The set

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

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

RE: four more CoreSyn questions

2011-03-05 Thread Simon Peyton-Jones
| CoreSyn.AltCon includes a list of Var's -- I assume this is only the | value variables, and that the type/coercion variables come from | DataCon.{dataConExTyVars,dcEqSpec}, right? Not so at all. Why did you assume that? The variables bound in a case alternative are the [b] in Core

two more SystemFC questions

2011-03-05 Thread Adam Megacz
1. SystemFC1 distinguishes between data type constructors (T) and type functions (S_n). It seems that in CoreSyn these both become TyCon.TyCon -- do I have this right? Is there a way to ask which kind of thing a TyCon stands for? 2. Type function applications in SystemFC1 are always fu

four more CoreSyn questions

2011-03-05 Thread Adam Megacz
1. In SystemFC a case branch binds three sorts of variables: type variables (for the existential types of the relevant DataCon), coercion variables (similar), and value variables (for the fields of the DataCon). CoreSyn.AltCon includes a list of Var's -- I assume this is only the valu

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

2011-03-05 Thread Adam Megacz
On Mar 3, 2011, at 9:24 PM, Simon Peyton-Jones wrote: > Wow. My brain exploded when I read about what you've done. "Monads may make your head hurt, but generalized arrows make SPJ's head *explode*" Gotta make some t-shirts or something ;) - a___

Re: Compacting GC interacting with new codegen strangely

2011-03-05 Thread Edward Z. Yang
OK, in that case, here is what I think is the bug: under circumstances, we can make an assignment to a temporary variable a pointer to a variable on the heap, which will be tagged later in the code. Subsequent optimization passes result in this untagged variable being spilled on to the stack. The

patch applied (ghc): Whitespace only

2011-03-05 Thread Ian Lynagh
Sat Mar 5 07:02:38 PST 2011 Ian Lynagh * Whitespace only M ./utils/ghc-cabal/Main.hs -8 +8 View patch online: http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc;a=darcs_commitdiff;h=20110305150238-3fd76-1d4e55522f2d3eecc12627110096a752922e0150.gz ___

patch applied (ghc): Sanity check values that we wrap in single quotes

2011-03-05 Thread Ian Lynagh
Sat Mar 5 07:01:18 PST 2011 Ian Lynagh * Sanity check values that we wrap in single quotes Make sure they contain no single quotes, leading spaces, or trailing spaces. M ./utils/ghc-cabal/Main.hs -3 +16 View patch online: http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc;a=darcs_comm

patch applied (ghc): Fix build, and improve ghc-cabal's errors

2011-03-05 Thread Ian Lynagh
Sat Mar 5 07:39:31 PST 2011 Ian Lynagh * Fix build, and improve ghc-cabal's errors M ./utils/ghc-cabal/Main.hs -4 +4 View patch online: http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc;a=darcs_commitdiff;h=20110305153931-3fd76-80c83632c34ef0c9274563651e9440295aa1909b.gz _

patch applied (ghc): Avoid some shell calls in the build system

2011-03-05 Thread Ian Lynagh
Sat Mar 5 06:48:25 PST 2011 Ian Lynagh * Avoid some shell calls in the build system The DEP_INCLUDE_DIRS and DEP_LIB_DIRS variables always contain single-quote dirs, so we can use e.g. $(subst $(space)',$(space)-L',$(space)$($1_$2_DEP_LIB_DIRS_SINGLE_QUOTED)) to add -L to the front

Re: Validate failures (HEAD, OS X 10.6)

2011-03-05 Thread Thorkil Naur
Hello, On Mon, Feb 28, 2011 at 04:52:11PM +, Simon Marlow wrote: > On 18/02/2011 08:31, Max Bolingbroke wrote: > > ... > >Unexpected failures: > >1288(normal) > >2276(normal) > >2276_ghci(ghci) > > These three are probably related to #3336. I'm guessing OS X doesn't > support st

[nightly] DPH Performance Test Succeeded

2011-03-05 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

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

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