[Bug 4273] [FS] data on element()

http://www.w3.org/Bugs/Public/show_bug.cgi?id=4273





--- Comment #48 from Michael Dyck <jmdyck@ibiblio.org>  2009-02-17 20:43:52 ---
(In reply to comment #46)
> 
> "When construction mode is 'preserve', it can't succeed because the XQuery
> spec mandates a type annotation of xs:anyType for a constructed node, so
> soundness dictates that FS can't infer anything more specific for the
> constructor expression."
> 
> ...and yet at runtime we can be sure that fn:data applied to such an element
> will be xs:untypedAtomic.  Is there nothing that can be done to improve
> matters?

The problem is that the FS rules don't know that the type annotation of
the node is xs:anyType, they just know that it's some subtype of xs:anyType
(including xs:anyType itself), and the (proper) subtypes lead to typed
values with types other than xs:untypedAtomic.  I think it would be
difficult to make the type system capable of distinguishing the two.


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Tuesday, 17 February 2009 20:44:02 UTC