从模板 Haskell 拼接发出警告

发布于 2024-11-03 07:22:42 字数 502 浏览 1 评论 0原文

我知道我可以通过从拼接调用 fail 来导致编译时错误，但是是否有可能只生成警告？我特别希望在使用 -Werror 编译时能够将此警告转换为错误。

本质上我想做的是：

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

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

这个想法是在编码时使用 this 而不是 undefined ，但确保它不会通过使用 编译来潜入生产代码 -错误。

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

原文

I know that I can cause a compile-time error by calling fail from a splice, but is it possible to only generate a warning? In particular I would like it to be possible to turn this warning into an error when compiling with -Werror.

Essentially what I'm trying to do is this:

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

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

The idea is to use this instead of undefined while coding, but make sure it doesn't sneak its way into production code by compiling with -Werror.

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

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

新人笑 2024-11-10 07:22:42

原来我想要的函数是 Template Haskell 函数 report。它的类型签名在文档中，但我必须阅读源代码才能弄清楚它的作用。 TH 文档确实需要一些改进。

不管怎样，我的 todo 占位符现在工作得很好，如果有人感兴趣的话，我很快就会在 Hackage 上发布一些东西。

回复收藏 0 原文

久随 2024-11-10 07:22:42

我不认为这在 TH 中是可能的，但这是一个非常酷的想法。

实现它的一种方法是通过绑定到 GHC-API 警告和调试输出或

例如，假装是 GHC，

import Panic
main = sorry "help!"

会产生

$ ./A                                
A: A: sorry! (unimplemented feature or known bug)
  (GHC version 7.0.2 for x86_64-unknown-linux):
    help!

构造 GHC 警告，其工作方式应该类似，检查 -Werror 是否已设置，并且您可以清理 API，使其非常有用。

I don't believe this is possible naively from TH, but it is a really cool idea.

One way to implement it would be via bindings to the GHC-API warning and debug output or error functions.

E.g. to pretend to be GHC,

import Panic
main = sorry "help!"

produces

$ ./A                                
A: A: sorry! (unimplemented feature or known bug)
  (GHC version 7.0.2 for x86_64-unknown-linux):
    help!

Constructing GHC warnings should work similarly, checking if -Werror is set, and you could clean up the API to be quite useful.

回复收藏 0 原文

一城柳絮吹成雪 2024-11-10 07:22:42

要从 Template Haskell 拼接发出警告，
您可以使用 reportWarning :: String -> Q()。

它已经包含位置（行和列）。
您可以简单地通过以下方式实现您的 todo 函数：

todo :: Q Exp
todo = do
  reportWarning "TODO"
  [| undefined |]

Further information

@hammar's answer indicates the function report. It has been deprecated since GHC 7.6 (2012) and will possibly be removed from the API in the near future.
(However, report is still available
on GHC 7.10
and
on GHC master branch
as of 2015.)

Use reportError to report an error and carry on with the Q computation
(ultimately failing compilation anyway).

Use fail to stop with an error (GHC ≤ 7.10). That might
not apply on GHC 8.0.

回复收藏 0 原文

~没有更多了~