[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