Haskell/GHC - 是否有任何中綴標記/編譯指示「警告不完整模式」

Question

我在尋找一個會在特定不完整模式中發出警告的編譯指示。這將使編譯器失敗，出現以下（假設的）代碼：

{-# FAILIF incomplete-patterns #-} 
f :: Int -> Int 
f 0 = 0 

我想寫一個「編譯器」使用箭頭，並瞭解模式匹配完成後，將有助於孤立的錯誤。謝謝！

Answer 1

您可以要求警告，包括不完整的圖案，以-Wall：

{-# OPTIONS_GHC -Wall #-} 

module A where 

f :: Int -> Int 
f 0 = 0 

產量：

A.hs:6:1: 
Warning: Pattern match(es) are non-exhaustive 
    In an equation for `f': 
     Patterns not matched: GHC.Types.I# #x with #x `notElem` [0#] 

或者更具體地說，用-fwarn-incomplete-patterns地質儲量-Wall。

沒有什麼可以在每個表達式基礎上工作：您當前僅限於每個模塊的基礎。