No pattern match non-exhaustiveness warnings when compiling with -fno-code
{-# OPTIONS_GHC -Wall #-}
module A where
data ABC = A | B | C
abc :: ABC -> Int
abc x = case x of
A -> 1
$ ghc -fno-code -fforce-recomp /tmp/A.hs
[1 of 1] Compiling A ( /tmp/A.hs, nothing )
$ ghc -fobject-code -fforce-recomp /tmp/A.hs
[1 of 1] Compiling A ( /tmp/A.hs, /tmp/A.o )
/tmp/A.hs:7:9: Warning:
Pattern match(es) are non-exhaustive
In a case alternative:
Patterns not matched:
B
C
Trac metadata
Trac field |
Value |
Version |
7.6.3 |
Type |
Bug |
TypeOfFailure |
OtherFailure |
Priority |
normal |
Resolution |
Unresolved |
Component |
Compiler |
Test case |
|
Differential revisions |
|
BlockedBy |
|
Related |
|
Blocking |
|
CC |
|
Operating system |
|
Architecture |
|