core.logic

relevant-var? logic incorrectly discards a vars constraint set

Details

  • Type: Defect Defect
  • Status: Open Open
  • Priority: Trivial Trivial
  • Resolution: Unresolved
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • Labels:
    None

Description

Need a patch and a test showing that the vars constraint set is preserved.

Activity

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated: