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