Re: Validate failure

2011-06-21 Thread Ben Lippmeier
On 01/01/2010, at 12:54 AM, Simon Marlow wrote: > The following validate failure has happened to me twice, and appears to be a > parallel make problem (a missing dependency somewhere). I'm using -j3 on a > dual-core. I'm posting it here in case anyone else has a clue what's going > on, otherw

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

2011-06-21 Thread Builder
pgj-freebsd-amd64-stable (amd64 FreeBSD STABLE), build 275 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj-freebsd-amd64-stable/275.html darcs get | Success create mk/build.mk| Success get subrepos | Success setting version date

#4459: Loading Names and Types via GHC

2011-06-21 Thread Vivian McPhail
Hi, I can successfully set up GHC and compile a module, say 'X.hs'. dynload :: Symbol -> ModuleName -> DynType (Either [String] DynamicHValue) dynload sym m = do liftGhc $ GHC.setTargets [GHC.Target (GHC.TargetModule m) True Nothing] res <- liftGhc $ GHC.load GHC.LoadAllTargets case res of

[nightly] DPH Performance Test Succeeded

2011-06-21 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.7.0 Versions GHC The Glorious Glasgow Haskell Compilation System, version 7.0.1 GCC i686-apple-da

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

2011-06-21 Thread Builder
pgj-freebsd-i386-stable (x86 FreeBSD STABLE), build 258 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj-freebsd-i386-stable/258.html darcs get | Success create mk/build.mk| Success get subrepos | Success setting version date | S

pgj2 (amd64 FreeBSD HEAD), build 393, Success

2011-06-21 Thread Builder
pgj2 (amd64 FreeBSD HEAD), build 393 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj2/393.html git clone | Success create mk/build.mk| Success get subrepos | Success setting version date | Success booting | Succ

[nightly] 21-Jun-2011 build of STABLE on i386-unknown-linux (cam-02-unx)

2011-06-21 Thread GHC Build Reports
Build description = STABLE on i386-unknown-linux (cam-02-unx) Build location= /playpen/simonmar/nightly/STABLE Build config file = /home/simonmar/nightly/site/msrc/conf-STABLE-cam-02-unx Nightly build started on cam-02-unx at Tue Jun 21 18:10:02 BST 2011. checking out new source tree

pgj (x86 FreeBSD HEAD), build 396, Success

2011-06-21 Thread Builder
pgj (x86 FreeBSD HEAD), build 396 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj/396.html git clone | Success create mk/build.mk| Success get subrepos | Success setting version date | Success booting | Success

[nightly] DPH Performance Test Succeeded

2011-06-21 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.7.0 Versions GHC The Glorious Glasgow Haskell Compilation System, version 7.1.20110619 GCC i686-a

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

2011-06-21 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 Tue Jun 21 18:10:01 BST 2011. checking out new s

tn23 (x86 OSX HEAD), build 369, Failure

2011-06-21 Thread Builder
tn23 (x86 OSX HEAD), build 369 Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/tn23/369.html git clone | Success create mk/build.mk | Success get subrepos | Failure: Just (ExitFailure 2) Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/tn23/369

[commit: testsuite] master: Fix up testsuite for SafeHaskell (7c2dbcc)

2011-06-21 Thread David Terei
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/7c2dbcce1fd31747d9d4b87587e3e6b633484f22 >--- commit 7c2dbcce1fd31747d9d4b87587e3e6b633484f22 Author: David Ter

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

2011-06-21 Thread Builder
kgardas-opensolaris-x86-head (x86 Solaris HEAD), build 266 Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/kgardas-opensolaris-x86-head/266.html git clone | Success create mk/build.mk | Success get subrepos | Failure: Just (ExitFailure 2) Build failed Details:

simonmar-win32-head (x86 Windows HEAD), build 327, Failure

2011-06-21 Thread Builder
simonmar-win32-head (x86 Windows HEAD), build 327 Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/simonmar-win32-head/327.html git clone| Success create mk/build.mk | Success get subrepos | Success setting version date | Success booting | Suc

[nightly] 21-Jun-2011 build of HEAD on i386-unknown-linux (cam-02-unx)

2011-06-21 Thread GHC Build Reports
Build description = HEAD on i386-unknown-linux (cam-02-unx) Build location= /playpen/simonmar/nightly/HEAD Build config file = /home/simonmar/nightly/site/msrc/conf-HEAD-cam-02-unx Nightly build started on cam-02-unx at Tue Jun 21 18:00:01 BST 2011. checking out new source tree

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

2011-06-21 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 Tue Jun 21 18:00:01 BST 2011. checking out new source

mbolingbroke (x86 OSX HEAD), build 113, Incomplete

2011-06-21 Thread Builder
mbolingbroke (x86 OSX HEAD), build 113 Build incomplete Details: http://darcs.haskell.org/ghcBuilder/builders/mbolingbroke/113.html git clone| Success create mk/build.mk | Success get subrepos | Success setting version date | Success booting | Success configurin

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

2011-06-21 Thread Builder
simonmar-win32-stable (x86 Windows STABLE), build 259 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/simonmar-win32-stable/259.html darcs get | Success create mk/build.mk| Success get subrepos | Success setting version date | Succe

RE: Type-level natural numbers

2011-06-21 Thread Simon Peyton-Jones
Each of these repositories has a "type-nats" branch in it, which is where my changes reside. Before we go on with the discussion of what/how to merge into the master branch, would it be OK to move my "type-nats" branch into the central GHC repo on darcs.haskell.org so