diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2014-12-21 12:06:20 +0000 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2014-12-21 12:06:20 +0000 |
| commit | bb4e2b70d0e9cd00def902f181a33ffdd08518e3 (patch) | |
| tree | ddb18112293c12dc3cda7e03e02d56d986ccdbd4 /otherlibs | |
| parent | 7559bf2b31b1f4b4b939594d61cd8c4f9bd22890 (diff) | |
| download | ocaml-bb4e2b70d0e9cd00def902f181a33ffdd08518e3.tar.gz | |
PR#6494 backtrack: revert the new 'equal' functions from Num and Big_int
We already have eq_num and eq_big_int.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15733 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs')
| -rw-r--r-- | otherlibs/num/big_int.ml | 2 | ||||
| -rw-r--r-- | otherlibs/num/big_int.mli | 2 | ||||
| -rw-r--r-- | otherlibs/num/num.ml | 2 | ||||
| -rw-r--r-- | otherlibs/num/num.mli | 4 |
4 files changed, 0 insertions, 10 deletions
diff --git a/otherlibs/num/big_int.ml b/otherlibs/num/big_int.ml index 36e40f4dd4..847d158324 100644 --- a/otherlibs/num/big_int.ml +++ b/otherlibs/num/big_int.ml @@ -70,8 +70,6 @@ let compare_big_int bi1 bi2 = compare_nat (bi2.abs_value) 0 (num_digits_big_int bi2) (bi1.abs_value) 0 (num_digits_big_int bi1) -let equal bi1 bi2 = compare_big_int bi1 bi2 = 0 - let eq_big_int bi1 bi2 = compare_big_int bi1 bi2 = 0 and le_big_int bi1 bi2 = compare_big_int bi1 bi2 <= 0 and ge_big_int bi1 bi2 = compare_big_int bi1 bi2 >= 0 diff --git a/otherlibs/num/big_int.mli b/otherlibs/num/big_int.mli index 09f4514203..738730a79a 100644 --- a/otherlibs/num/big_int.mli +++ b/otherlibs/num/big_int.mli @@ -86,8 +86,6 @@ val compare_big_int : big_int -> big_int -> int (** [compare_big_int a b] returns [0] if [a] and [b] are equal, [1] if [a] is greater than [b], and [-1] if [a] is smaller than [b]. *) -val equal : big_int -> big_int -> bool - (** The equal function for big ints. @since 4.03.0 *) val eq_big_int : big_int -> big_int -> bool val le_big_int : big_int -> big_int -> bool val ge_big_int : big_int -> big_int -> bool diff --git a/otherlibs/num/num.ml b/otherlibs/num/num.ml index 67cc16c0b6..67499e2674 100644 --- a/otherlibs/num/num.ml +++ b/otherlibs/num/num.ml @@ -330,8 +330,6 @@ and le_num num1 num2 = compare_num num1 num2 <= 0 and gt_num num1 num2 = compare_num num1 num2 > 0 and ge_num num1 num2 = compare_num num1 num2 >= 0 -let equal a b = compare_num a b = 0 - let ( </ ) = lt_num and ( <=/ ) = le_num and ( >/ ) = gt_num diff --git a/otherlibs/num/num.mli b/otherlibs/num/num.mli index a43929ef2b..6425085e63 100644 --- a/otherlibs/num/num.mli +++ b/otherlibs/num/num.mli @@ -129,10 +129,6 @@ val compare_num : num -> num -> int (** Return [-1], [0] or [1] if the first argument is less than, equal to, or greater than the second argument. *) -val equal : num -> num -> bool -(** The equal function for nums. - @since 4.03.0 *) - val max_num : num -> num -> num (** Return the greater of the two arguments. *) |