core.logic

conda expression that no longer works in rc2

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

Description

(run* [x]
  (conda 
    [succeed
      (project [x] succeed)
      (project [x] succeed)]))

This is issue was reported by the damp.ekeko developers.

Activity

David Nolen made changes -
Field Original Value New Value
Description {code}
(run* [x]
  (conda [succeed
    (project [x] succeed)
    (project [x] succeed)]))
{code}
{code}
(run* [x]
  (conda
    [succeed
      (project [x] succeed)
      (project [x] succeed)]))
{code}
David Nolen made changes -
Description {code}
(run* [x]
  (conda
    [succeed
      (project [x] succeed)
      (project [x] succeed)]))
{code}
{code}
(run* [x]
  (conda
    [succeed
      (project [x] succeed)
      (project [x] succeed)]))
{code}

This is issue was reported by the damp.ekeko developers.
Hide
David Nolen added a comment -

I'm surprised this one has gone unnoticed for so long, both conda and condu implementation were incorrect for the unit case. Fixed in master: http://github.com/clojure/core.logic/commit/1d1724bc66b344551619c32331393a811fe7714a

Show
David Nolen added a comment - I'm surprised this one has gone unnoticed for so long, both conda and condu implementation were incorrect for the unit case. Fixed in master: http://github.com/clojure/core.logic/commit/1d1724bc66b344551619c32331393a811fe7714a
David Nolen made changes -
Resolution Completed [ 1 ]
Status Open [ 1 ] Resolved [ 5 ]
David Nolen made changes -
Status Resolved [ 5 ] Closed [ 6 ]

People

Vote (0)
Watch (1)

Dates

  • Created:
    Updated:
    Resolved: