sml Numeric Types Arithmetic Operator Error with Mixed Numeric Types


Example

Cannot add Integer and Real*

- 5 + 1.0;
stdIn:1.2-10.4 Error: operator and operand don't agree [overload conflict]
  operator domain: [+ ty] * [+ ty]
  operand:         [+ ty] * real
  in expression:
    5 + 1.0