[LOGIC-104] -merge-doms for ::nom is not closed under composition Created: 11/Jan/13 Updated: 11/Jan/13 Resolved: 11/Jan/13
|Reporter:||Nada Amin||Assignee:||David Nolen|
The snippet above fails with a no implementation of method -merge-doms for LazySeq, because -merge-doms for ::nom is implemented for vectors but returns a lazy seq, not a vector.
The simplest fix is to change `concat` to `into` in the -merge-doms implementation of nominal.clj. However, while I am at it, I will replace the vector with a set, which makes more sense given how it's used anyways.
Patch will be attached shortly.
|Comment by Nada Amin [ 11/Jan/13 7:59 AM ]|
Patch logic-104.diff contains improved ::nom dom representation and test for this bug.
|Comment by David Nolen [ 11/Jan/13 8:35 AM ]|