方案中的模式匹配错误

Question

我编写了一个 match-rewriter 函数，它只是 match-lambda ，只不过如果没有找到匹配项，它会返回其参数。 match-rewriter 是一个更大函数的一部分。这是代码的一部分：

((match-rewriter

   (`(PARAMS: (,<arg>))
    `(Success))

   (`(,<func> . ,<args>)
    `(Failure))

   )ls)

此函数调用：

(annotate '(PARAMS: (y))

返回失败

在另一篇文章中有人指出这有效：

#lang racket

(match `(PARAMS: (y))
  [`(PARAMS: (,var)) 'yep]
  [otherise 'nope])

返回是的

我验证了它的工作原理，但我无法弄清楚为什么相同的模式在 匹配重写器。

奇怪的是，如果我只是手动运行此代码，用 '(PARAMS: (y)) 替换“ls”，它就可以工作。这真的让我很困惑。

任何建议表示赞赏。