haskell - 从模板 Haskell 拼接发出警告

Question

我知道调用 fail 会导致编译时错误来自拼接，但是否可以只生成警告？特别是我希望在使用 -Werror 进行编译时可以将此警告转换为错误。 .

基本上我想要做的是:

todo :: Q Exp
todo = do
    -- emit warning somehow

    loc <- location
    let message = ... -- generate message based on loc
    [| error $(litE (stringL message)) |]

这个想法是使用它而不是 undefined在编码时，但要确保它不会通过使用 -Werror 编译而潜入生产代码.

myFunc x | isSimpleCase x = 42
         | otherwise = $todo

Answer 1

原来我所追求的函数是 Template Haskell 函数 report .它的类型签名在文档中，但我必须阅读源代码才能弄清楚它做了什么。 TH 文档肯定可以使用一些改进。

无论如何，我的todo placeholder 现在运行良好，如果有人感兴趣，我会尽快在 Hackage 上发布一些内容。