20 Aug
2001
20 Aug
'01
9:01 a.m.
| 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? Yes, I think that's a good idea. The digit is like E.3: an example of over-eager design. Simon