From mboxrd@z Thu Jan 1 00:00:00 1970 From: Fergus Henderson To: dewar@gnat.com (Robert Dewar) Cc: bernds@redhat.com, gcc@gcc.gnu.org Subject: Re: forcing tail/sibling call optimization Date: Sun, 26 Nov 2000 18:08:00 -0000 Message-id: <20001127130758.D1051@hg.cs.mu.oz.au> References: <20001126234619.A52E534D80@nile.gnat.com> X-SW-Source: 2000-11/msg01153.html On 26-Nov-2000, Robert Dewar 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 | "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.