> > There is a (stale) ghc-proposal for that, > https://github.com/ghc-proposals/ghc-proposals/pull/357 >
So there is! Thank you. Gergo: would you like to take over this proposal, revise it if necessary in the light of the comments, and submit it? Simon On Fri, 6 May 2022 at 10:08, Oleg Grenrus <oleg.gren...@iki.fi> wrote: > There is a (stale) ghc-proposal for that, > https://github.com/ghc-proposals/ghc-proposals/pull/357 > > - Oleg > > On 6.5.2022 12.04, Simon Peyton Jones wrote: > > Dear devs > > > > At the moment the INLINEABLE pragma means "capture my right-hand side, > > regardless of how big it is, so that it can be type-class-specialised, > > including in other modules". But it /also /says "feel free to inline > me". > > > > Some users (eg Gergo) want to say NOINLINE on some functions. But for > > these they'd still like to generate type-class-specialised versions. > > After all, if we aren't going to inline them, specialising is the next > > best thing. > > > > But we have no way to say both "specialise me" and "don't inline me", > > because you can't say both INLINEABLE and NOINLINE. (That would look > > silly.) > > > > I think we should probably just bite the bullet and add a > > SPECIALISABLE pragma, /orthogonal to INLINE/NOINLNE/, which say > > "capture my right-hand side, regardless of how big it is, so that it > > can be type-class-specialised, including in other modules". It > > behaves exactly like INLINEABLE except that you can specify it along > > with INLINE/NOINLINE. > > > > Any thoughts? Do you think this needs a GHC proposal? > > > > See #21036 < > https://gitlab.haskell.org/ghc/ghc/-/issues/21036#note_407930> > > > > > > Simon > > > > _______________________________________________ > > ghc-devs mailing list > > ghc-devs@haskell.org > > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs > _______________________________________________ > ghc-devs mailing list > ghc-devs@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs >
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
