Re: [commit: ghc] master: Add :info! to GHCi. This shows all instances without filtering first. (2ec32a8)

2012-11-30 Thread Simon Marlow
On 30/11/12 02:03, Iavor Diatchki wrote: Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/2ec32a8e1cb323b230b0c228dbee313647892bf4 --- commit

[commit: ghc] master: Extend parser to allow specification of RULES that never fire. #7162 (779f10f)

2012-11-30 Thread Ian Lynagh
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/779f10fdedbeeb31891f3f3772cbc2dfdd32e1ee --- commit 779f10fdedbeeb31891f3f3772cbc2dfdd32e1ee Author: Andrew Farmer

[commit: ghc] master: Make ghc-pkg print less on error. (2c6939a)

2012-11-30 Thread Ian Lynagh
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/2c6939a5b0b11950712be160d2712aee0e6f8b4b --- commit 2c6939a5b0b11950712be160d2712aee0e6f8b4b Author: Ben Millwood

[commit: ghc] master: Remove unused PYTHON in build system (0bb2274)

2012-11-30 Thread Ian Lynagh
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/0bb2274f678678791247c8afec12eb9208f6b379 --- commit 0bb2274f678678791247c8afec12eb9208f6b379 Author: Ian Lynagh

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

2012-11-30 Thread Ian Lynagh
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/7009f58005e29016b717c3954fc6c9a4330d9fa8 --- commit 7009f58005e29016b717c3954fc6c9a4330d9fa8 Merge: 7ee5bed...

[commit: ghc] master: Detab (e305fc7)

2012-11-30 Thread Ian Lynagh
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/e305fc74c22ff40d345780e418da0056eb3720df --- commit e305fc74c22ff40d345780e418da0056eb3720df Author: Ian Lynagh

[commit: ghc] master: Link in-tree libffi to rts. Fixes trac #5743. (7ee5bed)

2012-11-30 Thread Ian Lynagh
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/7ee5bedc5e5039c9bb3ba06b50a4395e579a4b0e --- commit 7ee5bedc5e5039c9bb3ba06b50a4395e579a4b0e Author: Peter Trommler

RFC: Singleton equality witnesses

2012-11-30 Thread Gabor Greif
Hi all! After encouragement from Iavor on G+, here is a patch that implements a class method for singleton type equality witnesses in a generic way. Please comment on two things: - is this a good approach? - how can we avoid abuse of SingEq (as it is type polymorphic, can this harm?) -

[commit: testsuite] master: Test for #7162: RULES that never fire automatically (44229bb)

2012-11-30 Thread Ian Lynagh
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/44229bb3bbe4ca3fa8223167f98c62315049efee --- commit 44229bb3bbe4ca3fa8223167f98c62315049efee Author: Andrew

[commit: testsuite] master: Use python2 if it exists. Based on a patch from michalt. Fixes #7333. (e7a338e)

2012-11-30 Thread Ian Lynagh
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/e7a338e13825524c5b9ea0354e633983acee4baf --- commit e7a338e13825524c5b9ea0354e633983acee4baf Author: Ian

Re: RFC: Singleton equality witnesses

2012-11-30 Thread José Pedro Magalhães
Hi Gabor, Only one (minor) comment: `SingEq` is not specific to singletons, is it? To me it looks like a kind-polymorphic type equality predicate, useful to have in several situations. Why not call the datatype (:==:), its constructor Refl, and put it in GHC.Exts? I guess that things like

[commit: ghc] master: typo (d53e222)

2012-11-30 Thread Gabor Greif
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/d53e222b16c5dc6971e6173f8d9e5dbced68265d --- commit d53e222b16c5dc6971e6173f8d9e5dbced68265d Author: Gabor Greif

Re: RFC: Singleton equality witnesses

2012-11-30 Thread Richard Eisenberg
I like the idea of being able to produce a witness of equality like this. I see that unsafeCoerce is necessary to write instances for Nat and Symbol, but it wouldn't be necessary for inductively defined singletons. I don't think that sameSing should be in the SingE class, because not all

