Simple is good. But what is this dead simple idea? Perhaps: https://github.com/ghc-proposals/ghc-proposals/pull/116 But that proposal lists several possible alternatives. Which one did you mean?
And all of them are language changes. Making evidence strict would require no language changes to solve the original problem. Maybe this thread belongs with the proposal, unless I’m misunderstanding. Simon From: ghc-devs <[email protected]> On Behalf Of Ryan Scott Sent: 05 September 2018 15:15 To: [email protected] Subject: Re: Unpacking coercions 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.
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
