Alex, thanks for the suggestion - I'll look at collection-check and raise the appropriate JIRA when I am happier with the code / idea.
Jules On Monday, 17 February 2014 13:21:28 UTC, Alex Miller wrote: > > It is too late, but an enhancement jira would be appropriate. I would > highly encourage some generative tests in such a patch and perhaps looking > at https://github.com/ztellman/collection-check. With simple.check moving > into contrib as test.check, we expect to be able to use test.check within > Clojure tests soon as well. > > > On Monday, February 17, 2014 3:28:28 AM UTC-6, Jean Niklas L'orange wrote: >> >> >> >> On Sunday, February 16, 2014 11:49:38 AM UTC+1, Mikera wrote: >>> >>> Wow - that's a pretty big win. I think we should try and get this into >>> Clojure ASAP. >>> >>> Are we too late for 1.6? >>> >> >> Yeah, this is probably too late for 1.6 =/ >> >> Anyway, cool stuff you got going on here. I'm playing around with similar >> functions myself (for a variant of RRB-Trees), but ended up with several >> issues when I attempted to splice trees which shared structure. Is there >> any indication that this will be an issue? An easy way to check this out is >> to generate a large random map/set, then randomly generate maps/sets based >> on the large one by cutting off random elements. Then you randomly splice >> those maps/sets repeatedly, repeat the cutting, and continue with the >> splicing. >> >> -- JN >> > -- 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/groups/opt_out.