Re: [commit: ghc] master: Add :info! to GHCi. This shows all instances without filtering first. (2ec32a8)

2012-11-30 Thread Iavor Diatchki
Hello Simon, there was no discussion because I thought that this would be completely uncontroversial since: (i) it does not change the current behavior, and (ii) it adds new functionality which is quite useful. Here is the use case that motivated me to implement this (described by Eric Mertens,

[commit: ghc] master: Update dependencies (d2ff25f)

2012-11-30 Thread Ian Lynagh
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/d2ff25f8a38466753f403278dbae5bd7f4829142 --- commit d2ff25f8a38466753f403278dbae5bd7f4829142 Author: Ian Lynagh

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

2012-11-30 Thread Ian Lynagh
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/cfb9696034a96abc17569bcb743adc46f97e9811 --- commit cfb9696034a96abc17569bcb743adc46f97e9811 Merge: 4ef1bd4...

[commit: ghc] master: Update submodules (4ef1bd4)

2012-11-30 Thread Ian Lynagh
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/4ef1bd4e58f43b5baa3b6c5a7172b2dc8fd6c0f2 --- commit 4ef1bd4e58f43b5baa3b6c5a7172b2dc8fd6c0f2 Author: Ian Lynagh

Re: RFC: Singleton equality witnesses

2012-11-30 Thread Iavor Diatchki
Hello, Here are my thoughts: * I agree that we should use (:==:) for the name, as it is not specific to singletons. * I don't think that we need the Coq style `Not` as in Haskell we already have this function anyway, so the `Right` case would not be giving any new information and just making

[commit: hsc2hs] master: Update dependencies (516202b)

2012-11-30 Thread Ian Lynagh
Repository : ssh://darcs.haskell.org//srv/darcs/hsc2hs On branch : master http://hackage.haskell.org/trac/ghc/changeset/516202badf2973c29b7f4b5969037b186b654998 --- commit 516202badf2973c29b7f4b5969037b186b654998 Author: Ian Lynagh

[commit: testsuite] master: Make some tests independent of the version number of the array package (b593173)

2012-11-30 Thread Ian Lynagh
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/b593173118d687dd4a61a8dffb7781e7300958f4 --- commit b593173118d687dd4a61a8dffb7781e7300958f4 Author: Ian

Re: RFC: Singleton equality witnesses

2012-11-30 Thread Gábor Lehel
On Fri, Nov 30, 2012 at 7:58 PM, Iavor Diatchki iavor.diatc...@gmail.com wrote: Hello, Here are my thoughts: * I agree that we should use (:==:) for the name, as it is not specific to singletons. Apologies for the bikeshedding, but why not (:~:)? -- Your ship was destroyed in a monadic

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

2012-11-30 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 Fri Nov 30 18:20:01 GMT 2012.

am-deb7-64 (HEAD), build 255, Failure

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

[commit: haddock] master: Update dependencies (de8476a)

2012-11-30 Thread Ian Lynagh
Repository : ssh://darcs.haskell.org//srv/darcs/haddock On branch : master http://hackage.haskell.org/trac/ghc/changeset/de8476a481867f986221a1f1d6829731d293e03b --- commit de8476a481867f986221a1f1d6829731d293e03b Author: Ian Lynagh

[commit: testsuite] master: Fix safePkg01 (f639a1b)

2012-11-30 Thread Ian Lynagh
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/f639a1b64cb734d5013b734f955afb3c799522e0 --- commit f639a1b64cb734d5013b734f955afb3c799522e0 Author: Ian

tn23 (x86 OSX HEAD), build 771, Failure

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

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

2012-11-30 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 Fri Nov 30 18:10:01 GMT 2012. checking out new

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

2012-11-30 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 Fri Nov 30 18:00:01 GMT 2012. checking out new source

pgj (x86 FreeBSD HEAD), build 875, Success

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