[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. |
[UNIFY-2] Remove reflection warnings Created: 05/Jan/12 Updated: 05/Jan/12 Resolved: 05/Jan/12 |
|
| Status: | Resolved |
| Project: | core.unify |
| Component/s: | None |
| Affects Version/s: | None |
| Fix Version/s: | None |
| Type: | Defect | Priority: | Minor |
| Reporter: | Fogus | Assignee: | Fogus |
| Resolution: | Completed | Votes: | 0 |
| Labels: | performance, reflection, unify | ||
| Approval: | Ok |
| Description |
Reflection warning, clojure/core/unify.clj:30 - reference to field getClass can't be resolved. Reflection warning, clojure/core/unify.clj:30 - reference to field isArray can't be resolved. These reflective calls occur frequently enough that they should be resolved. |
| Comments |
| Comment by Fogus [ 05/Jan/12 7:37 AM ] |
|
Fixed in 6b6d1130bf857439d1863f6fc574a7a6541b84b8. |