- From: <bugzilla@wiggum.w3.org>
- Date: Thu, 21 Jul 2005 18:47:11 +0000
- To: public-qt-comments@w3.org
- Cc:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=1688
simeon@us.ibm.com changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
------- Additional Comments From simeon@us.ibm.com 2005-07-21 18:47 -------
(a), (b), (c), and (d) will be better handled, by removing "and Expr : Type and
not(Type=empty)" in the first case of the definition of
[Expr]AtomizeAtomic(SequenceType). See also bug 1576.
(e) is correct and should be fixed as suggested.
(f) is editorial. I think we should avoid using:
If [SequenceType]sequencetype <: xdt:anyAtomicType*
then fn:data(Expr)
else Expr
which looks like XQuery, but isn't XQuery. We cannot actually
write this as a proper normalization rule since
[SequenceType]sequencetype <: xdt:anyAtomicType*
is not an acceptable expression.
- Jerome
Received on Thursday, 21 July 2005 18:47:16 UTC