Haskell/GHC - "warn incomplete patterns"是否有任何中缀标签/编译指示

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 .

没有什么可以在每个表达式的基础上起作用:您目前仅限于每个模块的基础上。