I meant more that a failed pre-/post-condition throws AssertionError rather than printing to the console and that a failure using clojure.spec should still do the same thing.
The valid-or-explain function suggested would “work” in terms of being a predicate but the AssertionError wouldn’t reflect the actual details of the failure and you’re assuming stdout is easily accessible. I think it would be better if the spec-based predicate failed by throwing an exception with the explanation in it (but I haven’t tested how it would actually interact with the pre-/post-condition machinery). Sean Corfield -- (904) 302-SEAN An Architect's View -- http://corfield.org/ "If you're not annoying somebody, you're not really alive." -- Margaret Atwood On 5/24/16, 11:12 PM, "Mark Engelberg" <mark.engelb...@gmail.com> wrote: On Tue, May 24, 2016 at 11:01 PM, <s...@corfield.org> wrote: Bear in mind that you can catch the exception thrown by a pre-/post-condition so printing to stdout is not the right behavior. Ah, I didn't realize that it was okay to throw an error inside a pre-/post-condition test, but that makes sense. Are you thinking about something like this? (when-not (s/valid? spec arg) (throw (AssertionError. (with-out-str (s/explain spec arg)) (ex-info “SpecFailure” (s/explain-data spec arg))))) So yes, this looks like exactly the kind of thing I would like to have a convenient name for, for easy use inside a pre or post condition. Maybe `assert-valid` would be a good name. -- 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.