diff options
author | Alec Theriault <alec.theriault@gmail.com> | 2018-10-26 14:22:23 -0700 |
---|---|---|
committer | Alec Theriault <alec.theriault@gmail.com> | 2018-10-26 14:22:23 -0700 |
commit | 2b94a90a23f03a749e3703af330d9585a5de0bae (patch) | |
tree | a9c2debf02b417f4106e0b55cf0bfb918b3c8dbc /haddock-api/resources/html/Ocean.std-theme/ocean.css | |
parent | cd520e9907b9a56cae5a2e51413eef1522a37bbb (diff) |
Avoid some partiality
AFAICT this wasn't causing any crashes, but that's mostly because
we happen not to be forcing `pkgStr` when it would diverge. We come
dangerously close to doing that in `ppHtmlIndex`.
Fixes #569.
Diffstat (limited to 'haddock-api/resources/html/Ocean.std-theme/ocean.css')
0 files changed, 0 insertions, 0 deletions