<< Back to previous view

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

Status: Open
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: 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 Tue Sep 16 10:31:17 CDT 2014 using JIRA 4.4#649-r158309.