@@ -329,7 +329,7 @@ process fn (DocStr n) = do i <- getIState
329329process fn Universes = do i <- getIState
330330 let cs = idris_constraints i
331331-- iputStrLn $ showSep "\n" (map show cs)
332− liftIO $ print (map fst cs)
332+ iputStrLn $ show (map fst cs)
333333 let n = length cs
334334 iputStrLn $ "(" ++ show n ++ " constraints)"
335335 case ucheck cs of
@@ -337,7 +337,7 @@ process fn Universes = do i <- getIState
337337 OK _ -> iResult "Universes OK"
338338process fn (Defn n) = do i <- getIState
339339 iputStrLn "Compiled patterns:\n"
340− liftIO $ print (lookupDef n (tt_ctxt i))
340+ iputStrLn $ show (lookupDef n (tt_ctxt i))
341341 case lookupCtxt n (idris_patdefs i) of
342342 [] -> return ()
343343 [(d, _)] -> do iputStrLn "Original definiton:\n"
@@ -362,8 +362,7 @@ process fn (DebugInfo n)
362362 let di = lookupCtxt n (idris_datatypes i)
363363 when (not (null di)) $ iputStrLn (show di)
364364 let d = lookupDef n (tt_ctxt i)
365− when (not (null d)) $ liftIO $
366− do print (head d)
365+ when (not (null d)) $ iputStrLn (show (head d))
367366 let cg = lookupCtxtName n (idris_callgraph i)
368367 findUnusedArgs (map fst cg)
369368 i <- getIState