require "python-semantics-ops.k"

module PYTHON-SEMANTICS-ARITHMETIC-OPS
  imports PYTHON-SEMANTICS-OPS

  rule O:Object ** O2:Object => coerceBinary(O, O2, "__pow__", "__rpow__", "**")
  rule - O => coerceUnary(O, "__neg__", "unary -")
  rule + O => coerceUnary(O, "__pos__", "unary +")
  rule ~ O => coerceUnary(O, "__invert__", "unary ~")
  rule O * O2 => coerceBinary(O, O2, "__mul__", "__rmul__", "*")
  rule O floor/ O2 => coerceBinary(O, O2, "__floordiv__", "__rfloordiv__", "//")
  rule O / O2 => coerceBinary(O, O2, "__truediv__", "__rtruediv__", "/")
  rule O % O2 => coerceBinary(O, O2, "__mod__", "__rmod__", "%")
  rule O + O2 => coerceBinary(O, O2, "__add__", "__radd__", "+")
  rule O - O2 => coerceBinary(O, O2, "__sub__", "__rsub__", "-")
  rule O << O2 => coerceBinary(O, O2, "__lshift__", "__rlshift__", "<<")
  rule O >> O2 => coerceBinary(O, O2, "__rshift__", "__rrshift__", ">>")
  rule O & O2 => coerceBinary(O, O2, "__and__", "__rand__", "&")
  rule O ^ O2 => coerceBinary(O, O2, "__xor__", "__rxor__", "^")
  rule O | O2 => coerceBinary(O, O2, "__or__", "__ror__", "|")

  rule [subscript]: <k> O:Object [ O2:Object ] => (getmember(O, "__getitem__", true, false, false) (O2)) -> raiseInternal("TypeError", "object is not subscriptable") ...</k>

endmodule