fix CHANGELOG and restore Float.equal

Author: n-osborne

CHANGELOG.md

@@ -2,16 +2,13 @@
 
 ## 0.20
 
-- add `{QCheck,QCheck2}.Gen.{bytes_size,bytes,bytes_of,bytes_printable,small_bytes}`
-- add `QCheck.{Print,Shrink,Observable}.bytes`
-- add `QCheck2.{Print,Shrink}.bytes`
-- add `QCheck.{bytes_gen_of_size,bytes_gen,bytes,small_bytes,bytes_of_size,printable_bytes,printable_bytes_of_size,numeral_bytes,numeral_bytes_of_size}`
-- add `{QCheck,QCheck2}.Gen.{bytes_size,bytes,bytes_of,bytes_printable,bytes_small,string_small}`
+- add `{QCheck,QCheck2}.Gen.{bytes_size,bytes,bytes_of,bytes_printable,bytes_small}`
+- add `QCheck2.Gen.string_small`
 - add `QCheck.{Print,Shrink,Observable}.bytes`
 - add `QCheck2.{Print,Shrink}.bytes`
 - add `QCheck.{bytes_gen_of_size,bytes_gen,bytes,bytes_small,bytes_of_size,bytes_printable}`
 - add `QCheck.{string_small,string_printable,string_printable_of_size,string_small_printable,string_numeral,string_numeral_of_size}`
-- `QCheck2.{small_string}` character generator argument is no more optional
+- `QCheck2.small_string` character generator argument is no more optional
 - add an optional argument with conservative default to `Shrink.string`
 - fix shrinkers in `QCheck.{printable_string,printable_string_of_size,small_printable_string,numeral_string,numeral_string_of_size}` [#257](https://github.com/c-cube/qcheck/issues/257)
 - add `QCheck2.Gen.set_shrink` to modify the generator's shrinker

src/core/QCheck.mli

@@ -1289,6 +1289,15 @@ val bytes_small : bytes arbitrary
 (** Same as {!bytes} but with a small length (ie {!Gen.small_nat} ).
     @since NEXT_RELEASE *)
 
+val bytes_of_size : int Gen.t -> bytes arbitrary
+(** Generates bytes with distribution of characters of [char].
+    @since NEXT_RELEASE *)
+
+val bytes_printable : bytes arbitrary
+(** Generates bytes with a distribution of length of {!Gen.nat}
+    and distribution of characters of [printable_char].
+    @since NEXT_RELEASE *)
+
 val string_gen_of_size : int Gen.t -> char Gen.t -> string arbitrary
 (** Builds a string generator from a (non-negative) size generator and a character generator. *)
 
@@ -1310,15 +1319,6 @@ val small_list : 'a arbitrary -> 'a list arbitrary
 (** Generates lists of small size (see {!Gen.small_nat}).
     @since 0.5.3 *)
 
-val bytes_of_size : int Gen.t -> bytes arbitrary
-(** Generates bytes with distribution of characters of [char].
-    @since NEXT_RELEASE *)
-
-val bytes_printable : bytes arbitrary
-(** Generates bytes with a distribution of length of {!Gen.nat}
-    and distribution of characters of [printable_char].
-    @since NEXT_RELEASE *)
-
 val string_of_size : int Gen.t -> string arbitrary
 (** Generates strings with distribution of characters of [char]. *)
 

src/core/QCheck2.ml

@@ -998,7 +998,7 @@ module Observable = struct
 
     let bool : bool t = (=)
 
-    let float : float t = (=)
+    let float = Float.equal
 
     let unit () () = true