diff options
| author | Damien Doligez <damien.doligez@inria.fr> | 2016-08-01 16:06:59 +0200 |
|---|---|---|
| committer | Damien Doligez <damien.doligez@inria.fr> | 2016-08-01 16:06:59 +0200 |
| commit | 0b4fbc2b3083f2fb78713cb56a031768be2c85f2 (patch) | |
| tree | 96e44efbe3eefd0a22d21d0ccaa5c9b1491dd5f3 /middle_end/flambda_utils.ml | |
| parent | 234b8ecefc3bb8010e10472a71256506b954b58a (diff) | |
| download | ocaml-0b4fbc2b3083f2fb78713cb56a031768be2c85f2.tar.gz | |
fix whitespace, long lines, headers
Diffstat (limited to 'middle_end/flambda_utils.ml')
| -rw-r--r-- | middle_end/flambda_utils.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/middle_end/flambda_utils.ml b/middle_end/flambda_utils.ml index 0eafaeaff4..7f052b1c10 100644 --- a/middle_end/flambda_utils.ml +++ b/middle_end/flambda_utils.ml @@ -95,8 +95,9 @@ let rec same (l1 : Flambda.t) (l2 : Flambda.t) = Variable.equal var1 var2 && same_named defining_expr1 defining_expr2 && same body1 body2 | Let _, _ | _, Let _ -> false - | Let_mutable { var = mv1; initial_value = v1; contents_kind = ck1; body = b1 }, - Let_mutable { var = mv2; initial_value = v2; contents_kind = ck2; body = b2 } -> + | Let_mutable {var = mv1; initial_value = v1; contents_kind = ck1; body = b1}, + Let_mutable {var = mv2; initial_value = v2; contents_kind = ck2; body = b2} + -> Mutable_variable.equal mv1 mv2 && Variable.equal v1 v2 && ck1 = ck2 |