[GHC] #11245: Non-exhaustive pattern, "Patterns not matched" list is empty

[GHC]

#11245: Non-exhaustive pattern, "Patterns not matched" list is empty
-------------------------------------+-------------------------------------
        Reporter:  osa1              |                Owner:  gkaracha
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  7.11
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by osa1):

 I don't understand the argument about the definition not having any
 arguments. The exhaustiveness checker somehow checking for some patterns,
 right? And on the process it has to realize that some patterns are not
 checked. Whatever that it's finding on the process, it should print! Am I
 missing anything?

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