Add basic infrastructure for IO support in the interpreter
commitab89bf0e1009406fd8530561c018f7887a216e18
authorDavid Christiansen <david@davidchristiansen.dk>
dateWed 13 Mar 2013, 15:56 (14 years ago)
parent9dfda4a
src/Core/Execute.hsnew file+10
@@ -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