core-typed

Typed Clojure, an optional type system for Clojure
andrewboltachev 2015-09-24T07:01:51.000011Z

Hi. How can I ignore vars created via (clojure.test/deftest ...)? I know there's (ann ^:no-check ...) way, but it would ask me to specify arguments anyway

andrewboltachev 2015-09-24T07:25:44.000012Z

UPD: found that t/tc-ignore might do it

andrewboltachev 2015-09-24T17:11:51.000013Z

Hi. How do I annotate (defn myfn [a b & [c]] ...)? I always get "no matching arities"

andrewboltachev 2015-09-24T17:17:05.000014Z

UPD: solved it like (t/ann myfn [t/Num t/Num & :optional {:c t/Num} -> t/Num])

andrewboltachev 2015-09-24T17:24:54.000015Z

UPD: not solved actually. there's another error

andrewboltachev 2015-09-24T17:24:57.000016Z

Type Error (mypdf/grammar_checker.clj:72:25) Polymorphic static method clojure.lang.RT/nth could not be applied to arguments: