[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: 6.3.7 Infix Operator "<>"
Greetings! Under Semantics we say: > Note that if either Left and Right are an error, the result is an > error; this operator cannot be used to determine if two errors are the > same kind of error. > Instead of None for constraints, shouldn't the possible values of Left or Right exclude an error? Then if the general rule is violation of constraint is an error then we can drop this sentence altogether. Actually, I would simply define the value types for Left and Right. No need to state a separate constraint. That would require saying that violation of value types for input or output of any function results in an error. Is that a desirable result? Hope everyone is having a great day! Patrick -- Patrick Durusau email@example.com Chair, V1 - US TAG to JTC 1/SC 34 Convener, JTC 1/SC 34/WG 3 (Topic Maps) Editor, OpenDocument Format TC (OASIS), Project Editor ISO/IEC 26300 Co-Editor, ISO/IEC 13250-1, 13250-5 (Topic Maps)