#8101: No pattern match non-exhaustiveness warnings when compiling with -fno-code -------------------------------------------------+------------------------- Reporter: exbb2 | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 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: -------------------------------------------------+------------------------- Comment (by ian@…): commit b475be321106f79da115ae203a5a27fabfbb80d8 {{{ Author: Ian Lynagh Date: Sun Jul 28 17:01:50 2013 +0100 desugar code even when -fno-code is used; fixes #8101 We need to desugar the code, or we don't get the warnings from the desugarer. compiler/deSugar/Desugar.lhs | 7 +------ compiler/main/HscMain.hs | 4 ++-- 2 files changed, 3 insertions(+), 8 deletions(-) }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8101#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8101: No pattern match non-exhaustiveness warnings when compiling with -fno-code -------------------------------------------------+------------------------- Reporter: exbb2 | Owner: Type: bug | Status: Priority: normal | closed Component: Compiler | Milestone: 7.8.1 Resolution: fixed | Version: 7.6.3 Operating System: Unknown/Multiple | Keywords: Type of failure: Incorrect warning at | Architecture: compile-time | Unknown/Multiple Test Case: T8101 | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by monoidal): There's a comment in DynFlags, line 882, which might suggest this was deliberate. At least I would remove it: {{{ -- 'HscNothing' can be used to avoid generating any output, however, note -- that: -- -- * This will not run the desugaring step, thus no warnings generated in -- this step will be output. In particular, this includes warnings related -- to pattern matching. You can run the desugarer manually using -- 'GHC.desugarModule'. }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8101#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8101: No pattern match non-exhaustiveness warnings when compiling with -fno-code -------------------------------------------------+------------------------- Reporter: exbb2 | Owner: Type: bug | Status: Priority: normal | closed Component: Compiler | Milestone: 7.8.1 Resolution: fixed | Version: 7.6.3 Operating System: Unknown/Multiple | Keywords: Type of failure: Incorrect warning at | Architecture: compile-time | Unknown/Multiple Test Case: T8101 | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by ian@…): commit 9e185cc06d9efa833f7b0efdcf3a1d434781ceb6 {{{ Author: Ian Lynagh Date: Sun Jul 28 18:49:07 2013 +0100 Remove an out-of-date comment (see #8101) compiler/main/DynFlags.hs | 5 ----- 1 file changed, 5 deletions(-) }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8101#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8101: No pattern match non-exhaustiveness warnings when compiling with -fno-code -------------------------------------+------------------------------------- Reporter: exbb2 | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.6.3 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple warning at compile-time | Test Case: T8101 Blocked By: | Blocking: Related Tickets: #10600 | Differential Revisions: -------------------------------------+------------------------------------- Changes (by rwbarton): * status: new => closed * resolution: => duplicate * related: => #10600 Comment: This was also recently reported in #10600, so closing in favor of that ticket. The fix here applied to one-shot mode (`-c`), but not make mode. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8101#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8101: No pattern match non-exhaustiveness warnings when compiling with -fno-code -------------------------------------+------------------------------------- Reporter: exbb2 | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.6.3 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple warning at compile-time | Test Case: T8101 Blocked By: | Blocking: Related Tickets: #10600 | Differential Rev(s): -------------------------------------+------------------------------------- Comment (by Ben Gamari ): In [changeset:"baa18def0da17f11497fecc6fe440cf125b50878/ghc" baa18de/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="baa18def0da17f11497fecc6fe440cf125b50878" testsuite: add new test for desugar warnings/errors with -fno-code Add a new (expect_broken) test T10600 that checks that the error: Top-level bindings for unlifted types aren't allowed: is thrown when compiling with -fno-code. This test currently fails because modules compiled with -fno-code aren't desugared. There are several other errors which can be thrown during desugaring that aren't tested for, discoverable by grepping for "errDs". Update .stderr files T8101 and T8101b. Presumably the compilation output has changed slightly since they were written. Reviewers: austin, bgamari Reviewed By: bgamari Subscribers: rwbarton, thomie GHC Trac Issues: #10600, #8101 Differential Revision: https://phabricator.haskell.org/D3533 }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8101#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler