#10106: GHC doesn't warn on typos in language pragmas -------------------------------------+------------------------------------- Reporter: sdemos | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.4 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Incorrect | (amd64) warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: #10076 | Differential Revisions: -------------------------------------+------------------------------------- Comment (by jstolarek):
Maybe we need some kind of in-between thing, say a "prominent warning". It is like a warning in that it does not halt compilation. But it is not suppressed by errors. Then a mis-spelled pragma could be a "prominent warning".
Somehow I don't like that idea. Seems to complicate things even more. #10076 also gives an example where a warning should not be suppressed in the presence of errors. That would also have to become "prominent warning" and I believe that with time we would discover more such cases, all of which would have to be turned into "prominent warnings". The idea of simply not suppressing warnings in the presence of errors seems to be a better solution, unless I'm missing something? But I agree that these seven levels of severity should be cleaned. Ideally - looking at packages like `log4j` for Java - the whole tracing mechanism should be integrated into one with error and warning reporting mechanism but that would be an enormous task and realistically I don't expect this to happen. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10106#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler