[Bug 3665] Type checking fn:data(())

• From: <bugzilla@wiggum.w3.org>
• Date: Thu, 07 Sep 2006 08:15:47 +0000
• To: public-qt-comments@w3.org
• CC:
• Message-Id: <E1GLF35-0001UH-8i@wiggum.w3.org>

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

           Summary: Type checking fn:data(())
           Product: XPath / XQuery / XSLT
           Version: Candidate 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


Consider the type-checking of fn:data(()) (i.e. fn:data on empty sequence)

statEnv |-  data on prime(Type) : Type1
--------------------------------------------
statEnv |-  (FN-URI,"data")(Type) : Type1 · quantifier(Type)

Type = empty
Type 1 = data on prime(empty) = data on (none) = none

Surely fn:data(()) should typecheck as empty?

Received on Thursday, 7 September 2006 08:16:00 UTC