core.logic

• Type: Defect
• Status: Resolved
• Priority: 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

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.

• Assignee:

  David Nolen

  Reporter:

  Gary Fredericks

• Created:

  15/Dec/12 4:12 PM

  Updated:

  24/Dec/12 6:14 PM

  Resolved:

  24/Dec/12 6:14 PM