#9182: Empty case analysis for function clauses -------------------------------------+------------------------------------ Reporter: dfranke | Owner: Type: feature request | Status: new Priority: low | Milestone: Component: Compiler | Version: 7.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by dfranke): Yes, with EmptyCase active I would take any type declaration without an accompanying binding as denoting an empty definition, and then issue a warning about an inexhaustive pattern match later on when appropriate. Having to write the empty case expression doesn't prevent you from doing anything. It just adds clutter, and allowing empty case analysis in some syntactic contexts but not others is an unnecessary inconsistency. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9182#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler