模板Haskell接头发出警告
|
我知道我可以通过从接合处调用
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
没有找到相关结果
已邀请:
3 个回复
蕾跨立锌煤
。它的类型签名在文档中，但是我必须阅读源代码才能弄清楚它的作用。 TH文档肯定可以使用一些改进。 无论如何，我的占位符现在可以正常工作，并且如果有人感兴趣，我会尽快对Hackage进行介绍。魄龟呸筹
产生$ ./A A: A: sorry! (unimplemented feature or known bug) (GHC version 7.0.2 for x86_64-unknown-linux): help!，并且您可以清理API以便非常有用。淑灯
。 它已经包括位置（行和列）。 您可以通过以下方法简单地实现函数：更多信息 @hammar的答案表示函数。自GHC 7.6（2012）起不推荐使用，可能会在不久的将来从API中删除。 （但是，仍然可用 在GHC 7.10 和 在GHC主分支 如2015年） 使用报告错误并进行计算 （无论如何最终都会导致编译失败）。 使用ѭ0stop停止并出现错误（GHC≤7.10）。那可能 不GHC 8.0适用。