diff options
| author | Guillaume Melquiond | 2019-12-22 11:07:01 +0400 |
|---|---|---|
| committer | Guillaume Melquiond | 2019-12-22 11:07:01 +0400 |
| commit | ec337b6e5be76b69b4c82af682a08cfec2a8e12a (patch) | |
| tree | c9654824604bc7b429d95f0a409846af85eaf688 /kernel | |
| parent | 9c75b6a6582620e2fb9a39c1ea1aa46a321af6a7 (diff) | |
Do not hide constants from the compiler.
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/uint63_31.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kernel/uint63_31.ml b/kernel/uint63_31.ml index e38389ca13..df8a354dcf 100644 --- a/kernel/uint63_31.ml +++ b/kernel/uint63_31.ml @@ -15,8 +15,8 @@ let _ = assert (Sys.word_size = 32) let uint_size = 63 -let maxuint63 = Int64.of_string "0x7FFFFFFFFFFFFFFF" -let maxuint31 = Int64.of_string "0x7FFFFFFF" +let maxuint63 = 0x7FFF_FFFF_FFFF_FFFFL +let maxuint31 = 0x7FFF_FFFFL let zero = Int64.zero let one = Int64.one |