diff options
author | David Allsopp <david.allsopp@metastack.com> | 2017-08-12 21:24:41 +0100 |
---|---|---|
committer | David Allsopp <david.allsopp@metastack.com> | 2018-06-14 15:15:34 +0100 |
commit | b5d1929e878d6d2ccfe6ea349960ee803e9e45c6 (patch) | |
tree | ee497c424f62d64cc71626401469ca7efff37686 /typing/types.ml | |
parent | c226df2716e63214c6a3bb2c8cfdff820cd7d661 (diff) | |
download | ocaml-b5d1929e878d6d2ccfe6ea349960ee803e9e45c6.tar.gz |
Whitespace and overlong line fixes.
Diffstat (limited to 'typing/types.ml')
-rw-r--r-- | typing/types.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/typing/types.ml b/typing/types.ml index 490186bbdc..996a308587 100644 --- a/typing/types.ml +++ b/typing/types.ml @@ -328,12 +328,12 @@ and constructor_tag = | Cstr_extension of Path.t * bool (* Extension constructor true if a constant false if a block*) -let equal_tag t1 t2 = +let equal_tag t1 t2 = match (t1, t2) with | Cstr_constant i1, Cstr_constant i2 -> i2 = i1 | Cstr_block i1, Cstr_block i2 -> i2 = i1 | Cstr_unboxed, Cstr_unboxed -> true - | Cstr_extension (path1, b1), Cstr_extension (path2, b2) -> + | Cstr_extension (path1, b1), Cstr_extension (path2, b2) -> Path.same path1 path2 && b1 = b2 | (Cstr_constant _|Cstr_block _|Cstr_unboxed|Cstr_extension _), _ -> false |