Fix Rel in attributes when passing additional ocamlmig rewriting arguments

Author: jmid

src/core/QCheck.mli

@@ -487,7 +487,7 @@ module Gen : sig
   val list_size : int t -> 'a t -> 'a list t
   (** Builds a list generator from a (non-negative) size generator and an element generator. *)
 
-  val list_repeat : int -> 'a t -> 'a list t [@@deprecated "Use [list_size (return i) g] instead"][@@migrate { repl = (fun i g -> Rel.list_size (return i) g) }]
+  val list_repeat : int -> 'a t -> 'a list t [@@deprecated "Use [list_size (return i) g] instead"][@@migrate { repl = (fun i g -> Rel.list_size (Rel.return i) g) }]
   (** [list_repeat i g] builds a list generator from exactly [i] elements generated by [g].
       @deprecated use [list_size (return i) g] instead. *)
 
@@ -497,7 +497,7 @@ module Gen : sig
   val array_size : int t -> 'a t -> 'a array t
   (** Builds an array generator from a (non-negative) size generator and an element generator. *)
 
-  val array_repeat : int -> 'a t -> 'a array t [@@deprecated "Use [array_size (return i) g] instead"][@@migrate { repl = (fun i g -> Rel.array_size (return i) g) }]
+  val array_repeat : int -> 'a t -> 'a array t [@@deprecated "Use [array_size (return i) g] instead"][@@migrate { repl = (fun i g -> Rel.array_size (Rel.return i) g) }]
   (** [array_repeat i g] builds an array generator from exactly [i] elements generated by [g].
       @deprecated use [array_size (return i) g] instead. *)
 
@@ -1579,40 +1579,40 @@ val string_printable : string arbitrary
     and distribution of characters of [char_printable].
     @since 0.20 *)
 
-val printable_string_of_size : int Gen.t -> string arbitrary [@@deprecated "Use [string_size_of] instead"][@@migrate { repl = (fun s -> Rel.string_size_of s Gen.char_printable) }]
+val printable_string_of_size : int Gen.t -> string arbitrary [@@deprecated "Use [string_size_of] instead"][@@migrate { repl = (fun s -> Rel.string_size_of s Rel.Gen.char_printable) }]
 (** Generates strings with distribution of characters of [char_printable].
     @deprecated use {!string_size_of} instead. *)
 
-val string_printable_of_size : int Gen.t -> string arbitrary [@@deprecated "Use [string_size_of] instead"][@@migrate { repl = (fun s -> Rel.string_size_of s Gen.char_printable) }]
+val string_printable_of_size : int Gen.t -> string arbitrary [@@deprecated "Use [string_size_of] instead"][@@migrate { repl = (fun s -> Rel.string_size_of s Rel.Gen.char_printable) }]
 (** Synonym for [printable_string_of_size] added for convenience.
     @since 0.20
     @deprecated use {!string_size_of} instead. *)
 
-val small_printable_string : string arbitrary [@@deprecated "Use [string_size_of] instead"][@@migrate { repl = Rel.string_size_of Gen.nat_small Gen.char_printable }]
+val small_printable_string : string arbitrary [@@deprecated "Use [string_size_of] instead"][@@migrate { repl = Rel.string_size_of Rel.Gen.nat_small Rel.Gen.char_printable }]
 (** Generates strings with a length of [Gen.nat_small]
     and distribution of characters of [char_printable].
     @deprecated use {!string_size_of} instead. *)
 
-val string_small_printable : string arbitrary [@@deprecated "Use [string_size_of] instead"][@@migrate { repl = Rel.string_size_of Gen.nat_small Gen.char_printable }]
+val string_small_printable : string arbitrary [@@deprecated "Use [string_size_of] instead"][@@migrate { repl = Rel.string_size_of Rel.Gen.nat_small Rel.Gen.char_printable }]
 (** Synonym for [small_printable_string] added for convenience.
     @since 0.20
     @deprecated use {!string_size_of} instead. *)
 
-val numeral_string : string arbitrary [@@deprecated "Use [string_of] instead"][@@migrate { repl = Rel.string_of Gen.char_numeral }]
+val numeral_string : string arbitrary [@@deprecated "Use [string_of] instead"][@@migrate { repl = Rel.string_of Rel.Gen.char_numeral }]
 (** Generates strings with a distribution of length of {!Gen.nat}
     and distribution of characters of [char_numeral].
     @deprecated use {!string_of} instead. *)
 
-val string_numeral : string arbitrary [@@deprecated "Use [string_of] instead"][@@migrate { repl = Rel.string_of Gen.char_numeral }]
+val string_numeral : string arbitrary [@@deprecated "Use [string_of] instead"][@@migrate { repl = Rel.string_of Rel.Gen.char_numeral }]
 (** Synonym for [numeral_string] added for convenience.
     @since 0.20
     @deprecated use {!string_of} instead. *)
 
-val numeral_string_of_size : int Gen.t -> string arbitrary [@@deprecated "Use [string_size_of] instead"][@@migrate { repl = (fun s -> Rel.string_size_of s Gen.char_numeral) }]
+val numeral_string_of_size : int Gen.t -> string arbitrary [@@deprecated "Use [string_size_of] instead"][@@migrate { repl = (fun s -> Rel.string_size_of s Rel.Gen.char_numeral) }]
 (** Generates strings with a distribution of characters of [char_numeral].
     @deprecated use {!string_size_of} instead. *)
 
-val string_numeral_of_size : int Gen.t -> string arbitrary [@@deprecated "Use [string_size_of] instead"][@@migrate { repl = (fun s -> Rel.string_size_of s Gen.char_numeral) }]
+val string_numeral_of_size : int Gen.t -> string arbitrary [@@deprecated "Use [string_size_of] instead"][@@migrate { repl = (fun s -> Rel.string_size_of s Rel.Gen.char_numeral) }]
 (** Synonym for [numeral_string_of_size] added for convenience.
     @since 0.20
     @deprecated use {!string_size_of} instead. *)

src/core/QCheck2.mli

@@ -858,7 +858,7 @@ module Gen : sig
       Shrinks on the number of elements first, then on elements.
   *)
 
-  val list_repeat : int -> 'a t -> 'a list t [@@deprecated "Use [list_size (return i) g] instead"][@@migrate { repl = (fun i g -> Rel.list_size (return i) g) }]
+  val list_repeat : int -> 'a t -> 'a list t [@@deprecated "Use [list_size (return i) g] instead"][@@migrate { repl = (fun i g -> Rel.list_size (Rel.return i) g) }]
   (** [list_repeat i g] builds a list generator from exactly [i] elements generated by [g].
 
       Shrinks on elements only.
@@ -893,7 +893,7 @@ module Gen : sig
 
       @deprecated use {!array_small} instead. *)
 
-  val array_repeat : int -> 'a t -> 'a array t [@@deprecated "Use [array_size (return i) g] instead"][@@migrate { repl = (fun i g -> Rel.array_size (return i) g) }]
+  val array_repeat : int -> 'a t -> 'a array t [@@deprecated "Use [array_size (return i) g] instead"][@@migrate { repl = (fun i g -> Rel.array_size (Rel.return i) g) }]
   (** [array_repeat i g] builds an array generator from exactly [i] elements generated by [g].
 
       Shrinks on elements only.