模板哈斯克尔 - 静态断言

Question

我写了下面的功能：

staticAssert :: Bool -> Q [Dec] 
staticAssert cond = case cond of 
    True -> return [] 
    False -> fail "staticAssert failed" 

基本上这个评估情况在编译的时候，如果是假的会导致编译错误。

但是，我想为staticAssert而不是输出“staticAssert failed”，输出断言失败的表达式。

Answer 1

它看起来像你想locationLanguage.Haskell.TH。