Option declaration 018

Checks not required option with default value is type checked.

Test ab-option-018.xml is expected to fail with error code err:XD0036.

The pipeline


<p:declare-step xmlns:err="http://www.w3.org/ns/xproc-error" xmlns:p="http://www.w3.org/ns/xproc" xmlns:xs="http://www.w3.org/2001/XMLSchema" version="3.0">
   <p:output port="result">
   <p:option name="option" required="false" select="'default value'" as="xs:boolean">
   <p:identity>
      <p:with-input>
         <doc>{$option}</doc>
      </p:with-input>
   </p:identity>
</p:declare-step>

MorganaXProc passing

XML Calabash passing

19 Jul 2019 13:21, Norman Walsh: Add declaration for the xs: namespace
02 Jun 2018 17:53, Norman Walsh: Fix namespace declarations
02 Feb 2018 17:42, Achim Berndzen: added new tests