Hi Stuart, I think the problem is slightly deeper with core.typed. I use `derive` to define a common supertype for several defrecords, which is the source of the original (Filter? +) assertion error. Filter? is defined
(def Filter ::filter) (defn Filter? [a] (isa? (class a) Filter)) This ends up with lots of weirdness with compilation. How do I disable AOT? I don't know if I even want AOT anyway: I'm moving towards lazily loading most of core.typed. Thanks, Ambrose On Mon, Mar 25, 2013 at 9:08 AM, Stuart Sierra <the.stuart.sie...@gmail.com>wrote: > Ah yes, the joys of AOT-compilation and static initializers. I know them > well. > > Strange things happen with AOT-compilation. Classes get loaded in a > different order, or get loaded by different classloaders. Maybe someday we > can figure it all out. Try replacing that with `instance?` as you say. (Is > the return value of `defrecord` even defined?) > > If nothing else works, it is possible to disable AOT-compilation > altogether. The Contrib super-POM does it only as a sanity check. > > I tried this and got failures during the test phase: > > [INFO] --- clojure-maven-plugin:1.3.13:test (clojure-test) @ core.typed --- > Exception in thread "main" java.lang.StringIndexOutOfBoundsException: > String index out of range: 1, > compiling:(clojure/core/typed/test/mini_kanren.clj:575:3) > at clojure.lang.Compiler.analyzeSeq(Compiler.java:6567) > at clojure.lang.Compiler.analyze(Compiler.java:6361) > > -S > > > > On Friday, March 22, 2013 9:08:00 PM UTC-4, Ambrose Bonnaire-Sergeant > wrote: >> >> On Sat, Mar 23, 2013 at 7:32 AM, Hugo Duncan <dunca...@gmail.com> wrote: >> >> Ambrose Bonnaire-Sergeant <abonnair...@gmail.com> writes: >>> >>> > Now that ClojureWest has finished, I'll gently bump this thread :) >>> > >>> > Thanks, >>> > Ambrose >>> >>> Ambrose, >>> >>> I had a quick look at this. I tried running with zi:test, and it >>> complained about a missing dependency on tools.macro. Adding that as a >>> test scoped dependency and running again gives me: >>> >>> [ERROR] InvocationTargetException: java.lang.** >>> StringIndexOutOfBoundsExceptio**n: String index out of range: 1, >>> compiling:(clojure/core/typed/**test/mini_kanren.clj:575:3) >>> >>> The original error seems to have something to do with the core.contracts >>> expansion. Defining TopFilter and BotFilter with c.core/defrecord (and >>> defining appropriate type predicate functions) seems to get further. >> >> >> Cheers Hugo. You're right, it does get further with some defrecords, then >> gets stuck at another defconstrainedrecord predicate. >> >> This is the macroexpansion for a defconstrainedrecord predicate: >> >> (clojure.core/let [t__3815__auto__ (clojure.core/defrecord >> TopFilter >> [])] >> (clojure.core/defn TopFilter? [r__3816__auto__] >> (clojure.core.contracts.**constraints/= >> t__3815__auto__ >> (clojure.core/type r__3816__auto__)))) >> >> Perhaps we should be doing an (instance? TopFilter r) here instead? The >> output of `defrecord` seems to be out of date immediately when compiling. >> >> 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/groups/opt_out. > > > -- -- 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/groups/opt_out.
