Re: Is there a way to prevent reboxing in W/W (due to OPAQUE pragma proposal)

2021-06-24 Thread Sebastian Graf
Hi Christiaan, Wow, the whole OPAQUE pragma proposal and implementation completely slipped my attention. I left a comment on the proposal about GHC.Exts.{lazy,noinline}. Regarding the reboxing problem: You might want to wait for !5790 , wh

RE: Is there a way to prevent reboxing in W/W (due to OPAQUE pragma proposal)

2021-06-24 Thread Simon Peyton Jones via ghc-devs
Christiaan I'm totally paged out on this. Would you like to do this via a comment on !5562, giving a concrete example of a small program that doesn't behave as you expect with your patch? Sebastian may be able to help too. Simon From: ghc-devs On Behalf Of Christiaan Baaij Sent: 24 June 202

Is there a way to prevent reboxing in W/W (due to OPAQUE pragma proposal)

2021-06-24 Thread Christiaan Baaij
Hi Ghc-Devs, I believe I've mostly finished the implementation of GHC proposal 0415 [1], the OPAQUE pragma, over at: https://gitlab.haskell.org/ghc/ghc/-/merge_requests/5562 The only remaining issue is that I'm unsure whether there's a way to prevent reboxing of worker arguments as witnessed here