RE: How do you stop functions being inlined?

On Fri, 17 Aug 2001, Simon Peyton-Jones wrote:

Caveat

This proposal is arguably GHC-centric, since it makes the report match GHC. On the other hand, GHC is an optimising compiler, which is what pragmas are for.

Well, GHC and the report still differ. They have different semantics for the INLINE pragma. The report says that the optional digit specifies at what level of optimization the inlining should trigger. GHC on the other hand uses the digit for determining which inlining pass should inline the function. Maybe the optional digit in the INLINE pragma should be removed in the report? Cheers, /Josef