From b7b6bd19a38a521e4524a99d3c3232c9882f5ea2 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 21 Jul 2017 15:02:27 +0200 Subject: [PATCH] deprecate `CCBool.negate` --- src/core/CCBool.ml | 2 +- src/core/CCBool.mli | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/src/core/CCBool.ml b/src/core/CCBool.ml index 026abae2..087d0101 100644 --- a/src/core/CCBool.ml +++ b/src/core/CCBool.ml @@ -7,7 +7,7 @@ let equal (a:bool) b = a=b let compare (a:bool) b = Pervasives.compare a b -let negate x = not x +let negate = not type 'a printer = Format.formatter -> 'a -> unit diff --git a/src/core/CCBool.mli b/src/core/CCBool.mli index e8b3086b..624b53d3 100644 --- a/src/core/CCBool.mli +++ b/src/core/CCBool.mli @@ -11,7 +11,8 @@ val compare : t -> t -> int val equal : t -> t -> bool val negate : t -> t -(** Negation on booleans (functional version of [not]) *) +(** Negation on booleans (functional version of [not]) + @deprecate since NEXT_RELEASE, simply use {!not} instead *) type 'a printer = Format.formatter -> 'a -> unit