diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Text/Pandoc/Logging.hs | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/Text/Pandoc/Logging.hs b/src/Text/Pandoc/Logging.hs index 2f256fb35..b3ea093dd 100644 --- a/src/Text/Pandoc/Logging.hs +++ b/src/Text/Pandoc/Logging.hs @@ -79,6 +79,7 @@ data LogMessage = | Fetching Text | Extracting Text | LoadedResource FilePath FilePath + | ScriptingWarning Text (Maybe SourcePos) | NoTitleElement Text | NoLangSpecified | InvalidLang Text @@ -200,6 +201,14 @@ instance ToJSON LogMessage where LoadedResource orig found -> ["for" .= orig ,"from" .= found] + ScriptingWarning msg mbpos -> + ["message" .= msg] <> + case mbpos of + Nothing -> [] + Just pos -> ["source" .= sourceName pos + ,"line" .= toJSON (sourceLine pos) + ,"column" .= toJSON (sourceColumn pos) + ] NoTitleElement fallback -> ["fallback" .= fallback] NoLangSpecified -> [] @@ -322,6 +331,9 @@ showLogMessage msg = "Extracting " <> fp <> "..." LoadedResource orig found -> "Loaded " <> Text.pack orig <> " from " <> Text.pack found + ScriptingWarning s mbpos -> + "Scripting warning" <> + maybe "" (\pos -> " at " <> showPos pos) mbpos <> ": " <> s NoTitleElement fallback -> "This document format requires a nonempty <title> element.\n" <> "Defaulting to '" <> fallback <> "' as the title.\n" <> @@ -408,6 +420,7 @@ messageVerbosity msg = Fetching{} -> INFO Extracting{} -> INFO LoadedResource{} -> INFO + ScriptingWarning{} -> WARNING NoTitleElement{} -> WARNING NoLangSpecified -> INFO InvalidLang{} -> WARNING |