git.iko.soy/Idris-dev
on bf4e535 help sign in
Idris-dev/libs/base/Debug/Trace.idr
9 lines 250 B history raw
1module Debug.Trace
3||| Print a message for debugging purposes as a side effect
4||| @ msg what to print
5||| @ result the final result
6trace : (msg : String) -> (result : a) -> a
7trace x val = unsafePerformIO {ffi=FFI_C} (do putStrLn x; return val)