[GHC] #10313: ApiAnnotations : strings in warnings do not return SourceText

16 Apr 2015

      #10313: ApiAnnotations : strings in warnings do not return SourceText
-------------------------------------+-------------------------------------
              Reporter:  alanz       |             Owner:  alanz
                  Type:  bug         |            Status:  new
              Priority:  normal      |         Milestone:
             Component:  Compiler    |           Version:  7.10.1
              Keywords:              |  Operating System:  Unknown/Multiple
  ApiAnnotations                     |   Type of failure:  None/Unknown
          Architecture:              |        Blocked By:
  Unknown/Multiple                   |   Related Tickets:
             Test Case:              |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------
 The `strings` used in a `WARNING` pragma are captured via

 {{{
 strings :: { Located ([AddAnn],[Located FastString]) }
     : STRING { sL1 $1 ([],[L (gl $1) (getSTRING $1)]) }
 ..
 }}}

 The `STRING` token has a method `getSTRINGs` that returns the original
 source text for a string.

 A warning of the form

 {{{#!hs
 {-# WARNING Logic
           , mkSolver
           , mkSimpleSolver
           , mkSolverForLogic
           , solverSetParams
           , solverPush
           , solverPop
           , solverReset
           , solverGetNumScopes
           , solverAssertCnstr
           , solverAssertAndTrack
           , solverCheck
           , solverCheckAndGetModel
           , solverGetReasonUnknown
           "New Z3 API support is still incomplete and fragile: \
           \you may experience segmentation faults!"
   #-}
 }}}

 returns the concatenated warning string rather than the original source.

--
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10313
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler