You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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:
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
.The text was updated successfully, but these errors were encountered: