Hello,

if I am not mistaken, the following code demonstrates a bug. The code extracts from a schema a type definition, referenced by an element declaration. The second line determines the element whose type definition is sought.

In mode 1, the type definition is not found, in mode 2 it is found. With Saxon, modes 1 and 2 are successful.

Strangely, at least with my XSD the error occurs only if the type to be found is xs:simpleType - it does not occur if it is xs:complexType.

Kind regards,

Hans-Juergen

===================================

declare variable $schemas := /*;
declare variable $elem := ($schemas//xs:element[@type eq 't:Room'])[1];
declare variable $mode := 1;

declare function local:getTypeDef($elem as element(xs:element)) as element()? {
   let $type := $elem/@type
   return

   if (empty($type)) then $elem/(xs:simpleType, xs:complexType) else

   let $qname := resolve-QName($type, $elem)
   let $lname := local-name-from-QName($qname)
   let $uri := namespace-uri-from-QName($qname)
   return
      if (empty($uri)) then
         let $actSchemas := $schemas[not(@targetNamespace)]
         return $actSchemas/(xs:complexType, xs:simpleType)[@name eq $lname]
      else
         if ($mode eq 1) then
            $schemas[@targetNamespace eq $uri]/(xs:complexType, xs:simpleType)[@name eq $lname]
         else
            let $actSchemas := $schemas[@targetNamespace eq $uri]
            let $types := $actSchemas/(xs:complexType, xs:simpleType)
            return $types[@name eq $lname]
};

<typeDef>{
   local:getTypeDef($elem)
}</typeDef>