#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