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

2012-07-01 Thread Builder
pgj-freebsd-amd64-stable (amd64 FreeBSD STABLE), build 611 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj-freebsd-amd64-stable/611.html git clone| Success create mk/build.mk | Success get subrepos | Success repo versions

pgj2 (amd64 FreeBSD HEAD), build 732, Success

2012-07-01 Thread Builder
pgj2 (amd64 FreeBSD HEAD), build 732 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj2/732.html git clone| Success create mk/build.mk | Success get subrepos | Success repo versions| Success touching clean-check

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

2012-07-01 Thread Builder
pgj-freebsd-i386-stable (x86 FreeBSD STABLE), build 594 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj-freebsd-i386-stable/594.html git clone| Success create mk/build.mk | Success get subrepos | Success repo versions

[commit: ghc] type-nats: Remove the unique from CoAxiomRule. (c7ff122)

2012-07-01 Thread Iavor Diatchki
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/c7ff12269aa64c38437e10eaa2aeeb888d3d9cf9 >--- commit c7ff12269aa64c38437e10eaa2aeeb888d3d9cf9 Author: Iavor S. Dia

[commit: ghc] type-nats: Remove the big enumeration of axioms. (ee407c9)

2012-07-01 Thread Iavor Diatchki
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/ee407c931c4fb61f6472deae1420b837662a6723 >--- commit ee407c931c4fb61f6472deae1420b837662a6723 Author: Iavor S. Dia

[commit: ghc] type-nats's head updated: Remove the unique from CoAxiomRule. (c7ff122)

2012-07-01 Thread Iavor Diatchki
Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'type-nats' now includes: d209588... A build-system tweak for more readable build output. 7befd21... Merge remote-tracking branch 'origin/master' into pretty-build c08df44... Remove the unused Type field from StgLam 79

[commit: ghc] type-nats: Refactoring: move reasoning into TcTypeNats, leaving only the rules in TcTypeNatRules. (271cbce)

2012-07-01 Thread Iavor Diatchki
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/271cbce613c70d52f73473761a921577f7b5be2e >--- commit 271cbce613c70d52f73473761a921577f7b5be2e Author: Iavor S. Dia

[commit: ghc] type-nats: Checkpoint: one step givens, using new rule representation. (8fe65d3)

2012-07-01 Thread Iavor Diatchki
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/8fe65d3a2626e90008ceb0b89b1c14743dfe8ebe >--- commit 8fe65d3a2626e90008ceb0b89b1c14743dfe8ebe Author: Iavor S. Dia

[commit: ghc] type-nats: A few more functions using the new rule data structure. (733ed8e)

2012-07-01 Thread Iavor Diatchki
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/733ed8e2c37979935abff57e3568aa3d2a0f >--- commit 733ed8e2c37979935abff57e3568aa3d2a0f Author: Iavor S. Dia

[commit: ghc] type-nats: Merge remote-tracking branch 'origin/master' into type-nats (c92efe0)

2012-07-01 Thread Iavor Diatchki
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats http://hackage.haskell.org/trac/ghc/changeset/c92efe0a8712c96a84e3d8616a3869e833c1c21e >--- commit c92efe0a8712c96a84e3d8616a3869e833c1c21e Merge: 830d6ba... 96

pgj (x86 FreeBSD HEAD), build 731, Success

2012-07-01 Thread Builder
pgj (x86 FreeBSD HEAD), build 731 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj/731.html git clone| Success create mk/build.mk | Success get subrepos | Success repo versions| Success touching clean-check fil

[nightly] 01-Jul-2012 build of STABLE on x86_64-unknown-linux (cam-04-unx)

2012-07-01 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 Sun Jul 1 18:10:01 BST 2012. checking out new so

am-deb7-64 (HEAD), build 132, Success

2012-07-01 Thread Builder
am-deb7-64 (HEAD), build 132 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/am-deb7-64/132.html git clone| Success create mk/build.mk | Success get subrepos | Success repo versions| Success touching clean-check f

tn23 (x86 OSX HEAD), build 649, Failure

2012-07-01 Thread Builder
tn23 (x86 OSX HEAD), build 649 Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/tn23/649.html git clone | Success create mk/build.mk | Success get subrepos | Success repo versions | Success touching clean-check files | Success

tn23 (x86 OSX HEAD), build 648, Success

2012-07-01 Thread Builder
tn23 (x86 OSX HEAD), build 648 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/tn23/648.html git clone| Success create mk/build.mk | Success get subrepos | Success repo versions| Success touching clean-check files

simonmar-win32-head (x86 Windows HEAD), build 615, Success

2012-07-01 Thread Builder
simonmar-win32-head (x86 Windows HEAD), build 615 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/simonmar-win32-head/615.html git clone| Success create mk/build.mk | Success get subrepos | Success repo versions|