Re: [xsl] Returning item type of variable (problems with maps)

[Michael Kay <mike@xxxxxxxxxxxx>]

On 28 Mar 2014, at 16:01, Dimitre Novatchev <dnovatchev@xxxxxxxxx> wrote:

> On Fri, Mar 28, 2014 at 2:38 AM, Michael Kay <mike@xxxxxxxxxxxx> wrote:
>> Looks as if this might need upgrading to handle new 3.0 types (functions,
maps). Which are a bit more difficult to do using "instance of" tests, because
the set of types to test for isn't easily enumerated.
>
> Isn't this expression correct:
>
>  $thing instance of function(*)  ?
>
> I guess this will fail in XPath 3.0:
>
>  $thing instance of map(*)
>
> but this should be OK in XPath 3.1 ...  Or not?
>
>

Yes - but the challenge is to find out that a map is an instance of
map(xs:string, element(emp)) or whatever, if you want to know what kind of map
you have been given.

Michael Kay
Saxonica