Uploaded image for project: 'core.unify'
  1. UNIFY-9

Between clojure 1.6 and clojure 1.7, unification of maps stopped working correctly

    Details

    • Type: Bug
    • Status: Open
    • Priority: Major
    • Resolution: Unresolved
    • Labels:
      None
    • Environment:

      Failure duplicated on clojure 1.7, clojure 1.9.0-alpha14.
      Does not fail on 1.5.1, 1.6.

      Description

      With 1.9.0-alpha14:

      dev=> (clojure.core.unify/unify {:a '?x, :c :d} {:c :d, :a :b})
      nil
      dev=> (clojure.core.unify/unify {:a '?x, :c :d} {:a :b, :c :d})
      {?x :b}
      

        Attachments

          Activity

            People

            • Assignee:
              fogus Fogus
              Reporter:
              eraserhd Jason Felice
            • Votes:
              1 Vote for this issue
              Watchers:
              0 Start watching this issue

              Dates

              • Created:
                Updated: