edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-12-24 21:34:36 +03:00
Code Issues Projects Releases Wiki Activity

Implement Debug.Trace, from Idris 1's base package

Browse Source
This commit is contained in:
Molly Miller 2019-10-28 20:23:11 +00:00
parent ab98b4d3c9
commit 0fb873949f
2 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
libs/base/Debug/Trace.idr Normal file
View File

@ -0,0 +1,8 @@
module Debug.Trace
import Prelude
import PrimIO
export
trace : (msg : String) -> (result : a) -> a
trace x val = unsafePerformIO (do putStrLn x; pure val)

2
libs/base/base.ipkg
View File

@ -22,6 +22,8 @@ modules = Control.Monad.Identity,
Data.Strings,
Data.Vect,
Debug.Trace,
Decidable.Equality,
Language.Reflection,