[nightly] 15-Jul-2012 build of HEAD (unreg) on x86_64-unknown-linux (cam-04-unx)

2012-07-15 Thread GHC Build Reports
Build description = HEAD (unreg) on x86_64-unknown-linux (cam-04-unx) Build location= /64playpen/simonmar/nightly/HEAD-unreg-cam-04-unx Build config file = /home/simonmar/nightly/site/msrc/conf-HEAD-unreg-cam-04-unx Nightly build started on cam-04-unx at Sun Jul 15 18:20:01 BST 2012. chec

[nightly] 15-Jul-2012 build of STABLE on i386-unknown-linux (cam-02-unx)

2012-07-15 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 Sun Jul 15 18:10:02 BST 2012. checking out new source tree

[commit: ghc] type-nats: Some comments on `ActiveRule`s. (cd229c2)

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

[commit: ghc] type-nats: Remove unused dynFlags. (6c5b176)

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

[commit: ghc] type-nats: Refactor in preparation for adding some backward reasoning. (53fc066)

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

[commit: ghc] type-nats: Add improvement rules for (*) and (^). (83373a4)

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

pgj-freebsd-amd64-stable (amd64 FreeBSD STABLE), build 629, Failure

2012-07-15 Thread Builder
pgj-freebsd-amd64-stable (amd64 FreeBSD STABLE), build 629 Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/pgj-freebsd-amd64-stable/629.html git clone | Failure: Just (ExitFailure 128) Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/pgj-freebsd-amd64-stabl

pgj-freebsd-amd64-stable (amd64 FreeBSD STABLE), build 628, Failure

2012-07-15 Thread Builder
pgj-freebsd-amd64-stable (amd64 FreeBSD STABLE), build 628 Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/pgj-freebsd-amd64-stable/628.html git clone | Failure: Just (ExitFailure 128) Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/pgj-freebsd-amd64-stabl

My desktop machine was banned from darcs.haskell.org?

2012-07-15 Thread Ben Lippmeier
In /etc/hosts.deny on d.h.o # DenyHosts: Wed Jul 11 19:46:35 2012 | sshd: 129.94.173.177 sshd: 129.94.173.177 benl@abbot:~$ nslookup 129.94.173.177 Server: 69.30.63.194 Address:69.30.63.194#53 Non-authoritative answer: 177.173.94.129.in-addr.arpa name = desire.cse.unsw

pgj-freebsd-i386-stable (x86 FreeBSD STABLE), build 612, Failure

2012-07-15 Thread Builder
pgj-freebsd-i386-stable (x86 FreeBSD STABLE), build 612 Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/pgj-freebsd-i386-stable/612.html git clone | Failure: Just (ExitFailure 128) Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/pgj-freebsd-i386-stable/612

pgj-freebsd-i386-stable (x86 FreeBSD STABLE), build 611, Failure

2012-07-15 Thread Builder
pgj-freebsd-i386-stable (x86 FreeBSD STABLE), build 611 Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/pgj-freebsd-i386-stable/611.html git clone | Failure: Just (ExitFailure 128) Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/pgj-freebsd-i386-stable/611

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

2012-07-15 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 Sun Jul 15 18:00:01 BST 2012. checking out new source

pgj2 (amd64 FreeBSD HEAD), build 751, Incomplete

2012-07-15 Thread Builder
pgj2 (amd64 FreeBSD HEAD), build 751 Build incomplete Details: http://darcs.haskell.org/ghcBuilder/builders/pgj2/751.html Build incomplete Details: http://darcs.haskell.org/ghcBuilder/builders/pgj2/751.html ___ Cvs-ghc mailing list Cvs-ghc@haskell.or

pgj2 (amd64 FreeBSD HEAD), build 750, Incomplete

2012-07-15 Thread Builder
pgj2 (amd64 FreeBSD HEAD), build 750 Build incomplete Details: http://darcs.haskell.org/ghcBuilder/builders/pgj2/750.html Build incomplete Details: http://darcs.haskell.org/ghcBuilder/builders/pgj2/750.html ___ Cvs-ghc mailing list Cvs-ghc@haskell.or

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

2012-07-15 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 15 18:10:01 BST 2012. checking out new s

pgj (x86 FreeBSD HEAD), build 750, Failure

2012-07-15 Thread Builder
pgj (x86 FreeBSD HEAD), build 750 Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/pgj/750.html git clone | Failure: Just (ExitFailure 128) Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/pgj/750.html Cloning into build... error: unable to write sha1 filenam

pgj (x86 FreeBSD HEAD), build 749, Failure

2012-07-15 Thread Builder
pgj (x86 FreeBSD HEAD), build 749 Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/pgj/749.html git clone | Failure: Just (ExitFailure 128) Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/pgj/749.html Cloning into build... error: wrong index v1 file size in

kgardas-linux-arm-head (HEAD), build 88, Incomplete

2012-07-15 Thread Builder
kgardas-linux-arm-head (HEAD), build 88 Build incomplete Details: http://darcs.haskell.org/ghcBuilder/builders/kgardas-linux-arm-head/88.html git clone | Success create mk/build.mk | Success get subrepos | Failure: Nothing Build incomplete Details: http://darcs.haskell.org/ghcBu

kgardas-linux-arm-head (HEAD), build 87, Failure

2012-07-15 Thread Builder
kgardas-linux-arm-head (HEAD), build 87 Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/kgardas-linux-arm-head/87.html git clone| Success create mk/build.mk | Success get subrepos | Success repo versions| Success to

[commit: ghc] type-nats: Improve representation of AxiomRules. (3852050)

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

[commit: ghc] type-nats: Some simple support for <=. (f77108e)

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

[commit: ghc] type-nats: Move type-nat functions into TysWiredIn (instead of TysPrim) (44e504e)

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

tn23 (x86 OSX HEAD), build 660, Success

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

kgardas-linux-arm-head (HEAD), build 86, Failure

2012-07-15 Thread Builder
kgardas-linux-arm-head (HEAD), build 86 Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/kgardas-linux-arm-head/86.html git clone| Success create mk/build.mk | Success get subrepos | Success repo versions| Success to

[nightly] 14-Jul-2012 build of HEAD on i386-unknown-linux (cam-02-unx)

2012-07-15 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 Sat Jul 14 18:00:01 BST 2012. checking out new source tree