[GHC] #8710: Overlapping patterns warning misplaced

GHC ghc-devs at haskell.org
Tue Jan 28 00:50:45 UTC 2014


#8710: Overlapping patterns warning misplaced
-------------------------+-------------------------------------------------
       Reporter:         |             Owner:
  goldfire               |            Status:  new
           Type:  bug    |         Milestone:
       Priority:  low    |           Version:  7.7
      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:         |
-------------------------+-------------------------------------------------
 Consider

 {{{
 {-# OPTIONS_GHC -fwarn-overlapping-patterns #-}

 len []    = 0
 len (_:t) = 1 + len t
 len _     = error "urk"
 }}}

 GHC reports the problem with this definition at the first line of it. I
 think it would be more helpful to have it at the last line, which is the
 pattern that will never match.

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


More information about the ghc-tickets mailing list