Not sure how to tell the commit, but lein-clr has pulled down: clojure-clr-1.4.0-Debug-4.0.zip
Thanks, Ambrose On Fri, Mar 22, 2013 at 8:11 PM, dmiller <dmiller2...@gmail.com> wrote: > I've not seen that behavior on ClojureCLR/Mono before. > > What ClojureCLR commit are you using? > > > On Thursday, March 21, 2013 10:42:52 PM UTC-5, Ambrose Bonnaire-Sergeant > wrote: > >> I'm using Mono on Ubuntu, and I have these errors/failures (including >> project.clj at the bottom): >> >> https://gist.github.com/**frenchy64/5218783<https://gist.github.com/frenchy64/5218783> >> >> This is with commit **3b387f914815e389313897977eb02a**9fba89dea2 >> >> Is this to do with my environment? >> >> Thanks, >> Ambrose >> >> On Fri, Mar 22, 2013 at 11:09 AM, Ambrose Bonnaire-Sergeant < >> abonnair...@gmail.com> wrote: >> >>> Hi David, >>> >>> Excellent work so far! >>> >>> I'll have a dig around and see what I find. >>> >>> Thanks, >>> Ambrose >>> >>> >>> On Fri, Mar 22, 2013 at 10:53 AM, dmiller <dmill...@gmail.com> wrote: >>> >>>> Last update on this here: >>>> >>>> >>>> The port of core.logic to ClojureCLR that resides here: >>>> https://github.com/**dmiller/**clr.core.logic<https://github.com/dmiller/clr.core.logic> >>>> >>>> the datomic piece is not ported. >>>> >>>> All tests run EXCEPT: >>>> >>>> test-binding-map-* >>>> test-binding-map-as-1 >>>> test-binding-map-constraints-1 >>>> test-unifier-constraints-* >>>> test-flatteno >>>> test-unifier-anon-constraints-**3 >>>> test-36-unifier-behavior >>>> >>>> These tests mostly involve clojure.core.logic.unifier/**unify and >>>> .../unifier. >>>> It is rather daunting to just jump into core.logic and debug this kind >>>> of thing, so it might take a while for me to solve this. >>>> I invite anyone interested in ClojureCLR + core.logic to take a look. >>>> >>>> -David >>>> >>>> -- >>>> -- >>>> You received this message because you are subscribed to the Google >>>> Groups "Clojure" group. >>>> To post to this group, send email to clo...@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+u...@**googlegroups.com >>>> >>>> For more options, visit this group at >>>> http://groups.google.com/**group/clojure?hl=en<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+u...@**googlegroups.com. >>>> >>>> For more options, visit >>>> https://groups.google.com/**groups/opt_out<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. > > > -- -- 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.