内部错误与t/defn、sort-by和无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是否在作用域内？
提示：IFn的注解是否通过check-ns、cf或typed-deps找到？
错误


期望的结果

返回正确的类型。

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 提出)