core.unify

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

  • unify

(unify '[1 ?x] '[1])
=> {?x nil}

I expect this unification to fail.

• Assignee:

  Fogus

  Reporter:

  Thomas Winant

• Created:

  08/Feb/12 7:51 AM

  Updated:

  25/May/12 10:00 PM

  Resolved:

  25/May/12 10:00 PM