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 >。

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