## Background
I'm using [org.clojure/core.typed "0.2.25"]
## Question:
Which is the following is true:
(1) my code is correct / should work, and therefore there is something
with my setup
(2) my code is wrong (and please point out how I can fix it)
## Code
(ns test
#+clj (:require [clojure.core.typed])
#+clj (:use [clojure.core.typed]))
(ann add [Number Number -> Number])
(defn add [a b]
(+ a b))
(check-ns)
## Error
When I execute the above, I get the following error.
It's not clear to me what I'm doing wrong.
java.lang.NullPointerException: null
at clojure.core$deref_future.invoke (core.clj:2108)
clojure.core$deref.invoke (core.clj:2129)
cljs.analyzer$resolve_var.invoke (analyzer.clj:347)
cljs.analyzer$resolve_var.invoke (analyzer.clj:308)
clojure.core.typed.util_cljs$resolve_var.invoke (util_cljs.clj:40)
clojure.core.typed.parse_unparse$resolve_type_cljs.invoke
(parse_unparse.clj:585)
clojure.core.typed.parse_unparse/fn (parse_unparse.clj:709)
clojure.lang.MultiFn.invoke (MultiFn.java:227)
clojure.core.typed.parse_unparse/fn (parse_unparse.clj:723)
clojure.lang.MultiFn.invoke (MultiFn.java:227)
clojure.core.typed.parse_unparse$parse_function.invoke
(parse_unparse.clj:879)
clojure.core.typed.parse_unparse/fn (parse_unparse.clj:900)
clojure.lang.MultiFn.invoke (MultiFn.java:227)
clojure.core.typed.base_env_cljs$generator_init_jsnominals$iter__17058__17062$fn__17063$fn__17320$iter__17321__17325$fn__17326.invoke
(base_env_cljs.clj:31)
clojure.lang.LazySeq.sval (LazySeq.java:42)
clojure.lang.LazySeq.seq (LazySeq.java:60)
clojure.lang.RT.seq (RT.java:484)
clojure.core$seq.invoke (core.clj:133)
clojure.core.protocols$seq_reduce.invoke (protocols.clj:30)
clojure.core.protocols/fn (protocols.clj:54)
clojure.core.protocols$fn__5979$G__5974__5992.invoke (protocols.clj:13)
clojure.core$reduce.invoke (core.clj:6177)
clojure.core$into.invoke (core.clj:6229)
clojure.lang.AFn.applyToHelper (AFn.java:163)
clojure.lang.AFn.applyTo (AFn.java:151)
clojure.core$apply.invoke (core.clj:619)
clojure.core.contracts.constraints$apply_contract$fn__845.doInvoke
(constraints.clj:175)
clojure.lang.RestFn.applyTo (RestFn.java:137)
clojure.lang.AFunction$1.doInvoke (AFunction.java:29)
clojure.lang.RestFn.invoke (RestFn.java:421)
clojure.core.typed.base_env_cljs$generator_init_jsnominals$iter__17058__17062$fn__17063$fn__17320.invoke
(base_env_cljs.clj:31)
clojure.core.typed.base_env_cljs$generator_init_jsnominals$iter__17058__17062$fn__17063.invoke
(base_env_cljs.clj:31)
clojure.lang.LazySeq.sval (LazySeq.java:42)
clojure.lang.LazySeq.seq (LazySeq.java:60)
clojure.lang.RT.seq (RT.java:484)
clojure.core$seq.invoke (core.clj:133)
clojure.core$dorun.invoke (core.clj:2780)
clojure.core$doall.invoke (core.clj:2796)
clojure.core.typed.base_env_cljs$generator_init_jsnominals.invoke
(base_env_cljs.clj:31)
clojure.core.typed.base_env_cljs$init_jsnominals.invoke
(base_env_cljs.clj:29)
clojure.core.typed.base_env_cljs$reset_jsnominal_env_BANG_.invoke
(base_env_cljs.clj:67)
clojure.core.typed.base_env_cljs$generator_init_alias_env.invoke
(base_env_cljs.clj:138)
clojure.core.typed.base_env_cljs$init_alias_env.invoke
(base_env_cljs.clj:136)
clojure.core.typed.base_env_cljs$reset_alias_env_BANG_.invoke
(base_env_cljs.clj:159)
clojure.core.typed.base_env_cljs$reset_cljs_envs_BANG_$fn__17803.invoke
(base_env_cljs.clj:188)
clojure.core.typed.base_env_cljs$reset_cljs_envs_BANG_.invoke
(base_env_cljs.clj:187)
clojure.core.typed.reset_env$reset_envs_BANG_.invoke (reset_env.clj:24)
clojure.core.typed$check_ns_info.doInvoke (typed.clj:1490)
clojure.lang.RestFn.invoke (RestFn.java:410)
clojure.lang.AFn.applyToHelper (AFn.java:161)
clojure.lang.RestFn.applyTo (RestFn.java:132)
clojure.core$apply.invoke (core.clj:619)
clojure.core.typed$check_ns.doInvoke (typed.clj:1559)
clojure.lang.RestFn.invoke (RestFn.java:410)
clojure.core.typed$check_ns.invoke (typed.clj:1557)
test$eval21761.invoke (NO_SOURCE_FILE:1)
clojure.lang.Compiler.eval (Compiler.java:6619)
clojure.lang.Compiler.eval (Compiler.java:6582)
clojure.core$eval.invoke (core.clj:2852)
clojure.main$repl$read_eval_print__6588$fn__6591.invoke (main.clj:259)
clojure.main$repl$read_eval_print__6588.invoke (main.clj:259)
clojure.main$repl$fn__6597.invoke (main.clj:277)
clojure.main$repl.doInvoke (main.clj:277)
clojure.lang.RestFn.invoke (RestFn.java:1096)
clojure.tools.nrepl.middleware.interruptible_eval$evaluate$fn__5040.invoke
(interruptible_eval.clj:56)
clojure.lang.AFn.applyToHelper (AFn.java:159)
clojure.lang.AFn.applyTo (AFn.java:151)
clojure.core$apply.invoke (core.clj:617)
clojure.core$with_bindings_STAR_.doInvoke (core.clj:1788)
clojure.lang.RestFn.invoke (RestFn.java:425)
clojure.tools.nrepl.middleware.interruptible_eval$evaluate.invoke
(interruptible_eval.clj:41)
clojure.tools.nrepl.middleware.interruptible_eval$interruptible_eval$fn__5081$fn__5084.invoke
(interruptible_eval.clj:171)
clojure.core$comp$fn__4154.invoke (core.clj:2330)
clojure.tools.nrepl.middleware.interruptible_eval$run_next$fn__5074.invoke
(interruptible_eval.clj:138)
clojure.lang.AFn.run (AFn.java:24)
java.util.concurrent.ThreadPoolExecutor.runWorker
(ThreadPoolExecutor.java:1145)
java.util.concurrent.ThreadPoolExecutor$Worker.run
(ThreadPoolExecutor.java:615)
java.lang.Thread.run (Thread.java:744)
--
--
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
---
You received this message because you are subscribed to the Google Groups
"Clojure" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to clojure+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
