[LOGIC-5] cannot unify an lcons currently Created: 01/Jun/11 Updated: 28/Jul/13 Resolved: 02/Jun/11
|Reporter:||Kevin Downey||Assignee:||David Nolen|
if you have an lcons in your pattern somehow (modify replace-lvar to emit lcons for unifying lvars to the head and tail of a seq) currently you will get an exception because unify.clj uses metadata to pass the list of lvars around and lcons don't support metadata, so lcons at the toplevel get an exception when trying to attach metadata.
either lcons needs to support metadata or the list of lvars should be passed around some other way.
|Comment by Kevin Downey [ 02/Jun/11 4:50 PM ]|
dcf03a7f474da22b3a5889a37ac29c125026fceb adds metadata support to lvar