remove is_safe from Pdivbigint, Pmodbigint

Author: mununki

jscomp/core/lam_convert.ml

@@ -258,8 +258,8 @@ let lam_prim ~primitive:(p : Lambda.primitive) ~args loc : Lam.t =
   | Paddbigint -> prim ~primitive:Paddbigint ~args loc
   | Psubbigint -> prim ~primitive:Psubbigint ~args loc
   | Pmulbigint -> prim ~primitive:Pmulbigint ~args loc
-  | Pdivbigint _is_safe (*FIXME*) -> prim ~primitive:Pdivbigint ~args loc
-  | Pmodbigint _is_safe (*FIXME*) -> prim ~primitive:Pmodbigint ~args loc
+  | Pdivbigint -> prim ~primitive:Pdivbigint ~args loc
+  | Pmodbigint -> prim ~primitive:Pmodbigint ~args loc
   | Ppowbigint -> prim ~primitive:Ppowbigint ~args loc
   | Pandbigint -> prim ~primitive:Pandbigint ~args loc
   | Porbigint -> prim ~primitive:Porbigint ~args loc

jscomp/ml/lambda.ml

@@ -231,7 +231,7 @@ type primitive =
   | Pfloatcomp of comparison
   (* Bigint operations *)
   | Pnegbigint | Paddbigint | Psubbigint | Ppowbigint
-  | Pmulbigint | Pdivbigint of is_safe | Pmodbigint of is_safe
+  | Pmulbigint | Pdivbigint | Pmodbigint
   | Pandbigint | Porbigint | Pxorbigint
   | Plslbigint | Pasrbigint
   | Pbigintcomp of comparison

jscomp/ml/lambda.mli

@@ -197,7 +197,7 @@ type primitive =
   | Pfloatcomp of comparison
   (* Bigint operations *)
   | Pnegbigint | Paddbigint | Psubbigint | Ppowbigint
-  | Pmulbigint | Pdivbigint of is_safe | Pmodbigint of is_safe
+  | Pmulbigint | Pdivbigint | Pmodbigint
   | Pandbigint | Porbigint | Pxorbigint
   | Plslbigint | Pasrbigint
   | Pbigintcomp of comparison

jscomp/ml/printlambda.ml

@@ -187,10 +187,8 @@ let primitive ppf = function
   | Pxorbigint -> fprintf ppf "xor"
   | Plslbigint -> fprintf ppf "lsl"
   | Pasrbigint -> fprintf ppf "asr"
-  | Pdivbigint Safe -> fprintf ppf "/"
-  | Pdivbigint Unsafe -> fprintf ppf "/u"
-  | Pmodbigint Safe -> fprintf ppf "mod"
-  | Pmodbigint Unsafe -> fprintf ppf "mod_unsafe"
+  | Pdivbigint -> fprintf ppf "/"
+  | Pmodbigint -> fprintf ppf "mod"
   | Pbigintcomp(Ceq) -> fprintf ppf "==,"
   | Pbigintcomp(Cneq) -> fprintf ppf "!=,"
   | Pbigintcomp(Clt) -> fprintf ppf "<,"
@@ -302,8 +300,8 @@ let name_of_primitive = function
   | Paddbigint -> "Paddbigint"
   | Psubbigint -> "Psubbigint"
   | Pmulbigint -> "Pmulbigint"
-  | Pdivbigint _ -> "Pdivbigint"
-  | Pmodbigint _ -> "Pmodbigint"
+  | Pdivbigint -> "Pdivbigint"
+  | Pmodbigint -> "Pmodbigint"
   | Ppowbigint -> "Ppowbigint"
   | Pandbigint -> "Pandbigint"
   | Porbigint -> "Porbigint"

jscomp/ml/translcore.ml

@@ -374,9 +374,9 @@ let primitives_table =
       ("%addbigint", Paddbigint);
       ("%subbigint", Psubbigint);
       ("%mulbigint", Pmulbigint);
-      ("%divbigint", Pdivbigint Safe);
+      ("%divbigint", Pdivbigint);
       ("%powbigint", Ppowbigint);
-      ("%modbigint", Pmodbigint Safe);
+      ("%modbigint", Pmodbigint);
       ("%eqbigint", Pbigintcomp Ceq);
       ("%noteqbigint", Pbigintcomp Cneq);
       ("%ltbigint", Pbigintcomp Clt);