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