For the record I don't have strong feelings here. Maybe SPECIALISABLE should simply be a synonym for INLINABLE, allowing the author to emphasise what's important to him or her. S | -----Original Message----- | From: Libraries On Behalf Of Matthew | Pickering | Sent: 08 June 2018 18:48 | To: Daniel Cartwright | Cc: Haskell Libraries | Subject: Re: Rename INLINABLE to SPECIALISABLE | | INLINABLE also ensures the definition ends up in the interface files so that | the function is able to be inlined across modules. | | Matt | | On Fri, Jun 8, 2018 at 7:10 PM, Daniel Cartwright | wrote: | > The "INLINABLE" pragma's name is misleading, it is more like | > "SPECIALISABLE". Consider the documentation for INLINABLE: | > | > Top-level definitions can be marked INLINABLE. | > | > myComplicatedFunction :: (Show a, Num a) => ... | > myComplicatedFunction = ... | > | > {-# INLINABLE myComplicatedFunction #-} | > | > This causes exactly two things to happens. | > | > The function's (exact) definition is included in the interface file | > for the module. | > The function will be specialised at use sites -- even across modules. | > | > Note that GHC is no more keen to inline an INLINABLE function than any | > other. | > | > I propose that we deprecate "INLINABLE" over a number of years at the | > same time as introducing "SPECIALISABLE". This wouldn't cause | > breakages for a long time. | > | > _______________________________________________ | > Libraries mailing list | > Libraries@haskell.org | > https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.h | > askell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Flibraries&data=02%7C01%7Cs | > imonpj%40microsoft.com%7C4dcb66ed3d844dcf119208d5cd67fa2a%7C72f988bf86 | > f141af91ab2d7cd011db47%7C1%7C0%7C636640768833664956&sdata=oGZmlOi0PLsO | > ot%2FR5%2Fg3Vzl38sFyd6Dmzk6NPKB3DSo%3D&reserved=0 | > | _______________________________________________ | Libraries mailing list | Libraries@haskell.org | https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.haskell | .org%2Fcgi- | bin%2Fmailman%2Flistinfo%2Flibraries&data=02%7C01%7Csimonpj%40microsoft.com% | 7C4dcb66ed3d844dcf119208d5cd67fa2a%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C | 0%7C636640768833664956&sdata=oGZmlOi0PLsOot%2FR5%2Fg3Vzl38sFyd6Dmzk6NPKB3DSo | %3D&reserved=0