#10180: Lint check: Empty alternatives imply bottoming scrutinee -------------------------------------+------------------------------------- Reporter: nomeata | Owner: nomeata Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Joachim Breitner <mail@…>): In [changeset:"5673bfc49ec1e54a1540197078041a9da9754fa3/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="5673bfc49ec1e54a1540197078041a9da9754fa3" exprIsBottom should look through type lambdas as evaluting (\ (@ a) -> e) diverges if and only if evaluating e diverges. This was found in the context of #10180. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10180#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler