15690 2012-01-24 13:22:23 +0000 [XQ30] Annotations and function coercion 2012-02-14 13:43:35 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XQuery 3.0 Member-only Editors Drafts PC Windows NT RESOLVED FIXED P2 normal --- 1 tim jonathan.robie john.snelson public-qt-comments oldest_to_newest 63049 0 tim 2012-01-24 13:22:23 +0000 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) 64083 1 john.snelson 2012-02-14 13:31:03 +0000 I believe that the spec currently says that the function returned by function coercion takes it's signature from the expected SequenceType. Since annotations are part of that signature, I think that means that currently the spec says all original annotations are dropped. So I think the spec is currently clear, but wrong. I also think there's a problem here because we don't describe what to do if the expected SequenceType has annotation assertions. 64084 2 jonathan.robie 2012-02-14 13:43:13 +0000 The Working Group has decided that the new function's signature contains all annotations of the coerced function's signature.