如何重现
(t/cf (t/fn [] (keep even? [1 2 3])))
观察到的结果
`
已弃用语法(NO_SOURCE_PATH):所有语法都已弃用,请使用 clojure.core.typed/All
类型错误(NO_SOURCE_PATH:1:16)内部错误(NO_SOURCE_PATH:1:16)无法解析类型:Option
提示:Option 是否在作用域内?
提示:Option 的注释是否已被 check-ns、cf 或 typed-deps 找到?
异常信息:类型检查器:找到 1 个错误 clojure.core/ex-info(core.clj:4403)
`
期望结果
(t/ASeq Integer) 或类似,我猜测。
详细信息
`
broz@macmicro:~/src/foo$ lein try org.clojure/core.typed "0.2.92"
nREPL服务器在端口63244上启动,主机为127.0.0.1 - nrepl://127.0.0.1:63244
REPL-y 0.3.5,nREPL 0.2.6
Clojure 1.6.0
Java HotSpot(TM) 64位服务器虚拟机 1.8.0_40-b26
Docs: (doc function-name-here)
(find-doc "part-of-name-here")
源:(source function-name-here)
JavaDoc:(javadoc java-object-or-class-here)
Exit: Control+D or (exit) or (quit)
结果:存储在变量 1, 2, 3, 在 e 中发生的异常
user=> (require ['clojure.core.typed :as 't])
nil
user=> (t/cf (t/fn [] (keep even? [1 2 3])))
初始化 core.typed …
构建 core.typed 基础环境 …
已构建基础环境
"耗时:9649.842771 毫秒"
core.typed 已初始化。
已弃用语法(NO_SOURCE_PATH):所有语法都已弃用,请使用 clojure.core.typed/All
类型错误(NO_SOURCE_PATH:1:16)内部错误(NO_SOURCE_PATH:1:16)无法解析类型:Option
提示:Option 是否在作用域内?
提示:Option 的注释是否已被 check-ns、cf 或 typed-deps 找到?
异常信息:类型检查器:找到 1 个错误 clojure.core/ex-info(core.clj:4403)
user=>
`