diff options
| author | Albert Krewinkel <albert@zeitkraut.de> | 2023-03-10 22:39:48 +0100 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2023-06-22 10:48:33 -0700 |
| commit | b07552c23f7866acc08a3faddcddd5cfb61fd124 (patch) | |
| tree | 413f52ef0f6bcf8d5ec4ca48de562fe30c7bfba1 /src/Text | |
| parent | cce347eaf57b8ab8d94e536a93e82cf48a05c6eb (diff) | |
Logging: add new log message type `ScriptingWarning` [API change]
Diffstat (limited to 'src/Text')
| -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 |