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

Andrew Bromage bromage at cs.mu.OZ.AU
Wed Aug 12 13:05:28 AEST 1998


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



More information about the developers mailing list