Proposal: Export Any from Unsafe.Coerce

[Carter Schonwald]

Sounds like a good idea to me, granted I don't use Any myself, but it and
unsafeCoerce require similar levels of care and compiler understanding afaik

On Tuesday, September 15, 2015, Richard Eisenberg <eir at cis.upenn.edu> wrote:

> Sounds reasonable to me. Also, see #10886, which this request prompted me
> to make.
>
> Richard
>
> On Sep 14, 2015, at 1:44 PM, David Feuer <david.feuer at gmail.com
> <javascript:_e(%7B%7D,'cvml','david.feuer at gmail.com');>> wrote:
>
> Any is the sanctioned intermediary for unsafeCoerce. GHC claims to
> guarantee that any lifted type can be coerced to and from Any without harm.
> Yet Any seems to be available only from the deeply mystical GHC.Prim, which
> users outside the GHC source tree are never supposed to import. While
> GHC.Exts would be an acceptable place, I think Unsafe.Coerce is more
> appropriate, and will make it easier for users to find this type.
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> <javascript:_e(%7B%7D,'cvml','Libraries at haskell.org');>
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20150915/d1e9dcbc/attachment.html>