W3C home > Mailing lists > Public > public-qt-comments@w3.org > July 2005

[Bug 1688] simplifying the definition of AtomizeAtomic

From: <bugzilla@wiggum.w3.org>
Date: Thu, 21 Jul 2005 18:47:11 +0000
To: public-qt-comments@w3.org
Cc:
Message-Id: <E1Dvg4d-0008OX-9x@wiggum.w3.org>

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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:25 UTC