@@ -506,9 +506,13 @@ process h fn (TotCheck n)
506506 = do i <- getIState
507507 case lookupNameTotal n (tt_ctxt i) of
508508 [] -> ihPrintError h $ "Unknown operator " ++ show n
509− ts -> ihPrintResult h . concat . intersperse "\n" .
510− map (\(n, t) -> show n ++ " is " ++ showTotal t i) $
511− ts
509+ ts -> do ist <- getIState
510+ c <- colourise
511+ imp <- impShow
512+ let showN = showName (Just ist) [] imp c
513+ ihPrintResult h . concat . intersperse "\n" .
514+ map (\(n, t) -> showN n ++ " is " ++ showTotal t i) $
515+ ts
512516
513517
514518process h fn (DebugInfo n)