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<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+unsubscribe@**googlegroups.com<clojure%2bunsubscr...@googlegroups.com>
> For more options, visit this group at
> http://groups.google.com/**group/clojure?hl=en<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+unsubscribe@**googlegroups.com<clojure%2bunsubscr...@googlegroups.com>
> .
> For more options, visit
> https://groups.google.com/**groups/opt_out<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.
