add add lxor (^) unified operator

Author: MiryangJung

compiler/ml/unified_ops.ml

@@ -172,6 +172,19 @@ let entries =
           float = Some Ppowfloat;
           bigint = Some Ppowbigint;
           string = None;
+        }
+    };
+    {
+      path = builtin "^";
+      name = "%xor";
+      form = Binary;
+      specialization =
+        {
+          int = Pxorint;
+          bool = None;
+          float = None;
+          bigint = Some Pxorbigint;
+          string = None;
         };
     };
   |]

runtime/Pervasives.res

@@ -52,6 +52,7 @@ external \"/": ('a, 'a) => 'a = "%div"
 external \"%": ('a, 'a) => 'a = "%mod"
 external mod: ('a, 'a) => 'a = "%mod"
 external \"**": ('a, 'a) => 'a = "%pow"
+external \"^": ('a, 'a) => 'a = "%xor"
 
 /* Comparisons */
 /* Note: Later comparisons will be converted to unified operations too */

runtime/Pervasives_mini.res

@@ -31,6 +31,7 @@ external \"/": (int, int) => int = "%divint"
 external \"%": (int, int) => int = "%modint"
 external mod: (int, int) => int = "%modint"
 external \"**": (int, int) => int = "%powint"
+external \"^": (int, int) => int = "%xorint"
 
 /* Comparisons */
 /* Note: Later comparisons will be converted to unified operations too */

tests/syntax_tests/data/parsing/grammar/expressions/binary.res

@@ -28,6 +28,7 @@ let x = z |> @attr while condition { () }
 let x = a + -1 + -2
 let x = a + @attr -1 + @attr -2
 let x = a % a == 0
+let x = a ^ a == 0
 
 // should be interpreted as binary expression not prefix op
 let x = a -b

tests/syntax_tests/data/printer/expr/binary.res

@@ -54,6 +54,7 @@ let () = (x: int) |> (print_int: int => unit)
 x + y / z
 x / y + z
 x % y * z
+x ^ y + z
 100 * x / total
 2 / 3 * 10 / 2 + 2
 let rotateX = ((range / rect.height) * refY - range / 2) * getXMultiplication(rect.width)

tests/tests/src/belt_int_test.res

@@ -41,5 +41,6 @@ describe(__MODULE__, () => {
     eq(__LOC__, 2 * 3, 6)
     eq(__LOC__, 2 / 3, 0)
     eq(__LOC__, 2 % 2, 0)
+    eq(__LOC__, 2 ^ 3, 1)
   })
 })

tests/tests/src/unified_ops_test.res

@@ -26,3 +26,5 @@ let pow2 = 2. ** 2.
 let pow3 = 2n ** 2n
 
 let pow_overflow = 2147483647 ** 2
+
+let lxor = (a, b: int) => a ^ b