<< Back to previous view

[LOGIC-62] distincto bug Created: 25/Oct/12  Updated: 26/Oct/12  Resolved: 26/Oct/12

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

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


 Description    
(run 16 [q] (distincto q) (everyo #(membero % (range 3)) q))
;; returns (() [0] [1] [2] (0 0) (0 1) (1 0) (0 2) (1 1) (2 0) (1 2) (2 1) (2 2) (0 0 0) (0 0 1) (0 1 0)), incorrect

 Comments   
Comment by David Nolen [ 26/Oct/12 12:39 AM ]

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

Generated at Sun May 19 23:00:20 CDT 2013 using JIRA 4.4#649-r158309.