如何重现
(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 是否在作用域内?
提示:是否已通过 check-ns、cf 或 typed-deps 发现 Option 的注释?
异常信息 类型检查器:发现 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 是否在作用域内?
提示:是否已通过 check-ns、cf 或 typed-deps 发现 Option 的注释?
异常信息 类型检查器:发现 1 个错误 clojure.core/ex-info (core.clj:4403)
user=>
`