git.iko.soy/Idris-dev
on master help sign in
Add basic infrastructure for IO support in the interpreter
ab89bf0David Christiansen
src/Core/Execute.hsnew file+10
compare with master
unifiedsplit
@@ -0,0 +1,10 @@
1+module Core.Execute where
2+
3+import Core.TT
4+import Core.Evaluate
5+
6+-- | Attempt to perform a side effect. Return either Just the next step in
7+-- evaluation (after performing the side effect through IO), or Nothing if no
8+-- IO was performed.
9+execute :: TT Name -> Idris (Maybe (TT Name))
10+execute tm = Nothing