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

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: