GaloisInc/what4
1
1
Fork 0
mirror of https://github.com/GaloisInc/what4.git synced 2024-12-01 20:23:10 +03:00
Code Issues Projects Releases Wiki Activity

Fix option configHelp retrieval with blank input

Browse Source
This commit is contained in:
Kevin Quick 2021-04-28 08:08:27 -07:00
parent a69c2cea9e
commit 9660b4a27b
No known key found for this signature in database
GPG Key ID: E6D7733599CC0A21
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
what4/src/What4/Config.hs
View File

@ -1131,7 +1131,7 @@ configHelp ::
IO [Doc Void]
configHelp prefix (Config cfg) =
do m <- readMVar cfg
let ps = Text.splitOn "." prefix
let ps = dropWhile Text.null $ Text.splitOn "." prefix
f :: [Text] -> ConfigLeaf -> WriterT (Seq (Doc Void)) IO ConfigLeaf
f nm leaf = do d <- liftIO (ppConfigLeaf nm leaf)
tell (Seq.singleton d)