在
2024 年 Clojure 调查问卷!
中分享你的想法。
欢迎!请参阅
关于
页面以获取更多有关这个工作方式的信息。
GitHub 登录
所有活动
问题
未回答
标签
提出一个问题
关于
提出一个问题
对 path-type 的错误调用: nil
0
票
提问
Sep 16, 2015
在
core.typed
由
jira
讨论:
https://groups.google.com/d/msg/clojure-core-typed/-4XzTLD1LNE/LuJqMuNzAgAJ
(t/cf (t/fn [x :- (t/Option '[t/Num])] (let [[a] x] a)))
类型错误 (...) 内部错误 (...) 对 path-type 的错误调用: nil, ({:idx 0})
问题
jira
请
登录
或
注册
以添加评论。
请
登录
或
注册
以回答此问题。
1
个答案
0
票
回答
Jun 26, 2019
由
jira
参考:
https://clojure.atlassian.net/browse/CTYP-275
(由 overthink 报告)
请
登录
或
注册
以添加评论。
欢迎来到 Clojure 常见问题解答,您可以在社区成员中提问并获得答案。
相关问题
解析宏生成匿名函数的类型时出现错误类型语法(当类型是 c 时)
在 defn 中的错误类型提示会导致编译器抛出 NPE
assoc-in 与空键路径关联时引发 null 错误(assoc-es to nil)
在反射调用重载方法(Math/abs)时对基本类型的静默截断向下转型
协议方法上的基本类型提示会破坏调用点
分类
所有分类
Clojure
(1.5k)
ClojureScript
(610)
ClojureCLR
(25)
Contrib libs
(719)
algo.generic
(3)
algo.monads
(4)
core.async
(112)
core.cache
(19)
core.contracts
(5)
core.logic
(66)
core.match
(44)
core.memoize
(8)
core.rrb-vector
(13)
core.typed
(33)
core.unify
(5)
data.avl
(1)
data.codec
(3)
data.csv
(12)
data.finger-tree
(1)
data.fressian
(6)
data.generators
(3)
data.int-map
(17)
data.json
(17)
data.priority-map
(3)
data.xml
(23)
data.zip
(4)
java.classpath
(2)
java.data
(12)
java.jdbc
(3)
java.jmx
(6)
math.combinatorics
(5)
math.numeric-tower
(1)
replicant
(0)
test.check
(45)
test.generative
(2)
tools.analyzer
(8)
tools.build
(29)
tools.cli
(7)
tools.deps
(119)
tools.deps.graph
(2)
tools.emitter.jvm
(7)
tools.gitlibs
(4)
tools.logging
(6)
tools.macro
(8)
tools.namespace
(29)
tools.reader
(11)
tools.tools
(2)
tools.trace
(5)
工具
(72)
元信息
(19)
其他
(91)
...