From 94b50698cee0c9a1288d44fa857cefbc97f7e6ae Mon Sep 17 00:00:00 2001 From: Pierre Chambart Date: Fri, 19 Jan 2018 17:26:13 +0100 Subject: Rename for_primitive_clambda to for_primitive --- bytecomp/semantics_of_primitives.ml | 2 +- bytecomp/semantics_of_primitives.mli | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'bytecomp') 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 -- cgit v1.2.1