idris-0.9.6: lib/Debug/Trace.idr

module Debug.Trace

import IO

trace : String -> a -> a
trace x val = unsafePerformIO (do putStrLn x; return val)