Welcome! Please see the About page for a little more info on how this works.

0 votes
in core.logic by

`
(deftest test-34-unify-with-metadata
(is (run* [q]

        (== q (quote ^:haz-meta-daytuhs (form form form))))
  '((^:haz-meta-daytuhs (form form form)))))

`

I am not sure what was intended for this, but replacing it with the following causes the test to fail.

`
(deftest test-34-unify-with-metadata
(is (= (run* [q]

           (== q (quote ^:haz-meta-daytuhs (form form form))))
     '((^:haz-meta-daytuhs (form form form))))))

`

I think the correct version is probably close to that, though.

3 Answers

0 votes
by

Comment made by: dnolen

I'm pretty sure meta data on forms caused exceptions and that's what this test was for.

0 votes
by

Comment made by: jafingerhut

As that test is written now, it is of the form:

`
(is (run* [q] (expr))

'(expr2))

`

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* (link: q) (expr)) returns true without throwing an exception, and '(expr2) is ignored completely. That is why the test appears to be written incorrectly.

0 votes
by
Reference: https://clojure.atlassian.net/browse/LOGIC-153 (reported by jafingerhut)
...