Try using cidre-nrepl "0.13.0". It might be in your ~/.lein/profiles.clj file.
Thanks, Ambrose On Wed, Aug 31, 2016 at 10:16 AM, Eelke van Foeken <[email protected]> wrote: > Hey, > > Apologies if I am wasting your time, I am just a beginner in Clojure, so I > might be overlooking some basic things. > > Hereby > > $lein version > Leiningen 2.6.1 on Java 1.8.0_102 Java HotSpot(TM) 64-Bit Server VM > $ lein deps :tree > Possibly confusing dependencies found: > [cider/cider-nrepl "0.8.1"] -> [org.clojure/java.classpath "0.2.0" > :exclusions [org.clojure/clojure]] > overrides > [org.clojure/core.typed "0.3.25"] -> [org.clojure/tools.namespace > "0.3.0-alpha3"] -> [org.clojure/java.classpath "0.2.3"] > > Consider using these exclusions: > [org.clojure/core.typed "0.3.25" :exclusions [org.clojure/java.classpath]] > > [cider/cider-nrepl "0.8.1"] -> [org.clojure/tools.namespace "0.2.5" > :exclusions [org.clojure/clojure]] > overrides > [org.clojure/core.typed "0.3.25"] -> [org.clojure/tools.namespace > "0.3.0-alpha3"] > > Consider using these exclusions: > [org.clojure/core.typed "0.3.25" :exclusions [org.clojure/tools.namespace]] > > [cider/cider-nrepl "0.8.1"] > [cljs-tooling "0.1.3" :exclusions [[org.clojure/clojure]]] > [compliment "0.2.0" :exclusions [[org.clojure/clojure]]] > [org.clojure/java.classpath "0.2.0" :exclusions [[org.clojure/clojure]]] > [org.clojure/tools.namespace "0.2.5" :exclusions > [[org.clojure/clojure]]] > [org.clojure/tools.trace "0.7.8" :exclusions [[org.clojure/clojure]]] > [org.tcrawley/dynapath "0.2.3" :exclusions [[org.clojure/clojure]]] > [clojure-complete "0.2.4" :exclusions [[org.clojure/clojure]]] > [org.clojure/clojure "1.9.0-alpha11"] > [org.clojure/core.typed "0.3.25"] > [org.clojure/core.cache "0.6.4"] > [org.clojure/data.priority-map "0.0.4"] > [org.clojure/core.contracts "0.0.6" :exclusions [[org.clojure/clojure]]] > [org.clojure/core.unify "0.5.7"] > [org.clojure/core.typed.rt "0.3.25"] > [org.clojure/math.combinatorics "0.1.3" :exclusions > [[org.clojure/clojure]]] > [org.clojure/tools.analyzer.jvm "0.6.8"] > [org.clojure/core.memoize "0.5.7"] > [org.clojure/tools.analyzer "0.6.7"] > [org.ow2.asm/asm-all "4.2"] > [org.clojure/tools.reader "1.0.0-beta3"] > [org.clojure/test.check "0.9.0"] > [org.clojure/tools.nrepl "0.2.12" :exclusions [[org.clojure/clojure]]] > > > Op wo 31 aug. 2016 om 16:09 schreef Ambrose Bonnaire-Sergeant < > [email protected]>: > >> I'm out of ideas. >> >> Can you send your `lein version` and `lein deps :tree` >> from the repo directory? >> >> Thanks, >> Ambrose >> >> On Wed, Aug 31, 2016 at 9:13 AM, Eelke van Foeken <[email protected]> >> wrote: >> >>> Hi, >>> >>> Yes I did exactly that. clone the repo. lein repl and then int the repl: >>> >>> $ lein repl >>> Initializing core.typed ... >>> WARNING: boolean? already refers to: #'clojure.core/boolean? in >>> namespace: clojure.tools.analyzer.utils, being replaced by: >>> #'clojure.tools.analyzer.utils/boolean? >>> WARNING: boolean? already refers to: #'clojure.core/boolean? in >>> namespace: clojure.tools.analyzer, being replaced by: >>> #'clojure.tools.analyzer.utils/boolean? >>> Building core.typed base environments ... >>> Finished building base environments >>> "Elapsed time: 14919.589655 msecs" >>> core.typed initialized. >>> nREPL server started on port 57873 on host 127.0.0.1 - nrepl:// >>> 127.0.0.1:57873 >>> REPL-y 0.3.7, nREPL 0.2.12 >>> Clojure 1.9.0-alpha11 >>> Java HotSpot(TM) 64-Bit Server VM 1.8.0_102-b14 >>> 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 'runtime-infer-demo.core-test) >>> nil >>> user=> (in-ns 'runtime-infer-demo.core-test) >>> #object[clojure.lang.Namespace 0x139b884e "runtime-infer-demo.core-test" >>> ] >>> runtime-infer-demo.core-test=> (run-tests) >>> >>> >>> Testing runtime-infer-demo.core-test >>> >>> >>> Ran 1 tests containing 2 assertions. >>> 0 failures, 0 errors. >>> {:test 1, :pass 2, :fail 0, :error 0, :type :summary} >>> runtime-infer-demo.core-test=> (in-ns 'runtime-infer-demo.core) >>> #object[clojure.lang.Namespace 0x5aee3dae "runtime-infer-demo.core"] >>> runtime-infer-demo.core=> (t/runtime-infer) >>> >>> AssertionError Assert failed: No namespace form found >>> ns-form clojure.core.typed.runtime-infer/ns-end-line >>> (runtime_infer.clj:2566) >>> runtime-infer-demo.core=> >>> >>> Thanks for helping out, >>> Eelke >>> >>> Op woensdag 31 augustus 2016 14:57:17 UTC+2 schreef Ambrose >>> Bonnaire-Sergeant: >>>> >>>> Hi Eelke, >>>> >>>> I can't reproduce, did you just clone the project and run the steps? >>>> >>>> Can you post your REPL session? >>>> >>>> Thanks, >>>> Ambrose >>>> >>>> On Wed, Aug 31, 2016 at 8:33 AM, Eelke van Foeken <[email protected]> >>>> wrote: >>>> >>>>> Hi, >>>>> >>>>> Great feature! I am trying the demo project. I am following the steps >>>>> from the first example, but when I get to (t/runtime-infer) I get the >>>>> following error: >>>>> AssertionError Assert failed: No namespace form found >>>>> ns-form clojure.core.typed.runtime-infer/ns-end-line >>>>> (runtime_infer.clj:2566) >>>>> >>>>> Am I overlooking something? >>>>> >>>>> Best regards, >>>>> Eelke van Foeken >>>>> >>>>> >>>>> Op woensdag 31 augustus 2016 11:17:09 UTC+2 schreef Ambrose >>>>> Bonnaire-Sergeant: >>>>> >>>>>> Hi, >>>>>> >>>>>> The latest core.typed release has support for generating >>>>>> clojure.spec specs from unit tests. >>>>>> >>>>>> [org.clojure/core.typed "0.3.25"] >>>>>> >>>>>> ...; for very recent releases >>>>>> :repositories {"sonatype-oss-public" >>>>>> "https://oss.sonatype.org/content/groups/public/"} >>>>>> >>>>>> >>>>>> Here's an example >>>>>> <https://gist.github.com/frenchy64/85c1c812daf81d07a55dd3ff82e3b0fe> >>>>>> of the kind of specs it can generate >>>>>> from even minimal tests. >>>>>> >>>>>> There is a demo <https://github.com/typedclojure/auto-annotation> >>>>>> repository >>>>>> if you want to test this feature out. >>>>>> >>>>>> We now use a modified version of Compiler.java as an >>>>>> analyzer, so there are nice noticeable speedups for >>>>>> compilation. >>>>>> >>>>>> Feedback welcome! >>>>>> >>>>>> README <https://github.com/clojure/core.typed> >>>>>> CHANGELOG >>>>>> <https://github.com/clojure/core.typed/blob/master/CHANGELOG.md#0325---31-august-2016> >>>>>> >>>>>> Thanks, >>>>>> Ambrose >>>>>> >>>>> >>>> >> -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to [email protected] Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to [email protected] 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
