模板哈斯克爾 - 靜態斷言

Question

我寫了下面的功能：

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

基本上這個評估情況在編譯的時候，如果是假的會導致編譯錯誤。

但是，我想爲staticAssert而不是輸出「staticAssert failed」，輸出斷言失敗的表達式。

Answer 1

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