[GHC] #9113: Template Haskell should warn about non-exhaustive pattern matches

[GHC]

#9113: Template Haskell should warn about non-exhaustive pattern matches
-------------------------------------------------+-------------------------
        Reporter:  tvh                           |            Owner:
            Type:  bug                           |           Status:  new
        Priority:  normal                        |        Milestone:
       Component:  Template Haskell              |          Version:  7.8.2
      Resolution:                                |         Keywords:
Operating System:  Unknown/Multiple              |     Architecture:
 Type of failure:  Incorrect warning at          |  Unknown/Multiple
  compile-time                                   |       Difficulty:
       Test Case:                                |  Unknown
        Blocking:                                |       Blocked By:
                                                 |  Related Tickets:
-------------------------------------------------+-------------------------
Changes (by simonpj):

 * cc: dimitris@… (added)


Comment:

 Good point. Currently pattern-match overlap warnings are produced as part
 of desugaring, which doesn't happen when type-checking the quotation.

 However Dimitrios and some colleagues are thinking about how to integrate
 pattern-match overlap checking with the type checker, which would have the
 effect of solving this at the same time.  I'll add him in cc.

 Simon

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