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 <[email protected]> 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 <[email protected]> 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 [email protected] >> Note that posts from new members are moderated - please be patient with >> your first post. >> To unsubscribe from this group, send email to >> [email protected] >> 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 [email protected]. >> 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 [email protected] > Note that posts from new members are moderated - please be patient with > your first post. > To unsubscribe from this group, send email to > [email protected] > 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 [email protected]. > 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 [email protected] > Note that posts from new members are moderated - please be patient with > your first post. > To unsubscribe from this group, send email to > [email protected] > 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 [email protected]. > 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 [email protected] Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to [email protected] 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 [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
