diff options
author | stuebinm | 2021-12-16 01:04:43 +0100 |
---|---|---|
committer | stuebinm | 2021-12-16 01:04:43 +0100 |
commit | 9ccf7e2c02ad003c4a6907ee026304a936a956b3 (patch) | |
tree | b088b722ac5cf2cc5bac55df99e4bb6b80765b87 /lib | |
parent | 988b8fd7fdba5eee0b100401351199af918bc9e0 (diff) |
print list of maps in output json
Diffstat (limited to 'lib')
-rw-r--r-- | lib/CheckDir.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/CheckDir.hs b/lib/CheckDir.hs index 5ad195f..3336ff9 100644 --- a/lib/CheckDir.hs +++ b/lib/CheckDir.hs @@ -96,6 +96,7 @@ instance ToJSON DirResult where , "resultText" .= prettyprint (Suggestion, res) , "severity" .= maximumLintLevel res , "badges" .= annotatedBadges + , "maps" .= M.keys (dirresultMaps res) ] where annotatedBadges = concat . M.elems |