-
-
Save darthdeus/5f3a40cdff8e21eed15d to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| $ lein try org.clojure/core.typed "0.2.87" org.clojure/tools.analyzer.jvm "0.6.5" org.clojure/clojure "1.6.0" | |
| nREPL server started on port 61043 on host 127.0.0.1 - nrepl://127.0.0.1:61043 | |
| 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=> (require '[clojure.core.typed :as t]) | |
| nil | |
| user=> (t/cf 1) | |
| Initializing core.typed ... | |
| Building core.typed base environments ... | |
| Finished building base environments | |
| "Elapsed time: 16052.550743 msecs" | |
| core.typed initialized. | |
| UnsupportedOperationException nth not supported on this type: Long clojure.lang.RT.nthFrom (RT.java:857) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment