core.logic

set reify-vars to false for the user if the unifier is given more than 2 arguments

Views
- XML
- Word
- Printable

Details

Type: Enhancement
Status: Resolved
Priority: Major
Resolution: Completed
Affects Version/s: None
Fix Version/s: None
Component/s: None
Labels:
None

Description

(unifier '(?x) '(?x) '(1))

This will fail which is surprising.

Activity

Hide

Permalink

David Nolen added a comment - 17/Mar/13 6:47 PM

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

Show

David Nolen added a comment - 17/Mar/13 6:47 PM fixed, http://github.com/clojure/core.logic/commit/07292792bec2694dafd4bf62b1c96580d5d270d3

People

Assignee:

David Nolen

Reporter:

David Nolen

Vote (0)

Watch (0)

Dates

Created:

20/Nov/12 1:19 PM

Updated:

17/Mar/13 6:47 PM

Resolved:

17/Mar/13 6:47 PM