RFC: Singleton equality witnesses

José Pedro Magalhães jpm at cs.uu.nl
Thu Feb 7 15:23:53 CET 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 <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.
>
> 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
> >
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20130207/e1b489d0/attachment-0001.htm>


More information about the ghc-devs mailing list