[m-rev.] diff: fix tail call outputing bug

[Fergus Henderson]

On 08-Feb-2002, Peter Ross <peter.ross at miscrit.be> wrote:
> compiler/mlds_to_il.m:
>     The callee return type must be compatible with the caller return
>     type for a tail call on the IL backend, not just for verifiable code
>     but for any code.

Not according to the ECMA spec, last time I looked.

If Microsoft's implementation doesn't support that, then it
is a bug in Microsoft's implementation.

This code should be documented as a bug work-around.

(Perhaps we should even add an `--work-around-MS-clr-bugs' option ;-)

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------