1576 2005-07-14 04:05:32 +0000 [FS] technical: 4.1.5 Function Calls: AtomizeAtomic 2005-09-06 12:58:48 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts All All CLOSED FIXED P2 normal --- 1 jmdyck simeon fred.zemke public-qt-comments oldest_to_newest 4550 0 jmdyck 2005-07-14 04:05:32 +0000 4.1.5 Function Calls Notation []_AtomizeAtomic() "and Expr : Type and not(Type=empty)" I'm not clear on the need for these conditions. They restrict the catchment of the first (fn:data) alternative to expressions with a non-empty type; if you dropped these conditions, the only effect would be to move untypeable and empty-type expressions from the second to the first alternative. But untypeable expressions will raise an error in STA under either alternative, and empty-type expressions will yield the empty sequence under either alternative. [fn:data(()) == ()] So it seems to me that dropping the conditions would simplify the spec without changing the semantics. 4927 1 simeon 2005-07-19 21:09:31 +0000 Yes I agree with the analysis. I believe we should drop those condition and simplify as suggested. - Jerome 5045 2 jmdyck 2005-07-20 22:29:38 +0000 (In reply to comment #1) > Yes I agree with the analysis. > I believe we should drop those condition and simplify as suggested. Note that, in that case, the conditional structures of []_AtomizeAtomic and []_Convert become identical, and the two forms can be merged (into []_ConvertAtomic, say). 5078 3 simeon 2005-07-21 17:30:49 +0000 Agreed. - Jerome 5142 4 simeon 2005-07-22 16:12:20 +0000 *** Bug 1688 has been marked as a duplicate of this bug. *** 5143 5 simeon 2005-07-22 16:15:27 +0000 The Working Groups have decided to adopt your comment, with an amendment that the sequencetype has to be normalized for the subtyping judgment to work. The resulting rule for []_AtomizeAtomic() will be: [Expr]AtomizeAtomic(SequenceType) denotes fn:data(Expr) If [ SequenceType ]_sequencetype <: xdt:anyAtomicType* Expr Otherwise The question of merging the two rules or not will be left to editorial discretions. - Jerome On behalf of the XML query and XSL WGs