Quickcheck equality test: $Q=

[copy]

I think this would be a useful addition, following the existing pattern. A quick glance at containers reveals that equality tests are not an uncommon use of $Q.

[c-cube]

That would be interesting, indeed. I don't have the time right now, and some details need to be settled first:

• syntax
• where should the equality predicate be specified?

[copy]

That would be interesting, indeed. I don't have the time right now, and some details need to be settled first:

Cool, I might give this a try then. Regarding syntax, the syntax for equality tests is <lhs> <rhs> and the syntax for Quickcheck tests is <generator> (fun <generated value> -> <statement>), so the following seems the most obvious approach:

<generator> (fun <generated value> -> <lhs>) (fun <generated value> -> <rhs>)

Regarding equality predicate, I'd suggest adding it to the header (the same way the printer is set).