[Incidentally, InlineCall is an undocumented feature. You can write

inline f x

to mean the same as (f x), except that this particular call to f will be inlined.]

Not in source code, surely? It certainly doesn't look like 'inline' is a keyword. In external Core, you can write '%note InlineCall' to get this effect though. Cheers, Simon