Test that type checking works for a sequence of arrays.
Test seq-of-items-004.xml is expected to pass.
<p:declare-step xmlns:array="http://www.w3.org/2005/xpath-functions/array" xmlns:p="http://www.w3.org/ns/xproc" xmlns:xs="http://www.w3.org/2001/XMLSchema" name="main" version="3.0">
<p:output port="result" primary="true" sequence="false"/>
<p:input port="source" primary="true" sequence="true" content-types="application/json">
<p:inline content-type="application/json" expand-text="false">[1,2]</p:inline>
<p:inline content-type="application/json" expand-text="false">[3,4]</p:inline>
</p:input>
<p:variable name="v" as="array(xs:integer)*" collection="true" select="collection()"/>
<p:identity>
<p:with-input select="array:join($v)">
<p:inline>
<doc/>
</p:inline>
</p:with-input>
</p:identity>
<p:cast-content-type content-type="application/xml"/>
</p:declare-step>
<s:schema xmlns="http://www.w3.org/1999/xhtml" xmlns:s="http://purl.oclc.org/dsdl/schematron" queryBinding="xslt2">
<s:ns prefix="fn" uri="http://www.w3.org/2005/xpath-functions"/>
<s:pattern>
<s:rule context="/">
<s:assert test="fn:array">The root element is incorrect.</s:assert>
</s:rule>
</s:pattern>
<s:pattern>
<s:rule context="/fn:array">
<s:assert test="count(fn:number) = 4">Wrong number of numbers</s:assert>
<s:assert test="fn:number[1] = 1">The first item is incorrect</s:assert>
<s:assert test="fn:number[2] = 2">The second item is incorrect</s:assert>
<s:assert test="fn:number[3] = 3">The third item is incorrect</s:assert>
<s:assert test="fn:number[4] = 4">The fourth item is incorrect</s:assert>
</s:rule>
</s:pattern>
</s:schema>
Added test.