[Bug 15690] New: [XQ30] Annotations and function coercion

https://www.w3.org/Bugs/Public/show_bug.cgi?id=15690

           Summary: [XQ30] Annotations and function coercion
           Product: XPath / XQuery / XSLT
           Version: Member-only Editors Drafts
          Platform: PC
        OS/Version: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQuery 3.0
        AssignedTo: jonathan.robie@gmail.com
        ReportedBy: tim@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


What becomees of annotations when function coercion takes place?

For example, what is the result of the following query?

declare %local:annotation function local:starts-with-E(%a)
{
  starts-with($a, "E")
};

declare function local:is-annotated($f as function(xs:string) as xs:boolean) as
xs:boolean
{
  $f instance of %local:annotation function(*) 
};

local:is-annotated(local:starts-with#1)

-- 
Configure bugmail: https://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, 24 January 2012 13:22:26 UTC