
I was waiting to respond to Shachaf's email saying "pushed", but instead, I have to say "currently validating". Expect this by the end of the day. Sorry it's taken so long! Richard On 2013-07-22 09:23, José Pedro Magalhães wrote:
Thanks for bringing this up again. This was started in my data-proxy branch of base [1], 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 want, 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 :-)
Thanks, Pedro
On Sun, Jul 21, 2013 at 3:09 AM, Shachaf Ben-Kiki
wrote: 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
Links: ------ [1] https://github.com/ghc/packages-base/tree/data-proxy