Hi Stu, Please try lein-typed "0.3.1". It should fix the build issue.
Thanks, Ambrose On Tue, Oct 1, 2013 at 8:42 AM, Ben Mabey <b...@benmabey.com> wrote: > Heh, based on that my guess is that no one has used lein-typed in CI > builds. :) I've submitted a PR to Ambrose to exit with a non-zero code > when type checking fails: > https://github.com/frenchy64/lein-typed/pull/1 > > Since lein-typed is brand new I imagine people have been writing there own > tasks to do something similar for CI. Any CircleCI guys are on the list > want to give us a real experience report? > > > On 9/30/13 5:26 PM, Stuart Halloway wrote: > > Any experience reports? My experience so far: > > Type Checker: Found 1 error > $ echo $? > 0 > > > > > On Mon, Sep 30, 2013 at 7:20 PM, Ben Mabey <b...@benmabey.com> wrote: > >> On 9/30/13 5:16 PM, Stuart Halloway wrote: >> >>> I tried the following experiment with type checking clojure.set: >>> >>> (ns exploring.core-typed >>> (:use clojure.core.typed clojure.repl) >>> (:require [clojure.set :as set])) >>> >>> (ann ^:no-check clojure.set/difference [(Set Any) (Set Any) -> (Set >>> Any)]) >>> >>> (set/difference #{1 2} [1 2]) >>> >>> (comment >>> (check-ns) >>> ) >>> >>> Is there an extant example that shows how this kind of safety check >>> might be used in e.g. a CI build? >>> >>> Stu >>> >>> Seems like an invocation of `lein typed check`[1] would do the trick >> in a CI build... >> >> -Ben >> >> 1. https://github.com/frenchy64/lein-typed >> >> -- >> -- >> 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. >> > > -- > -- > 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. > > > -- > -- > 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. > -- -- 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.
