forcing tail/sibling call optimization

[Fergus Henderson]

On 26-Nov-2000, Robert Dewar <dewar@gnat.com> wrote:
> Note that if you want to make a warning message a formal requirement,
> then you must provide a formal definition of what a warning message is,
> and I do not think you want to get into that sort of thing :-)

It's not hard to give a formal definition for warnings, at least to
the level of precision used in the C standard.  But that discussion is
probably not appropriate for this forum.

> I think there is real merit in providing fairly formal specifications
> for GNU C enhancements

I agree.

-- 
Fergus Henderson <fjh@cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: < http://www.cs.mu.oz.au/~fjh >  |     -- the last words of T. S. Garp.