Clojure 1.6 added a record? predicate so core.logic's is now colliding and core.logic will need to address that I think.
On Monday, March 24, 2014 7:14:00 AM UTC-5, Sean Johnson wrote: > > I get the following warning when using 1.6.0-RC3 > > WARNING: record? already refers to: #'clojure.core/record? in namespace: > clojure.core.logic, being replaced by: #'clojure.core.logic/record? > > when requiring [clojure.core.logic :refer (run* membero distincto ==)] > > Doesn't happen with 1.5.1. > > Excluding record? with (:refer-clojure :exclude [== record?]) doesn't help > since I'm not using record? directly. > > > On Sunday, March 23, 2014 5:45:59 PM UTC-4, Alex Miller wrote: >> >> Clojure 1.6.0-RC3 is now available. >> >> Try it via >> - Download: http://central.maven.org/maven2/org/clojure/clojure/1.6.0-RC3 >> - Leiningen: [org.clojure/clojure "1.6.0-RC3"] >> >> See the full change log here: >> https://github.com/clojure/clojure/blob/master/changes.md >> >> Clojure 1.6.0-RC3 has the following changes since 1.6.0-RC2: >> >> - Test temporarily disabled to allow Clojure to build with JDK 1.8 >> (requires ASM upgrade in future release) >> - Symbol no longer caches hashCode and will lazily cache hasheq. The >> hasheq is also computed in a different way to leverage the cached String >> hashCode of the Symbol ns (if it exists). >> >> Please let us know how it looks! >> > -- 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.
