Re: new-typeable, new cast?

On Mon, Mar 4, 2013 at 11:12 AM, José Pedro Magalhães wrote:

Hi,

On Mon, Mar 4, 2013 at 4:51 PM, Richard Eisenberg 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