关于t/defn、sort-by和no refer all的内部错误

Question

如何重现


(require 'clojure.core.typed)
(clojure.core.typed/cf (clojure.core.typed/defn foo [] sort-by))


这似乎在不同的REPL环境中偶然重现，具体取决于之前运行的内容。这会持续重现问题


docker run -i -t clojure bash
echo '{:user {:plugins [[lein-try "0.4.3"]]}}' > ~/.lein/profiles.clj
lein try org.clojure/core.typed

(require 'clojure.core.typed) ;;不带refer all不适用
(clojure.core.typed/cf (clojure.core.typed/defn foo [] sort-by))


观察结果


初始化core.typed ...
构建core.typed基础环境 ...
完成构建基础环境
"花费时间：5836.201655毫秒"
core.typed已初始化。
已弃用的语法(/tmp/form-init6540853594514266546.clj:1:24)：所有语法都已被弃用，请使用clojure.core.typed/All
类型错误(/tmp/form-init6540853594514266546.clj:1:24) 内部错误(/tmp/form-init6540853594514266546.clj:1:24) 无法解析类型：IFn
提示：IFn处于作用域内吗？
提示：是否通过check-ns、cf或typed-deps找到了IFn的注解？
错误


预期结果

返回正确的类型。

Answer 1

由apiology发表的评论

你好！我已经使用上述Docker配方（使用当前的org.clojure/core.typed版本）重现了这个问题。你尝试过使用Docker配方吗？建议重新打开。

Answer 2

由ambrosebs发表的评论

感谢你的跟进！我认为CLJ和CLJS检查器之间共享的基础类型环境中可能有些问题。

Answer 3

参考：https://clojure.atlassian.net/browse/CTYP-282 （由 alex+import 报告）