on 08e9182 help sign in
Idris-dev/lib/Debug/Trace.idr
8 lines 117 B history raw
1module Debug.Trace
3import IO
5trace : String -> a -> a
6trace x val = unsafePerformIO (do putStrLn x; return val)