Data.Type.Equality and coercions

[Stijn van Drongelen]

On Wed, Oct 9, 2013 at 5:25 PM, Richard Eisenberg <eir at cis.upenn.edu> wrote:

>
> My slight inclination: rename the Coercible version to `coerceRep`, as it
> really is doing a runtime coercion, as opposed to `coerce`. But, I'm quite
> happy for someone else to have a better idea.
>

Why not keep the name `coerce` for both functions, and require qualified
imports?

-Stijn
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20131009/4b2f803d/attachment.html>