Sorry you ran into an issue, Steve. I like your idea of including more information in the ex-info data. Is there a specific generator you're having trouble writing without such-that? In general, I've found that it's a code-smell if you need such-that to retry that many times. Happy to help explore other ways to write these generators.
Best, Reid On Wednesday, May 14, 2014 12:13:14 PM UTC-5, miner wrote: > > > On May 14, 2014, at 10:44 AM, Reid Draper <reidd...@gmail.com<javascript:>> > wrote: > > * Limit the number of retries for gen/such-that. A two-arity version > is > > provided if you need to retry more than 10 times. This should be a > > code-smell, though. > > I think the limit is a good idea, but it's an extra wrinkle and maybe too > tight. > > I had a such-that that failed due to the new limit. Unfortunately, the > error message didn't help much in tracking it down. I ended up changing > all my such-that calls to use a unique number of retries so I could figure > which one was failing. > > I suppose my situation is unusual in that I generate generators and tests > from schemas and data. The stack traces aren't very pretty when there are > errors. > > It might help if you added the 'pred' and 'tries' to the ex-info data in > such-that-helper. Might as well put something in the ex-info data. > > By the way, it turns out 25 was a sufficient number of retries for my > test. Works fine now. > > > Steve Miner > > -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups "Clojure" group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
