@@ -990,17 +990,17 @@ process fn (Defn n)
990990 in text (showTm i' (delab i lhs)) <+> text "=" <+>
991991 text (showTm i' (delab i rhs))
992992process fn (TotCheck n)
993− = do i <- getIState
994− case lookupNameTotal n (tt_ctxt i) of
995− [] -> iPrintError $ "Unknown operator " ++ show n
996− ts -> do ist <- getIState
997− c <- colourise
998− let ppo = ppOptionIst ist
999− let showN n = annotate (AnnName n Nothing Nothing Nothing) . text $
1000− showName (Just ist) [] ppo False n
1001− iRenderResult . vsep .
1002− map (\(n, t) -> hang 4 $ showN n <+> text "is" <+> showTotal t i) $
1003− ts
993+ = do i <- getIState
994+ case lookupNameTotal n (tt_ctxt i) of
995+ [] -> iPrintError $ "Unknown operator " ++ show n
996+ ts -> do ist <- getIState
997+ c <- colourise
998+ let ppo = ppOptionIst ist
999+ let showN n = annotate (AnnName n Nothing Nothing Nothing) . text $
1000+ showName (Just ist) [] ppo False n
1001+ iRenderResult . vsep .
1002+ map (\(n, t) -> hang 4 $ showN n <+> text "is" <+> showTotal t i) $
1003+ ts
10041004
10051005process fn (DebugUnify l r)
10061006 = do (ltm, _) <- elabVal recinfo ERHS l