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

2012-05-06 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 May 6 18:20:01 BST 2012. check

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

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

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

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

[commit: ghc] type-nats: Add forward rules. Convert Proofs back into Coercions. (37838c0)

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

[commit: ghc] type-nats: Reorganize file and add some comments. (e7b3a15)

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

[commit: ghc] type-nats: Some more functionality for matching rules. (1a860da)

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

[commit: ghc] type-nats: Make rule instantiation more consistent (and bit more clean-up). (fd832ea)

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

[commit: ghc] type-nats: Some functionality for matching rules directly (rather than generating them) (3ce738b)

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

[commit: ghc] type-nats: Implement a simple version of 'useRule' and redo 'solve' to use the rules. (ceb9f7f)

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

[commit: ghc] type-nats: Remove (<=) as a class, and add (<=?) as a type function. (b6c8c44)

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

pgj2 (amd64 FreeBSD HEAD), build 669, Success

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

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

2012-05-06 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 May 6 18:10:02 BST 2012. checking out new source tree

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

2012-05-06 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 May 6 18:00:01 BST 2012. checking out new source t

pgj (x86 FreeBSD HEAD), build 671, Failure

2012-05-06 Thread Builder
pgj (x86 FreeBSD HEAD), build 671 Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/pgj/671.html git clone| Success create mk/build.mk | Success get subrepos | Success repo versions| Success touching clean-check files

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

2012-05-06 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 May 6 18:10:02 BST 2012. checking out new so

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

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

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

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

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

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

simonmar-win32-stable (x86 Windows STABLE), build 472, Failure

2012-05-06 Thread Builder
simonmar-win32-stable (x86 Windows STABLE), build 472 Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/simonmar-win32-stable/472.html git clone | Failure: Just (ExitFailure 128) Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/simonmar-win32-stable/472.html

[commit: ghc] ghc-lwc's head updated: removed tabs from tab free files (b9a149d)

2012-05-06 Thread Sivaramakrishnan Krishnamoorthy Chandrasekaran
Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'ghc-lwc' now includes: a38b510... Add .gitignore. 276888e... Remember that these files are executable. 2abe72b... Fix example comment. 3d9a2ab... Fix comment. 7f23052... Add a missing ASSERT. b40cea3... Trea

[commit: ghc] ghc-lwc: WIP merge (5d1ff7c)

2012-05-06 Thread Sivaramakrishnan Krishnamoorthy Chandrasekaran
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-lwc http://hackage.haskell.org/trac/ghc/changeset/5d1ff7c1b8fafd917483965cd89ba64c50b744d8 >--- commit 5d1ff7c1b8fafd917483965cd89ba64c50b744d8 Merge: ffa5408... 2bc9

[commit: ghc] ghc-lwc: removed tabs from tab free files (b9a149d)

2012-05-06 Thread Sivaramakrishnan Krishnamoorthy Chandrasekaran
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-lwc http://hackage.haskell.org/trac/ghc/changeset/b9a149d7e207e06258df0dbe0da70970af759442 >--- commit b9a149d7e207e06258df0dbe0da70970af759442 Author: kc Date: Su

[commit: ghc] ghc-lwc: Merge branch 'master' into ghc-lwc-merge (ae4e676)

2012-05-06 Thread Sivaramakrishnan Krishnamoorthy Chandrasekaran
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-lwc http://hackage.haskell.org/trac/ghc/changeset/ae4e676d823b53787228643ca6980485185fcc93 >--- commit ae4e676d823b53787228643ca6980485185fcc93 Merge: 5d1ff7c... 88f6

[commit: ghc] ghc-lwc: WIP merge (bc96abd)

2012-05-06 Thread Sivaramakrishnan Krishnamoorthy Chandrasekaran
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-lwc http://hackage.haskell.org/trac/ghc/changeset/bc96abdb6d3777bdc4eaaccf37494f535405d4e1 >--- commit bc96abdb6d3777bdc4eaaccf37494f535405d4e1 Author: kc Date: Su

[commit: ghc] ghc-lwc: Merge with master (904b37d)

2012-05-06 Thread Sivaramakrishnan Krishnamoorthy Chandrasekaran
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-lwc http://hackage.haskell.org/trac/ghc/changeset/904b37dffd9e31f48f1d13e30f081557d6614c83 >--- commit 904b37dffd9e31f48f1d13e30f081557d6614c83 Author: kc Date: Su

[commit: ghc] ghc-lwc: WIP merge (3a030de)

2012-05-06 Thread Sivaramakrishnan Krishnamoorthy Chandrasekaran
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-lwc http://hackage.haskell.org/trac/ghc/changeset/3a030de284b970871702a6df75920d4984f2116c >--- commit 3a030de284b970871702a6df75920d4984f2116c Author: kc Date: Sa

New patches in /srv/darcs/git-mirrors/haskeline

2012-05-06 Thread Ian Lynagh
New patches in /srv/darcs/git-mirrors/haskeline commit 673aee0bfaa5c7a26f3dcd8e62aa4cc7d614 Author: Judah Jacobson Date: Sat May 5 23:25:40 2012 + Remove commented-out line. This was also preventing Haddock from parsing the code. commit ae84d1fc7b3cb0f4ab70e4b4879707213

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

2012-05-06 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 May 5 18:00:01 BST 2012. checking out new source tree