RFC: Singleton equality witnesses

[Gabor Greif]

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 <jpm at cs.uu.nl> wrote:
> On Wed, Feb 6, 2013 at 7:17 PM, Gabor Greif <ggreif at gmail.com> wrote:
>
>> On 2/6/13, Richard Eisenberg <eir at cis.upenn.edu> 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
>