[GHC] #13464: Pattern match checker runs even when not needed

#13464: Pattern match checker runs even when not needed -------------------------------------+------------------------------------- Reporter: jstolarek | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I have code that triggers pattern match checker warning: {{{ Pattern match checker exceeded (2000000) iterations in a case alternative. (Use -fmax-pmcheck-iterations=n to set the maximun number of iterations to n) }}} I would like to silence that warning. Alas, `-Wno-incomplete-patterns` does nothing - the warning still appears. I would expect that if I do not want to check for incomplete patterns then pattern match checker is not run at all and thus does not exceed maximum number of iterations! I can only use `-w` to silence all the warnings but this is an overkill - definitely not what I want. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13464 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#13464: Pattern match checker runs even when not needed -------------------------------------+------------------------------------- Reporter: jstolarek | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by mpickering): You also need to turn off `-Woverlapping-patterns` I think. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13464#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#13464: Pattern match checker runs even when not needed -------------------------------------+------------------------------------- Reporter: jstolarek | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: invalid | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by jstolarek): * status: new => closed * resolution: => invalid Comment: Ah, indeed. I missed that flag when looking at flag reference. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13464#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC