@@ -22,6 +22,9 @@ import Foreign.Marshal.Alloc (free)
2222-- | Attempt to perform a side effect. Return either Just the next step in
2323-- evaluation (after performing the side effect through IO), or Nothing if no
2424-- IO was performed.
25+--
26+-- This function is exceedingly generous about what it will accept in order to
27+-- enable convenient testing at the REPL.
2528step :: TT Name -> Idris (Maybe (TT Name))
2629step tm = step' (unApply tm)
2730 where step' (P _ (UN "unsafePerformIO") _, [_, arg] ) = step arg -- Only step if arg can be stepped