Question

当我运行以下代码时，我收到了随后的错误：

(run 3 [q]
  (fresh [a0 a1 a2
          b0 b1 b2
          c0 c1 c2]
    (== q [[a0 a1 a2] [b0 b1 b2] [c0 c1 c2]])
    (fd/in a0 a1 a2 b0 b1 b2 c0 c1 c2 (fd/interval 1 9))
    (fd/distinct [a0 a1 a2 b0 b1 b2 c0 c1 c2])
    (fd/eq
     (= a0 4)
     (= 22 (-  (* a0 a1) a2))
     (= -1 (-> b0 (* b1) (- b2)))
     )))

错误：

2. Unhandled clojure.lang.Compiler$CompilerException
   Error compiling src/euler/core.clj at (1392:5)

1. Caused by java.lang.IllegalArgumentException
   Can't call nil
 core.clj: 3081  clojure.core/eval
                  main.clj:  240  clojure.main/repl/read-eval-print/fn
                  main.clj:  240  clojure.main/repl/read-eval-print
                  main.clj:  258  clojure.main/repl/fn
                  main.clj:  258  clojure.main/repl
               RestFn.java: 1523  clojure.lang.RestFn/invoke
    interruptible_eval.clj:   87  clojure.tools.nrepl.middleware.interruptible-eval/evaluate/fn
                  AFn.java:  152  clojure.lang.AFn/applyToHelper
                  AFn.java:  144  clojure.lang.AFn/applyTo
                  core.clj:  630  clojure.core/apply
                  core.clj: 1868  clojure.core/with-bindings*
               RestFn.java:  425  clojure.lang.RestFn/invoke
...

注意带有线程宏->的行，在CIDER中我会宏展开它，一切看起来都很好，但最后代码崩溃了。我假设这是宏的错，但我不知道为什么。有什么想法吗？

Answer 1

你应该看看the source of clojure.core.logic.fd。错误发生在宏eq中，宏可以在宏扩展发生之前处理所有形式。

为了快速解决方案，我创建了一个Running python bin/notify.py on ... Traceback (most recent call last): File "bin/notify.py", line 6, in <module> import sendgrid ImportError: No module named sendgrid版本，在执行任何其他操作之前会在其所有表单上调用macroexpand-all。它似乎适用于您的代码，虽然我没有在其他上下文中测试它：

eq

我们试试吧！

(defmacro mac-eq [& forms]
  (let [exp-forms (map clojure.walk/macroexpand-all forms)]
    `(fd/eq ~@exp-forms)))

在Clojure core.logic中，为什么我不能使用线程宏？

1 个答案: