core.logic

Subpattern {?x (?y ?y)} fails to unify

Details

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

Description

This expression should unify but doesn't:

(unify {:as '{?x (?y ?y)}} '[[?y ?x] [1 (1 1)]])

Activity

Hide
Jonas Enlund added a comment -

The patch LOGIC-122.diff includes patches for LOGIC-120 and LOGIC-121

Show
Jonas Enlund added a comment - The patch LOGIC-122.diff includes patches for LOGIC-120 and LOGIC-121
Hide
David Nolen added a comment -

So unless I'm mistaken I only need to apply this patch to address the three tickets correct?

Show
David Nolen added a comment - So unless I'm mistaken I only need to apply this patch to address the three tickets correct?
Hide
Jonas Enlund added a comment -

Correct. This patch fixes LOGIC-120 121 and 122. The patch for LOGIC-118 is not included in these commits. Do you want tests in a seperate ticket/patch?

Show
Jonas Enlund added a comment - Correct. This patch fixes LOGIC-120 121 and 122. The patch for LOGIC-118 is not included in these commits. Do you want tests in a seperate ticket/patch?
Hide
David Nolen added a comment -

I would actually prefer a squashed patch that includes the tests. Thanks. It makes sense to deal with LOGIC-118 separately, can we make sure we have tests there as well? Thanks!

Show
David Nolen added a comment - I would actually prefer a squashed patch that includes the tests. Thanks. It makes sense to deal with LOGIC-118 separately, can we make sure we have tests there as well? Thanks!
Hide
Jonas Enlund added a comment -

Use LOGIC-120-121-122-squashed.diff. It includes the tests.

Show
Jonas Enlund added a comment - Use LOGIC-120-121-122-squashed.diff. It includes the tests.

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: