diff options
author | Alan Zimmerman <alan.zimm@gmail.com> | 2015-05-25 17:14:01 +0200 |
---|---|---|
committer | Matthew Pickering <matthewtpickering@gmail.com> | 2015-12-14 15:10:59 +0000 |
commit | 75a23ec042888ba5387ad653b74fe170a6721784 (patch) | |
tree | 5986f3522f8bcbbe3a69947c2b7a630c23555ed5 /haddock-api/src/Haddock/Backends/Xhtml.hs | |
parent | 53ae59ff35fefacff28823f5b7c9e86535cbf024 (diff) |
ApiAnnotations : strings in warnings do not return SourceText
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
{-# 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.
Diffstat (limited to 'haddock-api/src/Haddock/Backends/Xhtml.hs')
0 files changed, 0 insertions, 0 deletions