Merge pull request #396 from jmid/rename-corners

The Great Renaming, Chapter 21: rename `corners`

Author: jmid

CHANGELOG.md

@@ -121,6 +121,9 @@
 - Fix shrinking for `QCheck2.Gen.exponential` which could shrink to `infinity`
 - Remove deprecation annotations for `QCheck.Test.{get,set}*` helpers
 - Remove deprecation annotation for `QCheck2.Gen.add_shrink_invariant`
+- Renamed `corners` bindings
+  - Deprecate `QCheck.Gen.int_corners` and `QCheck.Gen.int_pos_corners`
+  - Deprecate `QCheck2.Gen.int_corners` and `QCheck2.Gen.int_pos_corners`
 
 
 ## 0.27 (2025-10-31)

src/core/QCheck.mli

@@ -442,13 +442,15 @@ module Gen : sig
 
       @since 0.6 *)
 
-  val int_pos_corners : int list
+  val int_pos_corners : int list [@@deprecated "Define your own list of corner cases instead"]
   (** Non-negative corner cases for int.
-      @since 0.6 *)
+      @since 0.6
+      @deprecated define your own list of corner cases instead *)
 
-  val int_corners : int list
+  val int_corners : int list [@@deprecated "Define your own list of corner cases instead"]
   (** All corner cases for int.
-      @since 0.6 *)
+      @since 0.6
+      @deprecated define your own list of corner cases instead *)
 
   val int_small_corners : unit -> int t
   (** As [int_small], but each newly created generator starts with

src/core/QCheck2.mli

@@ -816,15 +816,17 @@ module Gen : sig
 
       @since 0.6 *)
 
-  val int_pos_corners : int list
+  val int_pos_corners : int list [@@deprecated "Define your own list of corner cases instead"]
   (** Non-negative corner cases for int.
 
-      @since 0.6 *)
+      @since 0.6
+      @deprecated define your own list of corner cases instead *)
 
-  val int_corners : int list
+  val int_corners : int list [@@deprecated "Define your own list of corner cases instead"]
   (** All corner cases for int.
 
-      @since 0.6 *)
+      @since 0.6
+      @deprecated define your own list of corner cases instead *)
 
   (** {3 Lists, arrays and options} *)