<< Back to previous view

[LOGIC-5] cannot unify an lcons currently Created: 01/Jun/11  Updated: 28/Jul/13  Resolved: 02/Jun/11

Status: Closed
Project: core.logic
Component/s: None
Affects Version/s: None
Fix Version/s: None

Type: Defect Priority: Major
Reporter: Kevin Downey Assignee: David Nolen
Resolution: Completed Votes: 0
Labels: None


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

Generated at Sun Oct 22 01:38:34 CDT 2017 using JIRA 4.4#649-r158309.