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.
