on d9c3c21 help sign in
Idris-dev/lib/Debug/Trace.idr
9 lines 132 B history raw
1module Debug.Trace
3import Prelude
4import IO
6trace : String -> a -> a
7trace x val = unsafePerformIO (do putStrLn x; return val)