[GHC] #10106: GHC doesn't warn on typos in language pragmas
GHC
ghc-devs at haskell.org
Fri Feb 27 08:48:16 UTC 2015
#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
More information about the ghc-tickets
mailing list