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 <evfoe...@gmail.com>
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 clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
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 clojure+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
