@gfredericks: You saw the PR I put up for schpec a few days ago, right? I’d like to contribute all 3 things I have tickets open for, but I’d prefer to do them sequentially for minimal git exposure

@lvh yep, I just didn't have any free time the last week; I think this weekend is promising

I can probably turn them into a proper release

sure, no problem 🙂 not complaining, just wanted to make sure you knew it existed

I will be in Seoul next week with mixed amounts of time available on this

ACK

Hey, would it be considered bad practice to put spec/def inside a top-level let?

I think so yes, if you need let scoped specs you can use s/spec I think

s/def mutates the spec registry so a bit hairy in a let imho

alright... thx

Just curious … what would you be defining in the let that the spec would need? I can see maybe putting it in a letfn if you needed a particularly hairy :fn and wanted to compose it from smaller pieces …

(s/def ::something (letfn [(yourpred? [x[ ...) (yourgen? [] ...)] (s/spec yourpred? :gen yourgen?)) is nice also for the explain

at least it shows something more meaningful than an anonymous fn

Yep, you could put the letfn either place.

I’ve been using that pattern like it’s going out of style for my specs of e.g. maps with dependent values

Has anyone been able to articulate a reason for or work around the MultiFn errors that often occur when running stest/check?

E.g.

CompilerException java.lang.ClassCastException: cider.nrepl.middleware.test$report cannot be cast to clojure.lang.MultiFn, compiling:(clojure/test/check/clojure_test.cljc:95:1) 

@donaldball: yes, you just have to explicitly require clojure.test.check.clojure-test

Awesome, thanks

Alas, I still get that exception

@donaldball: see TCHECK-113

@donaldball I think I added the lein workaround as a comment there to turn off clojure.test monkeypatching

FWIW the lein workaround is sufficient to get lein test to not barf, but I needed to explicitly require clojure.test.check.clojure-test in my test namespaces for the check to work in my cider repl

¯\(ツ)/¯

I'll take this as more evidence that a test.check release would be helpful