pgj (x86 FreeBSD HEAD), build 876, Success

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

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

2012-12-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 Sat Dec 1 18:10:01 GMT 2012. checking out new so

[commit: ghc] master: Mac OS X 10.6 needed for pthread_threadid_np(), fixes #7356 (0cb35b5)

2012-12-01 Thread Ian Lynagh
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/0cb35b5514e6280ba330bd3a4acb8e6a71c300ff >--- commit 0cb35b5514e6280ba330bd3a4acb8e6a71c300ff Author: Ian Lynagh Dat

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

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

mbolingbroke (x86 OSX HEAD), build 210, Failure

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

Re: RFC: Singleton equality witnesses

2012-12-01 Thread Gábor Lehel
On Sat, Dec 1, 2012 at 5:31 PM, Richard Eisenberg wrote: > Which leads me to ask: Why can't we special-case TypeRep to be promoted to > *, allowing the construction I wrote above? It seems both kludgy and elegant > at the same time, somehow. I would love to hear others' thoughts on this. > > Thank

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

2012-12-01 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 Sat Dec 1 18:20:01 GMT 2012. check

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

2012-12-01 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 Sat Dec 1 18:00:01 GMT 2012. checking out new source t

[commit: ghc] master: Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/ghc (fe1fce8)

2012-12-01 Thread Richard Eisenberg
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/fe1fce87ae08c58dff821c5d6b905cb9b600d423 >--- commit fe1fce87ae08c58dff821c5d6b905cb9b600d423 Merge: 959d5a9... cfb96

[commit: ghc] master: Added GHC formalism to the GHC source tree. (81b7e58)

2012-12-01 Thread Richard Eisenberg
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/81b7e5873f97c9e34aaf77e3591add04bd2a2ad4 >--- commit 81b7e5873f97c9e34aaf77e3591add04bd2a2ad4 Author: Richard Eisenbe

[commit: ghc] master: Added the docs/core-spec README (959d5a9)

2012-12-01 Thread Richard Eisenberg
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/959d5a9f08b28c9bc46b13166c75baabfd7f24bc >--- commit 959d5a9f08b28c9bc46b13166c75baabfd7f24bc Author: Richard Eisenbe

[commit: ghc] master: Remove case from coreLintExpr dealing with types, as it is not used. (2332b4b)

2012-12-01 Thread Richard Eisenberg
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/2332b4be2f74092bffb3ab338c8669d104a46196 >--- commit 2332b4be2f74092bffb3ab338c8669d104a46196 Author: Richard Eisenbe

Re: RFC: Singleton equality witnesses

2012-12-01 Thread Richard Eisenberg
A few points of response: - The 'Not' that I am proposing is distinct from the Boolean 'Not' that is easy to write. I was inspired by this discussion to write a blog post about the issue; see http://typesandkinds.wordpress.com/2012/12/01/decidable-propositional-equality-in-haskell/ The end of t

mbolingbroke (x86 OSX HEAD), build 209, Incomplete

2012-12-01 Thread Builder
mbolingbroke (x86 OSX HEAD), build 209 Build incomplete Details: http://darcs.haskell.org/ghcBuilder/builders/mbolingbroke/209.html git clone | Success create mk/build.mk | Success get subrepos | Failure: Nothing Build incomplete Details: http://darcs.haskell.org/ghcBuilder/builde

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

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

pgj2 (amd64 FreeBSD HEAD), build 878, Success

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

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