Operators

Operators are syntax sugar over built-in functions.

Binary

<arithmetic_binary_operator> ::=
    | "+" | "+="
    | "-" | "-="
    | "*" | "*="
    | "/" | "/="
    | "%" | "%="
    | "**" | "**=" ;
<bitwise_binary_operator> ::=
    | "|" | "|="
    | ">>" | ">>="
    | "<<" | "<<="
    | "&" | "&="
    | "^" | "^=" ;

<logical_binary_operator> ::=
    | "=="
    | "!="
    | "&&"
    | "||"
    | ">" | ">="
    | "<" | "<=" ;

<binary_operator> ::=
    | <arithmetic_binary_operator>
    | <bitwise_binary_operator>
    | <logical_binary_operator> ;

Unary

<arithmetic_unary_operator> ::= "-" ;

<bitwise_unary_operator> ::= "~" ;

<logical_unary_operator> ::= "!" ;

<unary_operator> ::=
    | <arithmetic_unary_operator>
    | <bitwise_unary_operator>
    | <logical_unary_operator> ;

Semantics

Operator overloading is disallowed.

operator	types	behavior	panic case
+	integers	checked addition	overflow
-	integers	checked subtraction (binary)	underflow
-	integers	checked negation (unary)	overflow
*	integers	checked multiplication	overflow
/	integers	checked division	divide by zero
%	integers	checked modulus	divide by zero
**	integers	exponentiation	-
&	integers	bitwise AND	-
\|	integers	bitwise OR	-
~	integers	bitwise NOT	-
^	integers	bitwise XOR	-
>>	integers	bitwise shift right	-
<<	integers	bitwise shift left	-
==	any	equality	-
!=	any	inequality	-
&&	booleans	logical AND	-
\|\|	booleans	logical OR	-
!	booleans	logical NOT	-
>	integers	greater than	-
>=	integers	greater than or equal to	-
<	integers	less than	-
<=	integers	less than or equal to	-