diff options
author | Pierre Chambart <pierre.chambart@ocamlpro.com> | 2018-01-19 17:26:13 +0100 |
---|---|---|
committer | Pierre Chambart <pierre.chambart@ocamlpro.com> | 2019-02-11 17:16:44 +0100 |
commit | 94b50698cee0c9a1288d44fa857cefbc97f7e6ae (patch) | |
tree | d2bdd1d4ceb5e7f957c2afe444d21194f3774e49 /bytecomp | |
parent | f8058ac367a44bbb275e02ce4374d68ceac420f8 (diff) | |
download | ocaml-94b50698cee0c9a1288d44fa857cefbc97f7e6ae.tar.gz |
Rename for_primitive_clambda to for_primitive
Diffstat (limited to 'bytecomp')
-rw-r--r-- | bytecomp/semantics_of_primitives.ml | 2 | ||||
-rw-r--r-- | bytecomp/semantics_of_primitives.mli | 2 |
2 files changed, 2 insertions, 2 deletions
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 |