Tissevert/pandoc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 1

Logging: Added NoTitleElement constructor for LogMessage.

Browse source
This commit is contained in:
John MacFarlane 2017-03-04 11:13:54 +01:00
parent 9925739ba9
commit 87764b1c46
1 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
src/Text/Pandoc/Logging.hs
View file

@ -75,6 +75,7 @@ data LogMessage =
| CouldNotConvertTeXMath String String | CouldNotConvertTeXMath String String
| CouldNotParseCSS String | CouldNotParseCSS String
| Fetching String | Fetching String
| NoTitleElement String
deriving (Show, Eq, Data, Ord, Typeable, Generic) deriving (Show, Eq, Data, Ord, Typeable, Generic)
instance ToJSON LogMessage where instance ToJSON LogMessage where
@ -168,6 +169,9 @@ instance ToJSON LogMessage where
Fetching fp -> Fetching fp ->
["type" .= String "CouldNotParseCSS", ["type" .= String "CouldNotParseCSS",
"path" .= Text.pack fp] "path" .= Text.pack fp]
NoTitleElement fallback ->
["type" .= String "NoTitleElement",
"fallback" .= Text.pack fallback]
showPos :: SourcePos -> String showPos :: SourcePos -> String
showPos pos = sn ++ "line " ++ showPos pos = sn ++ "line " ++
@ -228,6 +232,10 @@ showLogMessage msg =
"Could not parse CSS" ++ if null m then "" else (':':'\n':m) "Could not parse CSS" ++ if null m then "" else (':':'\n':m)
Fetching fp -> Fetching fp ->
"Fetching " ++ fp ++ "..." "Fetching " ++ fp ++ "..."
NoTitleElement fallback ->
"This document format requires a nonempty <title> element.\n" ++
"Please specify either 'title' or 'pagetitle' in the metadata.\n" ++
"Falling back to '" ++ fallback ++ "'"
messageVerbosity:: LogMessage -> Verbosity messageVerbosity:: LogMessage -> Verbosity
messageVerbosity msg = messageVerbosity msg =
@ -251,3 +259,4 @@ messageVerbosity msg =
CouldNotConvertTeXMath{} -> WARNING CouldNotConvertTeXMath{} -> WARNING
CouldNotParseCSS{} -> WARNING CouldNotParseCSS{} -> WARNING
Fetching{} -> INFO Fetching{} -> INFO
NoTitleElement{} -> WARNING