Re: Redefinition of datatypes

2013-03-25 Thread Ambrose Bonnaire-Sergeant
I think I figured out how to disable compilation. Seems to work. (just failing unit tests now) http://build.clojure.org/job/core.typed/17/console Thanks! Ambrose On Mon, Mar 25, 2013 at 9:30 AM, Ambrose Bonnaire-Sergeant < abonnaireserge...@gmail.com> wrote: > Hi Stuart, > > I think the problem

Re: Redefinition of datatypes

2013-03-24 Thread Ambrose Bonnaire-Sergeant
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

Re: Redefinition of datatypes

2013-03-24 Thread Stuart Sierra
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. (I

Re: Redefinition of datatypes

2013-03-22 Thread Ambrose Bonnaire-Sergeant
On Sat, Mar 23, 2013 at 7:32 AM, Hugo Duncan wrote: > Ambrose Bonnaire-Sergeant 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 mis

Re: Redefinition of datatypes

2013-03-22 Thread Hugo Duncan
Ambrose Bonnaire-Sergeant 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

Re: Redefinition of datatypes

2013-03-22 Thread Ambrose Bonnaire-Sergeant
Now that ClojureWest has finished, I'll gently bump this thread :) Thanks, Ambrose On Wed, Mar 13, 2013 at 12:51 PM, Ambrose Bonnaire-Sergeant < abonnaireserge...@gmail.com> wrote: > core.typed dependencies are all in Central now. > > Here's a reproducible example of this failure. > > http://bui

Re: Redefinition of datatypes

2013-03-12 Thread Ambrose Bonnaire-Sergeant
core.typed dependencies are all in Central now. Here's a reproducible example of this failure. http://build.clojure.org/job/core.typed/3/console Thanks, Ambrose On Sun, Feb 24, 2013 at 12:50 AM, Chas Emerick wrote: > On Feb 23, 2013, at 11:35 AM, Stuart Sierra wrote: > > Furthermore, accordin

Re: Redefinition of datatypes

2013-02-23 Thread Chas Emerick
On Feb 23, 2013, at 11:35 AM, Stuart Sierra wrote: > Furthermore, according to the policy of the Maven Central Repository, we > cannot deploy anything which depends on third-party repositories. Therefore > we cannot deploy core.typed to the Central Repository unless all its > dependencies are a

Re: Redefinition of datatypes

2013-02-23 Thread Ambrose Bonnaire-Sergeant
Hi Stuart, Sorry about that, I just changed it to analyze 0.3.0, which is on Clojars. Try pulling again. As for dependencies: - the Trammel dep could be refactored to use core.contracts - I'm happy to offer analyze as a contrib project if needed. It's crucial to core.typed. - other deps can be de

Re: Redefinition of datatypes

2013-02-23 Thread Stuart Sierra
Hi Ambrose, I would try to help diagnose this, but I can't even try to compile core.typed in its present state because of dependencies: core.typed declares a dependency on analyze 0.3.1-SNAPSHOT,

Re: Redefinition of datatypes

2013-02-22 Thread Christophe Grand
I have,'t looked much into it but my hunch is that it's the same bytecode but loaded by two different classloaders. So a double loading rather than a double compilation. Christophe On Fri, Feb 22, 2013 at 8:26 AM, Ambrose Bonnaire-Sergeant < abonnaireserge...@gmail.com> wrote: > Hi, > > I don't