[UNIFY-4] Vectors of different length incorrectly unify Created: 08/Feb/12 Updated: 25/May/12 Resolved: 25/May/12 |
|
| Status: | Resolved |
| Project: | core.unify |
| Component/s: | None |
| Affects Version/s: | None |
| Fix Version/s: | None |
| Type: | Defect | Priority: | Minor |
| Reporter: | Thomas Winant | Assignee: | Fogus |
| Resolution: | Completed | Votes: | 0 |
| Labels: | unify | ||
| Description |
(unify '[1 ?x] '[1])
=> {?x nil}
I expect this unification to fail. |
| Comments |
| Comment by Fogus [ 26/Apr/12 11:48 AM ] |
|
Which version are you using? |
| Comment by Thomas Winant [ 26/Apr/12 1:43 PM ] |
|
Version 5.2 |
| Comment by Fogus [ 25/May/12 10:00 PM ] |
|
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. |