[m-rev.] diff: fix tail call outputing bug
Fergus Henderson
fjh at cs.mu.OZ.AU
Sat Feb 9 20:31:43 AEDT 2002
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
--------------------------------------------------------------------------
More information about the reviews
mailing list