diff options
author | Alec Theriault <alec.theriault@gmail.com> | 2020-03-27 20:16:51 -0400 |
---|---|---|
committer | Alec Theriault <alec.theriault@gmail.com> | 2020-03-27 20:34:33 -0400 |
commit | b0514cc5d53bb37424177d2ba986216a914f8b1c (patch) | |
tree | e67847ed5e4ecc907c710cabc0397ce39df7d589 /haddock-api/resources/html/js-src/details-helper.tsx | |
parent | 8c6532636e6bd572455dfcf0b0d6e05f7033d110 (diff) |
Fix crash in `haddock-library` on unicode space
Our quickcheck tests for `haddock-library` stumbled across an edge case
input that was causing Haddock to crash: it was a unicode space
character.
The root cause of the crash is that we were implicitly assuming that
if a space character was not " \t\f\v\r", it would have to be "\n".
We fix this by instead defining horizontal space as: any space character
that is not '\n'.
Fixes #1142
Diffstat (limited to 'haddock-api/resources/html/js-src/details-helper.tsx')
0 files changed, 0 insertions, 0 deletions