Unpacking coercions

[Simon Peyton Jones]

It would be good to have a clear problem statement, plus an example of a program that runs more slowly than it “should”.

Simon

From: ghc-devs <ghc-devs-bounces at haskell.org> On Behalf Of Ryan Scott
Sent: 04 September 2018 14:02
To: ghc-devs at haskell.org
Subject: Re: Unpacking coercions

If we can gain some performance from this, then I'm generally supportive of this idea.

I'm still of the belief that we could teach GHC to unpack boxed equality constraints, but your idea would definitely be the simpler one to implement.

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