diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2019-09-12 08:50:12 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2019-09-12 08:50:12 -0700 |
| commit | 65f73de28a679b32bbe28c22318d8b44b06175bd (patch) | |
| tree | 04c8faba7d9588a0884a5568389ddc1b2bcdf60b /src/Text | |
| parent | 4f909c626c4fe211d38a93c4db9ed70ab60dbb72 (diff) | |
| download | pandoc-65f73de28a679b32bbe28c22318d8b44b06175bd.tar.gz | |
Better message for PandocShouldNeverHappenError.
Diffstat (limited to 'src/Text')
| -rw-r--r-- | src/Text/Pandoc/Error.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/Text/Pandoc/Error.hs b/src/Text/Pandoc/Error.hs index 2d87fed33..ae66162b3 100644 --- a/src/Text/Pandoc/Error.hs +++ b/src/Text/Pandoc/Error.hs @@ -66,7 +66,9 @@ handleError (Left e) = PandocIOError _ err' -> ioError err' PandocHttpError u err' -> err 61 $ "Could not fetch " ++ u ++ "\n" ++ show err' - PandocShouldNeverHappenError s -> err 62 s + PandocShouldNeverHappenError s -> err 62 $ + "Something we thought was impossible happened!\n" ++ + "Please report this to pandoc's developers: " ++ s PandocSomeError s -> err 63 s PandocParseError s -> err 64 s PandocParsecError input err' -> |