packages feed

idris-0.9.9.1: lib/Debug/Trace.idr

module Debug.Trace

import Prelude
import IO

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