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
--
--
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.
