Saxon

In the source XSLT, the variable declaration is:

                <xsl:variable as="element(test:e)" name="e">
			<xsl:copy-of select="$e" validation="strict" />
		</xsl:variable>

Saxon has inferred a type for the variable of element(test:e, (anonymous type)) and is trying to save this inferred type in the SEF file. But anonymous types have no reliable persistent name; certainly not one that will survive export of the schema to an SCM file followed by reloading.

Short of some kind of scheme that links the SEF to a schema (with change control to protect against it changing), I think we should be dropping the anonymous type from exported representation.

I'm wondering if we could introduce some kind of notation so that instead of

as='1NE nQ{http://www.example.com/test}e cQ{http://ns.saxonica.com/anonymous-type}e_anonymous_type_1_at_line_5_of_test.xsd'

we output

as='1NE nQ{http://www.example.com/test}e c~'

where the ~ means "the schema type corresponding to the declared type of the global element declaration Q{http://www.example.com/test}e".

But the simpler and safer fix is simply to drop the schema type from the alpha code if it's anonymous. It doesn't actually make a big difference: inferred type information is useful to the compiler, but it's not used very much (if at all) at run-time.