[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
#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