2024年Clojure调查问卷中分享您的想法!

欢迎!请参阅关于页面以获取更多关于此如何工作的小信息。

0
core.typed

如何重现

(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=>
`

1 答案

0
参考:https://clojure.atlassian.net/browse/CTYP-223(由 alex+import 报告)
...