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

28 Jul 2013


      #8101: No pattern match non-exhaustiveness warnings when compiling with -fno-code
-------------------------+-------------------------------------------------
       Reporter:  exbb2  |             Owner:
           Type:  bug    |            Status:  new
       Priority:         |         Milestone:
  normal                 |           Version:  7.6.3
      Component:         |  Operating System:  Unknown/Multiple
  Compiler               |   Type of failure:  Incorrect warning at
       Keywords:         |  compile-time
   Architecture:         |         Test Case:
  Unknown/Multiple       |          Blocking:
     Difficulty:         |
  Unknown                |
     Blocked By:         |
Related Tickets:         |
-------------------------+-------------------------------------------------
 {{{
 {-# 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
 }}}

-- 
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8101
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler