[GHC] #10283: Make it possible to suppress warnings produced by -fdefer-type-errors
#10283: Make it possible to suppress warnings produced by -fdefer-type-errors -------------------------------------+------------------------------------- Reporter: adamgundry | Owner: Type: feature | Status: new request | Milestone: Priority: normal | Version: 7.10.1 Component: Compiler | Operating System: Unknown/Multiple (Type checker) | Type of failure: None/Unknown Keywords: | Blocked By: Architecture: | Related Tickets: Unknown/Multiple | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- At the moment, there seems to be no way to suppress warnings generated by `-fdefer-type-errors` (even `-w` doesn't work). It would be nice to be able to silence them, preferably via a new flag `-fno-warn-deferred-type- errors`. The motivation for this comes from using `-fdefer-type-errors` to write tests that certain definitions do not typecheck (which is very useful, and is a cheaper alternative to writing code to invoke GHC on a source file and analyse its output). In this situation, it is annoying to see a large number of warnings when compiling the testsuite. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10283> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10283: Make it possible to suppress warnings produced by -fdefer-type-errors -------------------------------------+------------------------------------- Reporter: adamgundry | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.10.1 checker) | Keywords: Resolution: | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by goldfire): What a wonderful application of deferred type errors. I've wanted this ability for some time, but never thought of doing it this way. Yes, please, let's have `-fno-warn-deferred-type-errors`! What would be even better is to be able to enable deferred type errors only over certain regions of a program. After all, I wouldn't want a type error in my testing harness code. But that's a story for another day, I suppose. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10283#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10283: Make it possible to suppress warnings produced by -fdefer-type-errors -------------------------------------+------------------------------------- Reporter: adamgundry | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.10.1 checker) | Keywords: Resolution: | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by kosmikus): I'm also in support of this. I've used `-fdefer-type-errors` for a similar purpose already, and have been mildly annoyed by the warning that's displayed too. In my case, it was a single test case, but I can imagine this becomes more pronounced if you want to use it regularly and for many things. [I'll open another ticket for a related issue.] -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10283#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10283: Make it possible to suppress warnings produced by -fdefer-type-errors -------------------------------------+------------------------------------- Reporter: adamgundry | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.10.1 checker) | Keywords: newcomer Resolution: | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by goldfire): * keywords: => newcomer -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10283#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10283: Make it possible to suppress warnings produced by -fdefer-type-errors -------------------------------------+------------------------------------- Reporter: adamgundry | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.10.1 checker) | Keywords: newcomer Resolution: | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: D864 -------------------------------------+------------------------------------- Changes (by erikd): * differential: => D864 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10283#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10283: Make it possible to suppress warnings produced by -fdefer-type-errors -------------------------------------+------------------------------------- Reporter: adamgundry | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.10.1 checker) | Keywords: newcomer Resolution: | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: Phab:D864 -------------------------------------+------------------------------------- Changes (by rwbarton): * differential: D864 => Phab:D864 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10283#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10283: Make it possible to suppress warnings produced by -fdefer-type-errors -------------------------------------+------------------------------------- Reporter: adamgundry | Owner: kanetw Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.10.1 checker) | Keywords: newcomer Resolution: | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: Phab:D864 -------------------------------------+------------------------------------- Changes (by kanetw): * owner: => kanetw -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10283#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10283: Make it possible to suppress warnings produced by -fdefer-type-errors -------------------------------------+------------------------------------- Reporter: adamgundry | Owner: kanetw Type: feature request | Status: patch Priority: normal | Milestone: Component: Compiler (Type | Version: 7.10.1 checker) | Keywords: newcomer Resolution: | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: Phab:D864 -------------------------------------+------------------------------------- Changes (by kanetw): * status: new => patch -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10283#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10283: Make it possible to suppress warnings produced by -fdefer-type-errors -------------------------------------+------------------------------------- Reporter: adamgundry | Owner: kanetw Type: feature request | Status: patch Priority: normal | Milestone: 7.12.1 Component: Compiler (Type | Version: 7.10.1 checker) | Keywords: newcomer Resolution: | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: Phab:D864 -------------------------------------+------------------------------------- Changes (by thomie): * milestone: => 7.12.1 Comment: This work is done, just waiting for a release notes update by thoughtpolice. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10283#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10283: Make it possible to suppress warnings produced by -fdefer-type-errors -------------------------------------+------------------------------------- Reporter: adamgundry | Owner: kanetw Type: feature request | Status: patch Priority: normal | Milestone: 7.12.1 Component: Compiler (Type | Version: 7.10.1 checker) | Keywords: newcomer Resolution: | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: Phab:D864 -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"f753cf11eb9e310b54b08d9a1ea1d11540d8eb69/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="f753cf11eb9e310b54b08d9a1ea1d11540d8eb69" Allow deferred type error warnings to be suppressed Adds a flag -fwarn-deferred-type-errors similar to -fwarn-typed-holes. Changes the boolean flag of -fdefer-type-errors to a 3-state flag similar to the one used by -fdefer-typed-holes/-fwarn-typed-holes. Test Plan: Since only the absence of deferred type error warnings when -fno-warn-deferred-type-errors is passed has to be tested, I duplicated a test case checking -fdefer-type-errors and adjusted it accordingly. Reviewers: nomeata, simonpj, austin, thomie, bgamari, hvr Reviewed By: nomeata, simonpj, austin, thomie, bgamari, hvr Subscribers: bgamari, simonpj, nomeata, thomie Projects: #ghc Differential Revision: https://phabricator.haskell.org/D864 GHC Trac Issues: #10283 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10283#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10283: Make it possible to suppress warnings produced by -fdefer-type-errors -------------------------------------+------------------------------------- Reporter: adamgundry | Owner: kanetw Type: feature request | Status: closed Priority: normal | Milestone: 7.12.1 Component: Compiler (Type | Version: 7.10.1 checker) | Keywords: newcomer Resolution: fixed | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: Phab:D864 -------------------------------------+------------------------------------- Changes (by bgamari): * status: patch => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10283#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC