[LOGIC-72] Unification with partial-map fails when a map contains a map value with extra keys Created: 22/Nov/12 Updated: 28/Jul/13 Resolved: 23/Nov/12
|Reporter:||Hugo Duncan||Assignee:||David Nolen|
|Patch:||Code and Test|
Unification fails for partial-map when there is a partial match on a sub-map.
A failing test case:
|Comment by Hugo Duncan [ 23/Nov/12 3:55 PM ]|
As mentioned by Kevin Lynagh, this can be achieved using walk-term, and I agree the behaviour is better off being explicit.
|Comment by David Nolen [ 23/Nov/12 3:58 PM ]|
having partial-map implicitly recurse is undesirable. It's easy to achieve the desired behavior now that we have a reusable walk-term built into core.logic.