<< Back to previous view

[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.

Generated at Mon Sep 01 02:57:43 CDT 2014 using JIRA 4.4#649-r158309.