pgj2 (amd64 FreeBSD HEAD), build 811, Success

2012-09-22 Thread Builder
pgj2 (amd64 FreeBSD HEAD), build 811 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj2/811.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 671, Success

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

pgj (x86 FreeBSD HEAD), build 808, Success

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

tn23 (x86 OSX HEAD), build 709, Failure

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

[commit: ghc] type-nats: Bugfix: don't generate infinitely many obvious facts. (5b73674)

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

[commit: ghc] type-nats: Add custom improvement rule for `FromNat1`. (6be7783)

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

[commit: ghc] type-nats: Add type constructors for unary view of type-level nats. (b7203d7)

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

[commit: ghc] type-nats: Some rules (partially) specifying that FromNat1 is injective. (1fa0796)

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

[commit: ghc] type-nats: Add names for types/functions for unary of type-level nats. (80edd5a)

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

[commit: ghc] type-nats: (for debuging) Make it easier to switch traces on and off (014a2d2)

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

[commit: ghc] type-nats: Just a note. (fca0545)

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

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

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

pgj2 (amd64 FreeBSD HEAD), build 810, Success

2012-09-22 Thread Builder
pgj2 (amd64 FreeBSD HEAD), build 810 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/pgj2/810.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 670, Success

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