new-typeable, new cast?

José Pedro Magalhães jpm at
Mon Jul 22 10:23:42 CEST 2013

Thanks for bringing this up again. This was started in my data-proxy branch
of base <>,
but never really finished. We definitely want to have this in 7.8, and I
think there's
only some minor finishing work to do (check if we have all the instances we
document, etc.). Perhaps you can look through what's there already, and
what you
think is missing? I'm more than happy to accept contributing patches too :-)


On Sun, Jul 21, 2013 at 3:09 AM, Shachaf Ben-Kiki <shachaf at> wrote:

> On Mon, Mar 4, 2013 at 11:12 AM, José Pedro Magalhães <jpm at>
> wrote:
> > Hi,
> >
> > On Mon, Mar 4, 2013 at 4:51 PM, Richard Eisenberg <eir at>
> wrote:
> >>
> >> Unless I'm missing something, this all looks very straightforward. The
> >> implementation is there, already, in the guise of (gcast Refl). We would
> >> just shuffle the definitions around a bit. Am I indeed missing
> something?
> >
> >
> > I think that is the case indeed. Though I agree that it would be a nice
> > addition to Data.Typeable.
> >
> >
> This thread is a few months old now, but it looks like people were
> generally in favor of adding (gcast Refl) to Data.Typeable. I've used
> it in real code in at least one place since then (where I just defined
> it locally). It doesn't look like it's actually been added, though --
> is it planned to go into HEAD eventually?
>     Shachaf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list