W3C home > Mailing lists > Public > public-qt-comments@w3.org > January 2007

[Bug 4272] [FS] Type checking fn:data

From: <bugzilla@wiggum.w3.org>
Date: Tue, 23 Jan 2007 08:50:31 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1H9HMN-0000jj-Kj@wiggum.w3.org>

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

           Summary: [FS] Type checking fn:data
           Product: XPath / XQuery / XSLT
           Version: Proposed Recommendation
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: tim@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


If, during type checking, it can be determined that fn:data may be applied to a
node type which does not have a typed value, which of the following (if any)
should occur?

a) err:XPTY0004 be raised at type check time.
b) err:FOTY0012 be raised at type check time.
c) No errors raised at type check time, but err:FOTY0012 be raised during
evaluation.

If the correct behaviour is (c), what should be the static return type of
fn:data?
Received on Tuesday, 23 January 2007 08:50:39 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:32 UTC