Custom Steps and Namespace Fixup

In an IM discussion with Norm, we came up with an idea about
custom steps and namespace fixup:

* Custom steps should guarantee that their output includes all the necessary
   namespace declarations.

* Implementations are free to detect and generate a dynamic error when they
  do not do so.

I think this is a slight extension of our current text allowing
implementations to
detect and error on undeclared namespace names and between steps.

-- 
--Alex Milowski
"The excellence of grammar as a guide is proportional to the paucity of the
inflexions, i.e. to the degree of analysis effected by the language
considered."

Bertrand Russell in a footnote of Principles of Mathematics

Received on Thursday, 6 September 2007 16:52:29 UTC