p:option not required without default value

Dear,

Nothing is said in the spec about what to do if we have the following
pipeline

<p:pipeline xmlns:p="http://www.w3.org/ns/xproc" xmlns:ix="
http://www.innovimax.fr/ns">
    <p:declare-step type="ix:test">
        <p:input port="source"/>
        <p:output port="result"/>
        <p:option name="not-required-no-default"/>
        <p:choose>
            <p:when test="$not-required-no-default">
                <p:identity/>
            </p:when>
            <p:otherwise>
                <p:filter select="/*"/>
            </p:otherwise>
        </p:choose>
    </p:declare-step>
    <ix:test/>
</p:pipeline>

Mohamed

-- 
Innovimax SARL
Consulting, Training & XML Development
9, impasse des Orteaux
75020 Paris
Tel : +33 9 52 475787
Fax : +33 1 4356 1746
http://www.innovimax.fr
RCS Paris 488.018.631
SARL au capital de 10.000 €