aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/src/Haddock/Backends
diff options
context:
space:
mode:
authorAlan Zimmerman <alan.zimm@gmail.com>2015-05-25 17:14:01 +0200
committerMatthew Pickering <matthewtpickering@gmail.com>2015-12-14 15:10:59 +0000
commit75a23ec042888ba5387ad653b74fe170a6721784 (patch)
tree5986f3522f8bcbbe3a69947c2b7a630c23555ed5 /haddock-api/src/Haddock/Backends
parent53ae59ff35fefacff28823f5b7c9e86535cbf024 (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')
0 files changed, 0 insertions, 0 deletions