qcheck icon indicating copy to clipboard operation
qcheck copied to clipboard

Deriver: remove `merlin.hide` for derived generators

Open vch9 opened this issue 4 years ago • 1 comments

@tomsib2001:

Should merlin know a value gen_toto or toto : arbitrary after the above definition?

Yes.

vch9 avatar Nov 08 '21 09:11 vch9

Actually, I wonder if we need to remove merlin.hide:

module A = struct
  type t = int [@@deriving qcheck]
end

Merlin knows about Q.gen

vch9 avatar Dec 10 '21 08:12 vch9