core.logic

prep does not make lvar of ?x if ?x is in a vector

Details

  • Type: Defect Defect
  • Status: Open Open
  • Priority: Major Major
  • Resolution: Unresolved
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • Labels:
    None

Description

In latest master:

user=> (use 'clojure.core.logic.unifier)
user=> (prep '([?x]))
([<lvar:?x>]) ;; ok. ?x turned into an lvar
user=> (prep '([?x] . ?xs))
([?x] . <lvar:?xs>) ;; fail. ?x is not an lvar

The last expression should return ([<lvar:?x>] . <lvar:?xs>)

Activity

Jonas Enlund made changes -
Field Original Value New Value
Attachment LOGIC-118.diff [ 11908 ]

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated: