unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-10-05 06:07:21 +03:00
Code Issues Projects Releases Wiki Activity

formatting bugs

Browse Source
This commit is contained in:
Arya Irani 2018-10-23 22:17:01 -04:00
parent c2d60eb728
commit 9c04dbdc86
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
parser-typechecker/src/Unison/Util/Menu.hs
View File

@ -37,7 +37,7 @@ renderChoices render renderMeta groups metas isSelected =
showMetas = intercalateMap "\n" (("["<>) . (<>"]") . renderMeta . snd) metas showMetas = intercalateMap "\n" (("["<>) . (<>"]") . renderMeta . snd) metas
numberedGroups :: [(([Keyword], [a]), Int)] numberedGroups :: [(([Keyword], [a]), Int)]
numberedGroups = zip groups [1..] numberedGroups = zip groups [1..]
numberWidth = ceiling @Double . logBase 10 . fromIntegral $ length groups numberWidth = (1+) . floor @Double . logBase 10 . fromIntegral $ length groups
format :: (([Keyword], [a]), Int) -> Stylized format :: (([Keyword], [a]), Int) -> Stylized
format ((keywords, as), number) = format ((keywords, as), number) =
intercalateMap intercalateMap
@ -56,7 +56,7 @@ renderChoices render renderMeta groups metas isSelected =
<> ". " <> ". "
else fromString $ replicate (numberWidth + 3) ' ') else fromString $ replicate (numberWidth + 3) ' ')
representativeRow :: Bool representativeRow :: Bool
representativeRow = index == 0 -- alternatively: index == groupSize - 1 `div` 2 representativeRow = index == (groupSize - 1) `div` 2
bracket :: IsString s => s bracket :: IsString s => s
bracket = bracket =
if maxGroupSize > 1 then if maxGroupSize > 1 then