> [Incidentally, InlineCall is an undocumented feature. You can write >=20 > inline f x >=20 > to mean the same as (f x), except that this particular call=20 > 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