Re: RFC: Singleton equality witnesses

7 Feb 2013

      Hey Gabor,

And why should it be part of base? Don't get me wrong, I'm not saying this
is not important/useful. I'm just wondering about the reason to have it in
base.
Is it tied to TypeLits?

Cheers,
Pedro

On Thu, Feb 7, 2013 at 2:21 PM, Gabor Greif  wrote:
...
Oi José,
this is a library-only issue, the branch is in libraries/base, thus
somewhat tied to the 7.8 release.
Cheers,
Gabor
On 2/7/13, José Pedro Magalhães  wrote:
...
On Wed, Feb 6, 2013 at 7:17 PM, Gabor Greif  wrote:
...
On 2/6/13, Richard Eisenberg  wrote:
...
The only thing that stops me from saying "push" is that I think there
is
a
better organization for all of this. The ideas we're discussing here
(things
like the Void type) don't seem to belong in TypeLits -- it has nothing
to do
with literals. Time for a GHC.TypeReasoning module? Does someone have
a
better name?
Sounds okay. We can wiggle around on the new branch 'till we feel
comfortable, but I'd like to land this on master before the v7.8 train
leaves the station (i.e. the release branch is created).
Can you perhaps summarise exactly what needs to be added to GHC for this
to
work?
It's not immediately clear to me why this is not just a library issue.
Thanks,
Pedro