Merge pull request ocaml#47 from bschommer/compare-module

Move infix comparison operators of Z in submodule to avoid shadowing the polymorphic compare (which also works for Z)

z.mlip

@@ -614,24 +614,27 @@ external (~$): int -> t = "ml_z_of_int" @NOALLOC
 external ( ** ): t -> int -> t = "ml_z_pow"
 (** Power [pow]. *)
 
-val (=): t -> t -> bool
-(** Same as [equal]. *)
+module Compare : sig
 
-val (<): t -> t -> bool
-(** Same as [lt]. *)
+ val (=): t -> t -> bool
+ (** Same as [equal]. *)
 
-val (>): t -> t -> bool
-(** Same as [gt]. *)
+ val (<): t -> t -> bool
+ (** Same as [lt]. *)
 
-val (<=): t -> t -> bool
-(** Same as [leq]. *)
+ val (>): t -> t -> bool
+ (** Same as [gt]. *)
 
-val (>=): t -> t -> bool
-(** Same as [geq]. *)
+ val (<=): t -> t -> bool
+ (** Same as [leq]. *)
 
-val (<>): t -> t -> bool
-(** [a <> b] is equivalent to [not (equal a b)]. *)
+ val (>=): t -> t -> bool
+ (** Same as [geq]. *)
 
+ val (<>): t -> t -> bool
+ (** [a <> b] is equivalent to [not (equal a b)]. *)
+
+end
 
 (** {1 Miscellaneous} *)
 

z.mlp

@@ -215,11 +215,14 @@ external (lsl): t -> int -> t = shift_left@ASM
 external (asr): t -> int -> t = shift_right@ASM
 external (~$): int -> t = "ml_z_of_int" @NOALLOC
 external ( ** ): t -> int -> t = "ml_z_pow"
-let (=) = equal
-let (<) = lt
-let (>) = gt
-let (<=) = leq
-let (>=) = geq
-let (<>) a b = not (equal a b)
+
+module Compare = struct
+ let (=) = equal
+ let (<) = lt
+ let (>) = gt
+ let (<=) = leq
+ let (>=) = geq
+ let (<>) a b = not (equal a b)
+end
 
 let version = @VERSION