typed_repl.clj

nREPL server started on port 64499 on host 127.0.0.1 - nrepl://127.0.0.1:64499
REPL-y 0.3.1
Clojure 1.7.0-alpha6
Reflection warning, /tmp/form-init8946539659736038022.clj:1:1389 - reference to field ns can't be resolved.
Reflection warning, /tmp/form-init8946539659736038022.clj:1:3631 - reference to field name can't be resolved.
    Docs: (doc function-name-here)
          (find-doc "part-of-name-here")
  Source: (source function-name-here)
 Javadoc: (javadoc java-object-or-class-here)
    Exit: Control+D or (exit) or (quit)
 Results: Stored in vars *1, *2, *3, an exception in *e

user=> (inc 'a)

ClassCastException clojure.lang.Symbol cannot be cast to java.lang.Number  clojure.lang.Numbers.inc (Numbers.java:112)
user=> (ns ^:core.typed foo)
nil
foo=> 1
Initializing core.typed ...
< ..... >
"Elapsed time: 29933.403231 msecs"
core.typed initialized.
1
foo=> (inc 'a)
Type Error (/tmp/form-init8946539659736038022.clj) Static method clojure.lang.Numbers/inc could not be applied to arguments:


Domains:
	java.lang.Long
	java.lang.Double
	clojure.core.typed/AnyInteger
	java.lang.Number

Arguments:
	(clojure.core.typed/Val a)

Ranges:
	java.lang.Long
	java.lang.Double
	clojure.core.typed/AnyInteger
	java.lang.Number

in: (clojure.lang.Numbers/inc (quote a))
in: (clojure.lang.Numbers/inc (quote a))


"Type Checker: Found 1 error"

ClassCastException clojure.lang.Symbol cannot be cast to java.lang.Number  clojure.lang.Numbers.inc (Numbers.java:112)
foo=> (in-ns 'user)
#object[clojure.lang.Namespace 0x132525a "user"]
user=> (inc 'a)
ClassCastException clojure.lang.Symbol cannot be cast to java.lang.Number  clojure.lang.Numbers.inc (Numbers.java:112)

user=> (in-ns 'foo)
#object[clojure.lang.Namespace 0x897d3e "foo"]
foo=> (inc 'a)
Type Error (/tmp/form-init8946539659736038022.clj) Static method clojure.lang.Numbers/inc could not be applied to arguments:


Domains:
	java.lang.Long
	java.lang.Double
	clojure.core.typed/AnyInteger
	java.lang.Number

Arguments:
	(clojure.core.typed/Val a)

Ranges:
	java.lang.Long
	java.lang.Double
	clojure.core.typed/AnyInteger
	java.lang.Number

in: (clojure.lang.Numbers/inc (quote a))
in: (clojure.lang.Numbers/inc (quote a))


"Type Checker: Found 1 error"

ClassCastException clojure.lang.Symbol cannot be cast to java.lang.Number  clojure.lang.Numbers.inc (Numbers.java:112)
foo=>