[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 | ||
| Description |
|
the is macro should work like the following: (is x (- (+ a b) c)) All locals appearing in the right expression should be walked. |