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

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

From: <bugzilla@wiggum.w3.org>
Date: Sat, 07 Feb 2009 21:49:12 +0000
To: public-qt-comments@w3.org
Message-Id: <E1LVv32-0002hO-63@wiggum.w3.org>

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





--- Comment #27 from Michael Dyck <jmdyck@ibiblio.org>  2009-02-07 21:49:11 ---
I'm not sure that the XQuery test suite has a good test case for this
issue. I suggest adding one that's pretty much the same as fn-data-1,
but change the query body to:

    let $e as element() := $input-context1/examples:E6-Root/examples:E6
    return fn:data($e)

The expected result is still err:FOTY0012, but the current (unsound) FS rules
would deduce a static type of xs:untypedAtomic.


-- 
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 Saturday, 7 February 2009 21:49:22 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 7 February 2009 21:49:24 GMT