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
Repository : ssh://darcs.haskell.org//srv/darcs/ghc
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/779f10fdedbeeb31891f3f3772cbc2dfdd32e1ee
---
commit 779f10fdedbeeb31891f3f3772cbc2dfdd32e1ee
Author: Andrew Farmer
Repository : ssh://darcs.haskell.org//srv/darcs/ghc
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/2c6939a5b0b11950712be160d2712aee0e6f8b4b
---
commit 2c6939a5b0b11950712be160d2712aee0e6f8b4b
Author: Ben Millwood
Repository : ssh://darcs.haskell.org//srv/darcs/ghc
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/0bb2274f678678791247c8afec12eb9208f6b379
---
commit 0bb2274f678678791247c8afec12eb9208f6b379
Author: 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...
Repository : ssh://darcs.haskell.org//srv/darcs/ghc
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/e305fc74c22ff40d345780e418da0056eb3720df
---
commit e305fc74c22ff40d345780e418da0056eb3720df
Author: 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
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?)
-
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/44229bb3bbe4ca3fa8223167f98c62315049efee
---
commit 44229bb3bbe4ca3fa8223167f98c62315049efee
Author: Andrew
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/e7a338e13825524c5b9ea0354e633983acee4baf
---
commit e7a338e13825524c5b9ea0354e633983acee4baf
Author: Ian
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
Repository : ssh://darcs.haskell.org//srv/darcs/ghc
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/d53e222b16c5dc6971e6173f8d9e5dbced68265d
---
commit d53e222b16c5dc6971e6173f8d9e5dbced68265d
Author: Gabor Greif
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
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,
Repository : ssh://darcs.haskell.org//srv/darcs/ghc
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/d2ff25f8a38466753f403278dbae5bd7f4829142
---
commit d2ff25f8a38466753f403278dbae5bd7f4829142
Author: 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...
Repository : ssh://darcs.haskell.org//srv/darcs/ghc
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/4ef1bd4e58f43b5baa3b6c5a7172b2dc8fd6c0f2
---
commit 4ef1bd4e58f43b5baa3b6c5a7172b2dc8fd6c0f2
Author: Ian Lynagh
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
Repository : ssh://darcs.haskell.org//srv/darcs/hsc2hs
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/516202badf2973c29b7f4b5969037b186b654998
---
commit 516202badf2973c29b7f4b5969037b186b654998
Author: 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
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
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
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
Repository : ssh://darcs.haskell.org//srv/darcs/haddock
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/de8476a481867f986221a1f1d6829731d293e03b
---
commit de8476a481867f986221a1f1d6829731d293e03b
Author: 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
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
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
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
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
29 matches
Mail list logo