[GHC] #8101: No pattern match non-exhaustiveness warnings when compiling with -fno-code

[GHC]

#8101: No pattern match non-exhaustiveness warnings when compiling with -fno-code
-------------------------------------+-------------------------------------
        Reporter:  exbb2             |                   Owner:
            Type:  bug               |                  Status:  new
        Priority:  normal            |               Milestone:  7.8.1
       Component:  Compiler          |                 Version:  7.6.3
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  Incorrect         |  Unknown/Multiple
  warning at compile-time            |               Test Case:  T8101
      Blocked By:                    |                Blocking:
 Related Tickets:                    |  Differential Revisions:
-------------------------------------+-------------------------------------
Changes (by DanielG):

 * status:  closed => new
 * resolution:  fixed =>


Comment:

 Looks to me like this is still an issue, I couldn't actually find a
 released version where this was ever fixed.

 This is also biting us in ghc-mod land: https://github.com/kazu-yamamoto
 /ghc-mod/issues/507


 {{{
 $ ghc-7.8.1 -fno-code -fforce-recomp A.hs
 [1 of 1] Compiling A                ( A.hs, nothing )

 $ ghc-7.8.4 -fno-code -fforce-recomp A.hs
 [1 of 1] Compiling A                ( A.hs, nothing )

 $ ghc-7.10.2 -fno-code -fforce-recomp A.hs
 [1 of 1] Compiling A                ( A.hs, nothing )


 # ghc-7.8.1 -fobject-code -fforce-recomp A.hs
 [1 of 1] Compiling A                ( A.hs, A.o )

 A.hs:7:9: Warning:
     Pattern match(es) are non-exhaustive
     In a case alternative:
         Patterns not matched:
             B
             C

 $ ghc-7.8.4 -fobject-code -fforce-recomp A.hs
 [1 of 1] Compiling A                ( A.hs, A.o )

 A.hs:7:9: Warning:
     Pattern match(es) are non-exhaustive
     In a case alternative:
         Patterns not matched:
             B
             C

 $ ghc-7.10.2 -fobject-code -fforce-recomp A.hs
 [1 of 1] Compiling A                ( A.hs, A.o )

 A.hs:7:9: Warning:
     Pattern match(es) are non-exhaustive
     In a case alternative:
         Patterns not matched:
             B
             C
 }}}

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8101#comment:6>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler