[Bug 1688] simplifying the definition of AtomizeAtomic

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