Next: , Previous: , Up: Expression Evaluator   [Index]


3.9 Infix Binary Operators

Infix binary operators may be of either an intrinsic type (though not void), either an application defined opaque type. The operator type is the type to which the operator evaluates.

See Intrinsic Types.

See Application Defined Types.

See Operator Character Set.

Operator definitions are introduced through the struct x1f4_operator_type record.

See struct x1f4_operator_type.

Infix binary operators are overloadable, i.e. there may exist more infix binary operators with the same name, but not with the same name and argument types list.

Implicit type conversion are not performed for infix binary operator arguments. If it is desirable that a logic operator is defined for more data type pairs an operator must be defined for each of the intended data types pair (if the ‘-’ is to be available for any pair of the intrinsic cardinal, integer and real scalar types, an explicit definition needs to be introduced for the ‘-’ operator for each of the nine possible data type pairs).

See Implicit Conversions.