[xquery-talk] xs:error and AbstractTypes

[Christian Grün]

Hi Adam,

> Am I right in thinking that Saxon evaluates this because it supports
> [Schema 1.1 Part 2], whereas eXist-db and BaseX do not?

This would be my guess, too.

> Also if anyone has any bright ideas, about a type that I could
> explicitly declare for a function argument, but that CANNOT be
> constructed within XQuery, I would be interested to know.

Apart from the general item() type, I can only think of xs:anyAtomicType:

    declare function local:test2($x as xs:anyAtomicType*) {
      <hello>
    };
    local:test2(())

Cheers
Christian