<< Back to previous view

[LOGIC-47] is macro needs to be improved Created: 30/Aug/12  Updated: 15/Oct/14

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

Type: Defect Priority: Minor
Reporter: David Nolen Assignee: David Nolen
Resolution: Unresolved Votes: 0
Labels: None


the is macro should work like the following:

(is x (- (+ a b) c))

All locals appearing in the right expression should be walked.

Generated at Mon Jan 22 18:40:53 CST 2018 using JIRA 4.4#649-r158309.