Unpacking coercions

Ryan Scott ryan.gl.scott at gmail.com
Wed Sep 5 14:14:33 UTC 2018

These aren't mutually exclusive ideas. While I'm sure there's many ways we
could solve this problem, David's idea has the distinct advantage of being
dead simple. I'd rather not block his vision on some other large refactor
that may never materialize. (And if it _does_ materialize, we could revert
any wiring-in of Coercible quite easily.)

Ryan S.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20180905/5ea071bc/attachment.html>

More information about the ghc-devs mailing list