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

Hide
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.
Hide
Thomas Winant added a comment -

Version 5.2

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

Which version are you using?

Show
Fogus added a comment - Which version are you using?

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: