diff options
| author | Tom Kelly <ctk21@cl.cam.ac.uk> | 2020-10-13 17:17:47 +0100 |
|---|---|---|
| committer | Tom Kelly <ctk21@cl.cam.ac.uk> | 2020-10-13 17:17:47 +0100 |
| commit | bde4d67613992e91d7c1d3e7f99f5b01eea4918c (patch) | |
| tree | 94442c98cb6dc788a73f465c2b7435a26e15c818 /middle_end | |
| parent | 13c15b4a2463a5fed21039e8b71f212825d5d8c9 (diff) | |
| download | ocaml-bde4d67613992e91d7c1d3e7f99f5b01eea4918c.tar.gz | |
Fix up Ppoll semantics_of_primitives entry
Diffstat (limited to 'middle_end')
| -rw-r--r-- | middle_end/semantics_of_primitives.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/middle_end/semantics_of_primitives.ml b/middle_end/semantics_of_primitives.ml index a3d09f4e5e..b7fabe539f 100644 --- a/middle_end/semantics_of_primitives.ml +++ b/middle_end/semantics_of_primitives.ml @@ -21,7 +21,7 @@ type coeffects = No_coeffects | Has_coeffects let for_primitive (prim : Clambda_primitives.primitive) = match prim with - | Pmakeblock _ | Ppoll + | Pmakeblock _ | Pmakearray (_, Mutable) -> Only_generative_effects, No_coeffects | Pmakearray (_, Immutable) -> No_effects, No_coeffects | Pduparray (_, Immutable) -> @@ -36,6 +36,7 @@ let for_primitive (prim : Clambda_primitives.primitive) = | Pccall _ -> Arbitrary_effects, Has_coeffects | Praise _ -> Arbitrary_effects, No_coeffects | Prunstack | Pperform | Presume | Preperform -> Arbitrary_effects, Has_coeffects + | Ppoll -> Arbitrary_effects, Has_coeffects | Pnot | Pnegint | Paddint |