Unpacking coercions

Simon Peyton Jones simonpj at microsoft.com
Tue Sep 4 15:37:05 UTC 2018

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


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>

More information about the ghc-devs mailing list