diff options
| -rw-r--r-- | asmcomp/closure.ml | 2 | ||||
| -rw-r--r-- | asmcomp/un_anf.ml | 2 | ||||
| -rw-r--r-- | bytecomp/semantics_of_primitives.ml | 2 | ||||
| -rw-r--r-- | bytecomp/semantics_of_primitives.mli | 2 | ||||
| -rw-r--r-- | middle_end/effect_analysis.ml | 2 |
5 files changed, 5 insertions, 5 deletions
diff --git a/asmcomp/closure.ml b/asmcomp/closure.ml index 6d3eb15767..71eb2abd90 100644 --- a/asmcomp/closure.ml +++ b/asmcomp/closure.ml @@ -212,7 +212,7 @@ let lambda_smaller lam threshold = let is_pure_clambda_prim p = let open Semantics_of_primitives in - match Semantics_of_primitives.for_clambda_primitive p with + match Semantics_of_primitives.for_primitive p with | (No_effects | Only_generative_effects), _ -> true | Arbitrary_effects, _ -> false diff --git a/asmcomp/un_anf.ml b/asmcomp/un_anf.ml index 5d06aa963a..50f9e7b1e2 100644 --- a/asmcomp/un_anf.ml +++ b/asmcomp/un_anf.ml @@ -599,7 +599,7 @@ let primitive_moveable (prim : Clambda_primitives.primitive) is never mutated *) Moveable | _ -> - match Semantics_of_primitives.for_clambda_primitive prim with + match Semantics_of_primitives.for_primitive prim with | No_effects, No_coeffects -> Moveable | No_effects, Has_coeffects | Only_generative_effects, No_coeffects diff --git a/bytecomp/semantics_of_primitives.ml b/bytecomp/semantics_of_primitives.ml index 95084ea218..2daf167ecd 100644 --- a/bytecomp/semantics_of_primitives.ml +++ b/bytecomp/semantics_of_primitives.ml @@ -19,7 +19,7 @@ type effects = No_effects | Only_generative_effects | Arbitrary_effects type coeffects = No_coeffects | Has_coeffects -let for_clambda_primitive (prim : Clambda_primitives.primitive) = +let for_primitive (prim : Clambda_primitives.primitive) = match prim with | Pmakeblock _ | Pmakearray (_, Mutable) -> Only_generative_effects, No_coeffects diff --git a/bytecomp/semantics_of_primitives.mli b/bytecomp/semantics_of_primitives.mli index e9bb236130..78407df71d 100644 --- a/bytecomp/semantics_of_primitives.mli +++ b/bytecomp/semantics_of_primitives.mli @@ -60,7 +60,7 @@ type coeffects = No_coeffects | Has_coeffects the (non-)(co)effectfulness of the arguments in a primitive application. To determine whether such an application is (co)effectful, the arguments must also be analysed. *) -val for_clambda_primitive: Clambda_primitives.primitive -> effects * coeffects +val for_primitive: Clambda_primitives.primitive -> effects * coeffects type return_type = | Float diff --git a/middle_end/effect_analysis.ml b/middle_end/effect_analysis.ml index 33679671db..d0cbd44180 100644 --- a/middle_end/effect_analysis.ml +++ b/middle_end/effect_analysis.ml @@ -18,7 +18,7 @@ open! Int_replace_polymorphic_compare let no_effects_prim (prim : Clambda_primitives.primitive) = - match Semantics_of_primitives.for_clambda_primitive prim with + match Semantics_of_primitives.for_primitive prim with | (No_effects | Only_generative_effects), (No_coeffects | Has_coeffects) -> true | _ -> false |