@@ -274,9 +274,8 @@ process fn (Defn n) = do i <- getIState
274 [t] -> iputStrLn (showTotal t i)
274 [t] -> iputStrLn (showTotal t i)
275 _ -> return ()
275 _ -> return ()
276 where printCase i (_, lhs, rhs)
276 where printCase i (_, lhs, rhs)
277− = do liftIO $ putStr $ showImp True (delab i lhs)
277+ = do iputStrLn (showImp True (delab i lhs) ++ " = " ++
278− liftIO $ putStr " = "
279− liftIO $ putStrLn $ showImp True (delab i rhs)
278+ showImp True (delab i rhs))
280process fn (TotCheck n) = do i <- getIState
279process fn (TotCheck n) = do i <- getIState
281 case lookupTotal n (tt_ctxt i) of
280 case lookupTotal n (tt_ctxt i) of
282 [t] -> iputStrLn (showTotal t i)
281 [t] -> iputStrLn (showTotal t i)