[LOGIC-153] deftest test-34-unify-with-metadata appears incorrect Created: 23/Dec/13 Updated: 01/Jan/14
|Reporter:||Andy Fingerhut||Assignee:||David Nolen|
I am not sure what was intended for this, but replacing it with the following causes the test to fail.
I think the correct version is probably close to that, though.
|Comment by David Nolen [ 30/Dec/13 7:20 PM ]|
I'm pretty sure meta data on forms caused exceptions and that's what this test was for.
|Comment by Andy Fingerhut [ 01/Jan/14 12:05 PM ]|
As that test is written now, it is of the form:
The second argument to the macro 'is' is optional, and if present should be a string, not something like '(expr2). The test passes if (run* [q] (expr)) returns true without throwing an exception, and '(expr2) is ignored completely. That is why the test appears to be written incorrectly.