diff options
| author | Guillaume Melquiond | 2019-12-22 11:09:54 +0400 |
|---|---|---|
| committer | Guillaume Melquiond | 2019-12-22 11:27:01 +0400 |
| commit | 6e8c8068a8cbaf34dbb5e32a2eda61f190737f86 (patch) | |
| tree | 551bf0f324583a1c8a9a62e24bb9e8c07630c6f0 /kernel | |
| parent | ec337b6e5be76b69b4c82af682a08cfec2a8e12a (diff) | |
Simplify equality of 63-bit integers.
The sign bit is supposed to be zero, so no need to mask it out. If it was
not zero, most of the algorithms in this file would fail horribly.
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/uint63_31.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/uint63_31.ml b/kernel/uint63_31.ml index df8a354dcf..3d7dd1792a 100644 --- a/kernel/uint63_31.ml +++ b/kernel/uint63_31.ml @@ -138,7 +138,7 @@ let mulc x y = then Int64.(sub !hr one, mask63 !lr) else (!hr, !lr) -let equal x y = mask63 x = mask63 y +let equal (x : t) y = x = y let compare x y = Int64.compare x y |