@@ -329,7 +329,7 @@ process fn (DocStr n) = do i <- getIState
329process fn Universes = do i <- getIState
329process fn Universes = do i <- getIState
330 let cs = idris_constraints i
330 let cs = idris_constraints i
331-- iputStrLn $ showSep "\n" (map show cs)
331-- iputStrLn $ showSep "\n" (map show cs)
332− liftIO $ print (map fst cs)
332+ iputStrLn $ show (map fst cs)
333 let n = length cs
333 let n = length cs
334 iputStrLn $ "(" ++ show n ++ " constraints)"
334 iputStrLn $ "(" ++ show n ++ " constraints)"
335 case ucheck cs of
335 case ucheck cs of
@@ -337,7 +337,7 @@ process fn Universes = do i <- getIState
337 OK _ -> iResult "Universes OK"
337 OK _ -> iResult "Universes OK"
338process fn (Defn n) = do i <- getIState
338process fn (Defn n) = do i <- getIState
339 iputStrLn "Compiled patterns:\n"
339 iputStrLn "Compiled patterns:\n"
340− liftIO $ print (lookupDef n (tt_ctxt i))
340+ iputStrLn $ show (lookupDef n (tt_ctxt i))
341 case lookupCtxt n (idris_patdefs i) of
341 case lookupCtxt n (idris_patdefs i) of
342 [] -> return ()
342 [] -> return ()
343 [(d, _)] -> do iputStrLn "Original definiton:\n"
343 [(d, _)] -> do iputStrLn "Original definiton:\n"
@@ -362,8 +362,7 @@ process fn (DebugInfo n)
362 let di = lookupCtxt n (idris_datatypes i)
362 let di = lookupCtxt n (idris_datatypes i)
363 when (not (null di)) $ iputStrLn (show di)
363 when (not (null di)) $ iputStrLn (show di)
364 let d = lookupDef n (tt_ctxt i)
364 let d = lookupDef n (tt_ctxt i)
365− when (not (null d)) $ liftIO $
365+ when (not (null d)) $ iputStrLn (show (head d))
367 let cg = lookupCtxtName n (idris_callgraph i)
366 let cg = lookupCtxtName n (idris_callgraph i)
368 findUnusedArgs (map fst cg)
367 findUnusedArgs (map fst cg)
369 i <- getIState
368 i <- getIState