diff options
| -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' -> |