<< Back to previous view

[LOGIC-92] nominal is missing a few constraints-related tweaks Created: 02/Jan/13  Updated: 28/Jul/13  Resolved: 02/Jan/13

Status: Closed
Project: core.logic
Component/s: None
Affects Version/s: None
Fix Version/s: None

Type: Defect Priority: Major
Reporter: Nada Amin Assignee: David Nolen
Resolution: Completed Votes: 0
Labels: None

Attachments: File nominal-infd.diff    


These tests fail. We get only the first result.

(is (= (run* [q]
           (fresh [x]
             (nom/fresh [a]
               (infd x (interval 1 3))
               (== q (nom/tie a x)))))
        [(nom/tie 'a_0 1) (nom/tie 'a_0 2) (nom/tie 'a_0 3)]))
  (is (= (run* [q]
           (nom/fresh [a b c]
             (fresh [x]
               (infd x (interval 1 3))
               (== (nom/tie b (nom/tie a x)) (nom/tie c q)))))
        [(nom/tie 'a_0 1) (nom/tie 'a_0 2) (nom/tie 'a_0 3)]))

Comment by Nada Amin [ 02/Jan/13 9:09 AM ]

nominal-infd.diff contains fix and tests.

Comment by David Nolen [ 02/Jan/13 9:17 AM ]

fixed, http://github.com/clojure/core.logic/commit/f973b36cb02b3b797852859f2cc2a09356157cc4

Generated at Wed Jan 24 02:10:09 CST 2018 using JIRA 4.4#649-r158309.