migrate other arithmetic operators

Author: cometkim

compiler/ml/unified_ops.ml

@@ -56,6 +56,32 @@ let builtin x = Primitive_modules.pervasives ^ "." ^ x
 
 let entries =
   [|
+    {
+      path = builtin "~+";
+      name = "%pos";
+      form = Unary;
+      specialization =
+        {
+          int = Pidentity;
+          bool = None;
+          float = Some Pidentity;
+          bigint = Some Pidentity;
+          string = None;
+        };
+    };
+    {
+      path = builtin "~-";
+      name = "%neg";
+      form = Unary;
+      specialization =
+        {
+          int = Pnegint;
+          bool = None;
+          float = Some Pnegfloat;
+          bigint = Some Pnegbigint;
+          string = None;
+        };
+    };
     {
       path = builtin "+";
       name = "%add";
@@ -82,6 +108,45 @@ let entries =
           string = None;
         };
     };
+    {
+      path = builtin "*";
+      name = "%mul";
+      form = Binary;
+      specialization =
+        {
+          int = Pmulint;
+          bool = None;
+          float = Some Pmulfloat;
+          bigint = Some Pmulbigint;
+          string = None;
+        };
+    };
+    {
+      path = builtin "/";
+      name = "%div";
+      form = Binary;
+      specialization =
+        {
+          int = Pdivint Safe;
+          bool = None;
+          float = Some Pdivfloat;
+          bigint = Some Pdivbigint;
+          string = None;
+        };
+    };
+    {
+      path = builtin "mod";
+      name = "%mod";
+      form = Binary;
+      specialization =
+        {
+          int = Pmodint Safe;
+          bool = None;
+          float = Some Pmodfloat;
+          bigint = Some Pmodbigint;
+          string = None;
+        };
+    };
   |]
 
 let index_by_path =

runtime/Pervasives.res

@@ -42,8 +42,14 @@ external __POS_OF__: 'a => ((string, int, int, int), 'a) = "%loc_POS"
 
 /* Unified operations */
 
+external \"~+": 'a => 'a = "%pos"
+external \"~-": 'a => 'a = "%neg"
+
 external \"+": ('a, 'a) => 'a = "%add"
 external \"-": ('a, 'a) => 'a = "%sub"
+external \"*": ('a, 'a) => 'a = "%mul"
+external \"/": ('a, 'a) => 'a = "%div"
+external mod: ('a, 'a) => 'a = "%mod"
 
 /* Comparisons */
 /* Note: Later comparisons will be converted to unified operations too */
@@ -70,13 +76,8 @@ external \"||": (bool, bool) => bool = "%sequor"
 
 /* Integer operations */
 
-external \"~-": int => int = "%negint"
-external \"~+": int => int = "%identity"
 external succ: int => int = "%succint"
 external pred: int => int = "%predint"
-external \"*": (int, int) => int = "%mulint"
-external \"/": (int, int) => int = "%divint"
-external mod: (int, int) => int = "%modint"
 
 @deprecated("Use Core instead. This will be removed in v13")
 let abs = x =>