- From: <bugzilla@wiggum.w3.org>
- Date: Thu, 05 Oct 2006 02:59:50 +0000
- To: public-qt-comments@w3.org
- CC:
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.
Received on Thursday, 5 October 2006 03:00:02 UTC