scala - 对于元组的理解，withFilter 不是成员错误

Question

下面的代码片段

import util.control.TailCalls._
for {(num, ch) <- done((3, '3'))
} yield num

编译失败，出现错误信息:

value withFilter is not a member of util.control.TailCalls.TailRec[(Int, Char)]

我正在使用 Scala 2.12.7。如何避免这个错误？ (使用 Scala 插件 v2018.3.4 的 IntelliJ Idea 18.3.1 不显示错误。)

Answer 1

为避免调用 withFilter 并保持当前语法，如果使用编译器插件以不同方式处理 for comprehension 会有所帮助。一个选项正在使用 better-monadic-for .

将其添加到 build.sbt 文件应该可以编译问题中的代码:

addCompilerPlugin("com.olegpy" %% "better-monadic-for" % "0.3.0-M4")

(虽然它也有其他 - 通常是积极的 - 效果，但请查看其文档。)