Welcome! Please see the
About
page for a little more info on how this works.
GitHub Login
All Activity
Questions
Unanswered
Tags
Ask a Question
About
Ask a Question
Bad call to path-type: nil
0
votes
asked
Sep 16, 2015
in
core.typed
by
jira
Discussion:
https://groups.google.com/d/msg/clojure-core-typed/-4XzTLD1LNE/LuJqMuNzAgAJ
(t/cf (t/fn [x :- (t/Option '[t/Num])] (let [[a] x] a)))
Type Error (...) Internal Error (...) Bad call to path-type: nil, ({:idx 0})
problem
jira
Please
log in
or
register
to add a comment.
Please
log in
or
register
to answer this question.
1
Answer
0
votes
answered
Jun 26, 2019
by
jira
Reference:
https://clojure.atlassian.net/browse/CTYP-275
(reported by overthink)
Please
log in
or
register
to add a comment.
Welcome to Clojure Q&A, where you can ask questions and receive answers from members of the Clojure community.
Related questions
Bad type syntax when parsing types of macro-generated anonymous functions from required namespaces (when the types are c
Bad type hints on a defn cause the compiler to throw a NPE
assoc-in with empty key path assoc-es to nil
Silent truncation/downcasting of primitive type on reflection call to overloaded method (Math/abs)
primitive type hints on protocol methods break call sites
Categories
All categories
Clojure
(1.5k)
ClojureScript
(611)
ClojureCLR
(26)
Contrib libs
(725)
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
(7)
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
(18)
data.priority-map
(4)
data.xml
(24)
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
(120)
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)
Tools
(73)
Meta
(19)
Other
(93)
...