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]
<mailto:[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]
<mailto:[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]
<mailto:clojure%[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]
<mailto:clojure%[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.
