RFC: Singleton equality witnesses

[José Pedro Magalhães]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20130207/c174f121/attachment.htm>