W3C home > Mailing lists > Public > public-qt-comments@w3.org > February 2009

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

From: <bugzilla@wiggum.w3.org>
Date: Tue, 17 Feb 2009 09:30:34 +0000
To: public-qt-comments@w3.org
Message-Id: <E1LZMHi-0005rc-M3@wiggum.w3.org>
http://www.w3.org/Bugs/Public/show_bug.cgi?id=4273





--- Comment #46 from Tim Mills <tim@cbcl.co.uk>  2009-02-17 09:30:34 ---
Regarding Comment #45, yes - I was talking about the 'preserve' case.  As this
is the default construction mode, I'm guessing casual users not realise the
benefits of 'strip'.

"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?


-- 
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 09:30:47 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:26 UTC