Re: Questions on implementations and specs

["chris.danx" <chris.danx@ntlworld.com>]

"chris.danx" <chris.danx@ntlworld.com> wrote in message
news:Ahkx7.4857$i14.643289@news2-win.server.ntlworld.com...
> Hi,

> p.s.  In the case of XMLAda, I've just noted that it does propagate this
> exception by putting it as a renaming in the file (adding Name_Error :
> exception renames Ada.IO_Exceptions.Name_Error at the top of
> input_sources.file (spec)).  This isn't a big deal, and I don't want it to
> turn into one.

Further investigation of the XMLAda packages reveals that this isn't
correct.  Name_Error doesn't appear propagated at all, my appologies to the
XMLAda folks!

I'm still interested to know what the advice on the issue of documenting
propagation of exceptions is.


Chris