core.logic

cannot unify an lcons currently

Details

  • Type: Defect Defect
  • Status: Closed Closed
  • Priority: Major Major
  • Resolution: Completed
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • Labels:
    None

Description

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.

Activity

Hide
Kevin Downey added a comment -

dcf03a7f474da22b3a5889a37ac29c125026fceb adds metadata support to lvar

Show
Kevin Downey added a comment - dcf03a7f474da22b3a5889a37ac29c125026fceb adds metadata support to lvar

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: