diff options
author | Damien Doligez <damien.doligez@inria.fr> | 2016-09-28 14:57:50 +0200 |
---|---|---|
committer | David Allsopp <david.allsopp@metastack.com> | 2016-12-14 13:14:21 +0000 |
commit | 2c521d23bd82c0335a8aa9380b51f761a4fcbaed (patch) | |
tree | 104d63b019ec1029dfc2a20536bf4a16d3c5dbeb /middle_end | |
parent | 8c99d22cc1e6579332e34136ceea9e069a02217e (diff) | |
download | ocaml-2c521d23bd82c0335a8aa9380b51f761a4fcbaed.tar.gz |
fix whitespace and overlong lines
Diffstat (limited to 'middle_end')
-rw-r--r-- | middle_end/semantics_of_primitives.ml | 3 | ||||
-rw-r--r-- | middle_end/simple_value_approx.ml | 1 |
2 files changed, 2 insertions, 2 deletions
diff --git a/middle_end/semantics_of_primitives.ml b/middle_end/semantics_of_primitives.ml index 55fcf00955..3cedc03f61 100644 --- a/middle_end/semantics_of_primitives.ml +++ b/middle_end/semantics_of_primitives.ml @@ -21,7 +21,8 @@ type coeffects = No_coeffects | Has_coeffects let for_primitive (prim : Lambda.primitive) = match prim with - | Pignore | Pidentity | Pbytes_to_string | Pbytes_of_string -> No_effects, No_coeffects + | Pignore | Pidentity | Pbytes_to_string | Pbytes_of_string -> + No_effects, No_coeffects | Pmakeblock _ | Pmakearray (_, Mutable) -> Only_generative_effects, No_coeffects | Pmakearray (_, Immutable) -> No_effects, No_coeffects diff --git a/middle_end/simple_value_approx.ml b/middle_end/simple_value_approx.ml index 2e4e23f99f..4d9284661d 100644 --- a/middle_end/simple_value_approx.ml +++ b/middle_end/simple_value_approx.ml @@ -847,4 +847,3 @@ let potentially_taken_block_switch_branch t tag = Cannot_be_taken | Value_bottom -> Cannot_be_taken - |