File tree 3 files changed +10
-7
lines changed
3 files changed +10
-7
lines changed Original file line number Diff line number Diff line change @@ -46,7 +46,7 @@ let rec no_side_effects (lam : Lam.t) : bool =
46
46
Ext_list. for_all args no_side_effects &&
47
47
(
48
48
match primitive with
49
- | Pccall {prim_name ; _ } ->
49
+ | Pccall {prim_name } ->
50
50
begin
51
51
match prim_name,args with
52
52
| (" caml_register_named_value"
Original file line number Diff line number Diff line change @@ -57,16 +57,17 @@ type t =
57
57
| Pnegint | Paddint | Psubint | Pmulint | Pdivint | Pmodint
58
58
| Pandint | Porint | Pxorint
59
59
| Plslint | Plsrint | Pasrint
60
- | Pintcomp of Lam_compat .comparison
60
+
61
61
| Poffsetint of int
62
62
| Poffsetref of int
63
63
(* Float operations *)
64
64
| Pintoffloat | Pfloatofint
65
65
| Pnegfloat
66
- (* | Pabsfloat *) (* is {!Pervasives.abs_float} %abs_float*)
67
66
| Paddfloat | Psubfloat | Pmulfloat | Pdivfloat
67
+ | Pintcomp of Lam_compat. comparison
68
68
| Pfloatcomp of Lam_compat. comparison
69
69
| Pjscomp of Lam_compat. comparison
70
+ | Pbintcomp of Lam_compat. boxed_integer * Lam_compat. comparison
70
71
| Pjs_apply (* [f;arg0;arg1; arg2; ... argN]*)
71
72
| Pjs_runtime_apply (* [f; [...]] *)
72
73
(* String operations *)
@@ -108,7 +109,7 @@ type t =
108
109
| Plslbint of Lam_compat. boxed_integer
109
110
| Plsrbint of Lam_compat. boxed_integer
110
111
| Pasrbint of Lam_compat. boxed_integer
111
- | Pbintcomp of Lam_compat .boxed_integer * Lam_compat .comparison
112
+
112
113
(* Compile time constants *)
113
114
| Pctconst of Lam_compat. compile_time_constant
114
115
(* byte swap *)
Original file line number Diff line number Diff line change @@ -54,15 +54,17 @@ type t =
54
54
| Pnegint | Paddint | Psubint | Pmulint | Pdivint | Pmodint
55
55
| Pandint | Porint | Pxorint
56
56
| Plslint | Plsrint | Pasrint
57
- | Pintcomp of Lam_compat. comparison
57
+
58
58
| Poffsetint of int
59
59
| Poffsetref of int
60
60
| Pintoffloat | Pfloatofint
61
61
| Pnegfloat
62
- (* | Pabsfloat *)
62
+
63
63
| Paddfloat | Psubfloat | Pmulfloat | Pdivfloat
64
+ | Pintcomp of Lam_compat. comparison
64
65
| Pfloatcomp of Lam_compat. comparison
65
66
| Pjscomp of Lam_compat. comparison
67
+ | Pbintcomp of Lam_compat. boxed_integer * Lam_compat. comparison
66
68
| Pjs_apply (* [f;arg0;arg1; arg2; ... argN]*)
67
69
| Pjs_runtime_apply (* [f; [...]] *)
68
70
| Pstringlength
@@ -103,7 +105,7 @@ type t =
103
105
| Plslbint of Lam_compat. boxed_integer
104
106
| Plsrbint of Lam_compat. boxed_integer
105
107
| Pasrbint of Lam_compat. boxed_integer
106
- | Pbintcomp of Lam_compat. boxed_integer * Lam_compat. comparison
108
+
107
109
(* Compile time constants *)
108
110
| Pctconst of Lam_compat. compile_time_constant
109
111
(* byte swap *)
You can’t perform that action at this time.
0 commit comments