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@haskell.org> On Behalf Of Ryan Scott
Sent: 04 September 2018 14:02
To: ghc-devs@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.