How do you stop functions being inlined?

[Simon Peyton-Jones]

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

Yes, I think that's a good idea.  The digit is like E.3: an example
of over-eager design.

Simon