core.logic

• Type: Defect
• Status: Resolved
• Priority: Major
• Resolution: Declined
• Affects Version/s: None
• Fix Version/s: None
• Component/s: None
• Labels:

  None

Unification fails for partial-map when there is a partial match on a sub-map.

A failing test case:

(is (= '[#clojure.core.logic.PMap{:a {:b 2}}]
         (run* [q]
           (fresh [pm x]
             (== (partial-map {:a {:b x}}) pm)
             (== {:a {:b 2 :c 3}} pm)
             (== q pm)))))

1. 

   recursive-partial-map.diff

   22/Nov/12 11:03 PM

   2 kB

   Hugo Duncan

• Assignee:

  David Nolen

  Reporter:

  Hugo Duncan

• Created:

  22/Nov/12 11:03 PM

  Updated:

  23/Nov/12 3:58 PM

  Resolved:

  23/Nov/12 3:58 PM