This returns true:
local:cat#2 instance of function(xs:string, xs:string) as xs:string
However there are many function types that local:cat#2 matches.
John
On 9 Feb 2012, at 23:50, David Lee wrote:
> I'm learning the exciting world of xquery3 function items.
> I'd like to tightly type an assignment but can't quite get the syntax.
>
> Should this work ?
>
> ---------------
> declare function local:cat( $a as xs:string , $b as xs:string ) as xs:string {
> concat($a,$b)
> };
>
> let $animal as xs:string := "Cat" ,
> $func as function( ) as xs:string := local:cat#2 (: HERE - how to type
> $func ? :)
> return $func("bad " , $animal )
>
>
> Thanks for any suggestions
_______________________________________________
[email protected]
http://x-query.com/mailman/listinfo/talk