@gfredericks ah. I see what you're saying. Thanks! Given that, I think I need to re-think what I was trying to do. If I'm unable to figure it out I'll post back in here.
I'm thinking of creating prop/for-all2, or prop/for-all-2, whichever name is better
differences:
- doesn't have the TCHECK-131 interpretation of returned exceptions
- uses sequential bindings like gen/let, and has the map-binding syntax of gen/let as well for parallel bindings
- any other improvements anybody would want?
test.check version 0.10.0-alpha2 was just released; changelog here: https://github.com/clojure/test.check/blob/master/CHANGELOG.markdown#0100-alpha2-2017-06-27