GHC警告：let綁定中不可辯駁的模式

Question

我在Haskell中編寫象棋程序，在運行時進行測試時，遇到了Irrefutable pattern failed...錯誤。

我有以下數據類型：

data Color = ...
data Piece = ...
data CPiece = CP Color Piece | Null

問題出現在：

let startPiece = getPiece board start in
  let CP startColor _ = startPiece in

getPiece返回CPiece ，並且我知道我沒有考慮Null構造函數，而應該使用case getPiece board start of ...的case getPiece board start of ... 。

但是，GHC為什么不發出任何警告？ 我已經打開-Wall和-Wincomplete-uni-patterns ，並且在Debian上使用GHC 8.0.2。

Answer 1

我的錯; ghc默認情況下在make模式下運行，在嘗試不同的開關時，我運行了：

$ ghc -Wall file.hs
$ ghc -Wall -Wincomplete-uni-patterns file.hs

連續地。 ghc的第二次調用不會編譯file.hs因為它自第一次調用以來已經被編譯和未修改。

跑步

$ touch file.hs
$ ghc -Wall -Wincomplete-uni-patterns file.hs

更新源文件的時間戳，然后進行編譯會產生Pattern match(es) are non-exhaustive如我所希望的那樣Pattern match(es) are non-exhaustive 。