summaryrefslogtreecommitdiff
path: root/src/full/Agda/TypeChecking/Monad/Statistics.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/full/Agda/TypeChecking/Monad/Statistics.hs')
-rw-r--r--src/full/Agda/TypeChecking/Monad/Statistics.hs16
1 files changed, 8 insertions, 8 deletions
diff --git a/src/full/Agda/TypeChecking/Monad/Statistics.hs b/src/full/Agda/TypeChecking/Monad/Statistics.hs
index e273e40..43bbc0b 100644
--- a/src/full/Agda/TypeChecking/Monad/Statistics.hs
+++ b/src/full/Agda/TypeChecking/Monad/Statistics.hs
@@ -61,11 +61,11 @@ modifyCounter x f = modifyStatistics $ force . update
printStatistics :: Int -> Maybe C.TopLevelModuleName -> Statistics -> TCM ()
printStatistics vl mmname stats = verboseS "profile" vl $ do
unlessNull (Map.toList stats) $ \ stats -> do
- let -- First column (left aligned) is accounts.
- col1 = Boxes.vcat Boxes.left $ map (Boxes.text . fst) stats
- -- Second column (right aligned) is numbers.
- col2 = Boxes.vcat Boxes.right $ map (Boxes.text . showThousandSep . snd) stats
- table = Boxes.hsep 1 Boxes.left [col1, col2]
- reportSLn "profile" 1 $ caseMaybe mmname "Accumlated statistics" $ \ mname ->
- "Statistics for " ++ prettyShow mname
- reportSLn "profile" 1 $ Boxes.render table
+ let -- First column (left aligned) is accounts.
+ col1 = Boxes.vcat Boxes.left $ map (Boxes.text . fst) stats
+ -- Second column (right aligned) is numbers.
+ col2 = Boxes.vcat Boxes.right $ map (Boxes.text . showThousandSep . snd) stats
+ table = Boxes.hsep 1 Boxes.left [col1, col2]
+ reportSLn "profile" 1 $ caseMaybe mmname "Accumlated statistics" $ \ mname ->
+ "Statistics for " ++ prettyShow mname
+ reportSLn "profile" 1 $ Boxes.render table