core.logic

Finite-domain vars inside a vector crash when constrained.

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
  • Environment:
    clojure 1.5.0-beta1 with core.logic 0.8.0-beta3

Description

I don't know a lot about the finite domain code, but it surprised me that this crashes:

(run 1 [r a b x]
  (== r [a b])
  (infd a b x (domain 1 2))
  (<fd a b)
  (firsto r x))

This was the most minimal example I could come up with.

Activity

People

Vote (0)
Watch (1)

Dates

  • Created:
    Updated:
    Resolved: