Skip to content

Instantly share code, notes, and snippets.

@darthdeus
Created April 21, 2015 23:46
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save darthdeus/6a3a7f5fb91073575f77 to your computer and use it in GitHub Desktop.
Save darthdeus/6a3a7f5fb91073575f77 to your computer and use it in GitHub Desktop.
$ lein try org.clojure/core.typed "0.2.84" org.clojure/tools.analyzer.jvm "0.6.6"
Retrieving org/clojure/tools.analyzer.jvm/0.6.6/tools.analyzer.jvm-0.6.6.pom from central
Retrieving org/clojure/tools.analyzer/0.6.5/tools.analyzer-0.6.5.pom from central
Retrieving org/clojure/tools.reader/0.8.15/tools.reader-0.8.15.pom from central
Retrieving org/clojure/tools.analyzer/0.6.5/tools.analyzer-0.6.5.jar from central
Retrieving org/clojure/tools.analyzer.jvm/0.6.6/tools.analyzer.jvm-0.6.6.jar from central
nREPL server started on port 60986 on host 127.0.0.1 - nrepl://127.0.0.1:60986
REPL-y 0.3.5, nREPL 0.2.6
Clojure 1.6.0
Java HotSpot(TM) 64-Bit Server VM 1.8.0_31-b13
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=> (use 'clojure.core.typed)
WARNING: atom already refers to: #'clojure.core/atom in namespace: user, being replaced by: #'clojure.core.typed/atom
WARNING: doseq already refers to: #'clojure.core/doseq in namespace: user, being replaced by: #'clojure.core.typed/doseq
WARNING: let already refers to: #'clojure.core/let in namespace: user, being replaced by: #'clojure.core.typed/let
WARNING: fn already refers to: #'clojure.core/fn in namespace: user, being replaced by: #'clojure.core.typed/fn
WARNING: defn already refers to: #'clojure.core/defn in namespace: user, being replaced by: #'clojure.core.typed/defn
WARNING: ref already refers to: #'clojure.core/ref in namespace: user, being replaced by: #'clojure.core.typed/ref
WARNING: dotimes already refers to: #'clojure.core/dotimes in namespace: user, being replaced by: #'clojure.core.typed/dotimes
WARNING: defprotocol already refers to: #'clojure.core/defprotocol in namespace: user, being replaced by: #'clojure.core.typed/defprotocol
WARNING: loop already refers to: #'clojure.core/loop in namespace: user, being replaced by: #'clojure.core.typed/loop
WARNING: for already refers to: #'clojure.core/for in namespace: user, being replaced by: #'clojure.core.typed/for
nil
user=> (cf 1)
Initializing core.typed ...
Building core.typed base environments ...
Finished building base environments
"Elapsed time: 4877.829109 msecs"
core.typed initialized.
[(Val 1) {:then tt, :else ff}]
user=>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment