[Bug 1714] [FS] editorial: 5.10 Schema Import

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1714


jmdyck@ibiblio.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |




------- Comment #3 from jmdyck@ibiblio.org  2006-10-05 02:59 -------
I said:
>
> SCP / rule 4 / conclusion
> "statEnv |- () =>type statEnv"
>     This uses '()' to stand in for an empty Definitions. This is not a
>     good idea, since there's possible confusion with '()' denoting the
>     empty sequence in the XQuery/Core syntax.

and you changed '()' to 'No Type Definition', i.e. replacing one ad-hoc thing
with another. Just delete it! There's nothing wrong with
    statEnv |- =>type statEnv

See
    5 / SCP / rule 1
    5 / DCP / rule 1
    5.11 / Notation 3 / rule 1
    5.11 / Notation 3 / rule 3
for similar constructs.