GaloisInc/what4
1
1
Fork 0
mirror of https://github.com/GaloisInc/what4.git synced 2024-11-29 13:55:51 +03:00
Code Issues Projects Releases Wiki Activity

Use comma separators for enum style config value listing.

Browse Source
This commit is contained in:
Kevin Quick 2021-04-28 08:10:13 -07:00
parent e8666ca850
commit bdcc394836
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

@ -482,7 +482,7 @@ enumOptSty elts = stringOptSty & set_opt_onset vf
| otherwise = return $ optErr $
"invalid setting" <+> dquotes (pretty x) <>
", expected one of these enums:" <+>
align (sep (map pretty $ Set.toList elts))
align (sep (punctuate comma (map pretty $ Set.toList elts)))
-- | A configuration syle for options that must be one of a fixed set of text values.
-- Associated with each string is a validation/callback action that will be run