diff options
| author | Sylvain Henry <sylvain@haskus.fr> | 2020-03-17 18:44:51 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-05-01 10:37:39 -0400 |
| commit | de9fc995c2170bc34600ee3fc80393c67cfecad1 (patch) | |
| tree | 71a179e2b899cf9253ada7bddea40ab3c1e1c3e6 /docs/users_guide/conf.py | |
| parent | b3df9e780fb2f5658412c644849cd0f1e6f50331 (diff) | |
| download | haskell-de9fc995c2170bc34600ee3fc80393c67cfecad1.tar.gz | |
Fully remove PprDebug
PprDebug was a pain to deal with consistently as it is implied by
`-dppr-debug` but it isn't really a PprStyle. We remove it completely
and query the appropriate SDoc flag instead (`sdocPprDebug`) via
helpers (`getPprDebug` and its friends).
Diffstat (limited to 'docs/users_guide/conf.py')
0 files changed, 0 insertions, 0 deletions