RFC: Singleton equality witnesses

José Pedro Magalhães jpm at cs.uu.nl
Thu Feb 7 15:11:47 CET 2013

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
It's not immediately clear to me why this is not just a library issue.

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

More information about the ghc-devs mailing list