Proposal: Export Any from Unsafe.Coerce

Simon Peyton Jones simonpj at microsoft.com
Tue Sep 15 21:41:23 UTC 2015


Certainly OK with me too.  GHC.Exts is the right place.

Simon

From: Libraries [mailto:libraries-bounces at haskell.org] On Behalf Of Richard Eisenberg
Sent: 15 September 2015 15:10
To: David Feuer
Cc: Haskell Libraries
Subject: Re: Proposal: Export Any from Unsafe.Coerce

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<mailto: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<mailto: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/5ee853d3/attachment.html>


More information about the Libraries mailing list