[m-dev.] trivial diff: fix tests/hard_coded/no_inline.m

[Andrew Bromage]

G'day.

Simon Taylor wrote:

> The will_not_call_mercury in that test case is a lie - the pragma c_code
> exits using a tailcall() and a proceed(), rather than falling through. If the
> C code is marked may_call_mercury, a stack frame is created to save the
> succip, but the stack frame is not removed on exit. The result is that
> the stuff after the call to the C code is executed multiple times.

In that case, it might be worth putting this paragraph as documentation
in the test case.

Cheers,
Andrew Bromage