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