diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2014-04-05 18:17:28 -0400 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2014-04-09 01:05:48 -0400 |
commit | 5bcfa8cab56798f2b575b839fd92b0f743c3d453 (patch) | |
tree | 507e5ec763df57accd11fea0d35f09e2d5a9e13f /kernel/uint31.ml | |
parent | a231329d7eb0163b97732d4361c25a346f5c09b4 (diff) |
Int31 literals in native compiler.
Diffstat (limited to 'kernel/uint31.ml')
-rw-r--r-- | kernel/uint31.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/uint31.ml b/kernel/uint31.ml index 8c6e2c14c..0f1c1444b 100644 --- a/kernel/uint31.ml +++ b/kernel/uint31.ml @@ -117,7 +117,7 @@ let le_32 x y = let le_64 (x:int) (y:int) = x <= y let le = select le_32 le_64 -let eq x y = x == y +let equal (x:int) (y:int) = x == y let cmp_32 x y = Int32.compare (uint_32 x) (uint_32 y) (* Do not remove the type information it is really important for |