core.unify

Vectors of different length incorrectly unify

Details

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

Description

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

I expect this unification to fail.

Activity

Ascending order - Click to sort in descending order
Hide
Permalink
Fogus added a comment -

Which version are you using?

Show
Fogus added a comment - Which version are you using?
Hide
Permalink
Thomas Winant added a comment -

Version 5.2

Show
Thomas Winant added a comment - Version 5.2
Hide
Permalink
Fogus added a comment -

This is not a perfect solution, but it works as a stopgap as this will be handled in the next 0.1.0 version. For now the 0.5.3 version has been deployed and should be available on Maven Central in the next few hours.

Show
Fogus added a comment - This is not a perfect solution, but it works as a stopgap as this will be handled in the next 0.1.0 version. For now the 0.5.3 version has been deployed and should be available on Maven Central in the next few hours.

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved:
Atlassian JIRA (v4.4#649-r158309) | Report a problem
Powered by a free Atlassian JIRA open source license for Clojure. Try JIRA - bug tracking software for your team.