git.iko.soy/Idris-dev
on master help sign in
Add Debug.Trace
2f26fb2Edwin Brady
lib/Debug/Trace.idrnew file+8
compare with master
unifiedsplit
@@ -0,0 +1,8 @@
1+module Debug.Trace
2+
3+import IO
4+
5+trace : String -> a -> a
6+trace x val = unsafePerformIO (do putStrLn x; return val)
7+
8+
lib/base.ipkg+1
@@ -9,6 +9,7 @@ modules = Builtins, Prelude, IO, System,
9 Prelude.Heap, Prelude.Complex, Prelude.Functor,
9 Prelude.Heap, Prelude.Complex, Prelude.Functor,
10
10
11 Network.Cgi,
11 Network.Cgi,
12+ Debug.Trace,
12
13
13 System.Concurrency.Raw, System.Concurrency.Process,
14 System.Concurrency.Raw, System.Concurrency.Process,
14
15