packages feed

idris-0.9.10: libs/base/Debug/Trace.idr

module Debug.Trace

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