Proposal: Export Any from Unsafe.Coerce
carter.schonwald at gmail.com
Tue Sep 15 14:23:46 UTC 2015
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.
> On Sep 14, 2015, at 1:44 PM, David Feuer <david.feuer at gmail.com
> 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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Libraries