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
