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.
