RFC: Singleton equality witnesses
José Pedro Magalhães
jpm at cs.uu.nl
Thu Feb 7 15:23:53 CET 2013
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
Is it tied to TypeLits?
On Thu, Feb 7, 2013 at 2:21 PM, Gabor Greif <ggreif at gmail.com> wrote:
> Oi José,
> this is a library-only issue, the branch is in libraries/base, thus
> somewhat tied to the 7.8 release.
> 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
> >> > 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
> > 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...
More information about the ghc-devs