[closed] Re: err:XS0012 not needed?

Norman Walsh <ndw@nwalsh.com> writes:

> Toman_Vojtech@emc.com writes:
>
>> For p:input (5.1.1) we say that:
>>
>> "It is a static error (err:XS0012) if the port given does not match the
>> name of an input port specified in the step's declaration."
>>
>> There is no corresponding error for p:output. Actually, there used to be
>> one (err:XS0013) but it has been removed quite some time ago.
>>
>> My question is:
>>
>> - should we re-introduce err:XS0013; or
>> - should we remove err:XS0012 because it actually is a subset of
>> err:XS0010
>>
>> I think that the latter option is correct.
>
> Yes. I think maybe you're right.

Fixed.

                                        Be seeing you,
                                          norm

-- 
Norman Walsh <ndw@nwalsh.com> | An ill-humoured man is a prisoner at
http://nwalsh.com/            | the mercy of an enemy from whom he can
                              | never escape.-- Sa'di