From 5e7192fd6e32b74003b6bad3294b12e23d15e21b Mon Sep 17 00:00:00 2001 From: crumbtoo Date: Thu, 23 Nov 2023 01:54:45 -0700 Subject: [PATCH] better log output --- src/TIM.hs | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/src/TIM.hs b/src/TIM.hs index 482c2ba..236acb2 100644 --- a/src/TIM.hs +++ b/src/TIM.hs @@ -13,7 +13,7 @@ import Control.Monad (guard) import Data.Foldable (traverse_, find) import Data.Function ((&)) import System.IO (Handle, hPutStr) -import Text.Printf (printf) +import Text.Printf (printf, hPrintf) import Data.Proxy (Proxy(..)) import Lens.Micro import Lens.Micro.TH @@ -437,6 +437,15 @@ dbgProg p = do hdbgProg :: Program -> Handle -> IO (Node, Stats) hdbgProg p hio = do + hPrintf hio "==== Stats ====\n\ + \result : %s\n\ + \allocations : %4d\n\ + \reductions : %4d\n\ + \dereferences : %4d\n\n" + (show res) + (sts ^. stsAllocations) + (sts ^. stsReductions) + (sts ^. stsDereferences) (hPutStr hio . prettyShow) `traverse_` p' pure (res, sts) where