@@ -149,7 +149,6 @@ execute :: Term -> Idris Term
149149execute tm = do est <- initState
150150 ctxt <- getContext
151151 res <- lift $ flip runExec est $ do res <- doExec [] ctxt tm
152− trace ("Result: " ++ show res) $ return ()
153152 toTT res
154153 case res of
155154 Left err -> fail err
@@ -225,9 +224,7 @@ execApp' env ctxt (EP _ (UN "unsafePerformIO") _) (ty:action:rest) | (prim__IO,
225224 execApp' env ctxt v rest
226225
227226execApp' env ctxt (EP _ (UN "io_bind") _) args@(_:_:v:k:rest) | (prim__IO, [_, v']) <- unApplyV v =
228− trace ("io_bind " ++ take 1000 (show args)) $
229227 do res <- execApp' env ctxt k [v'] >>= tryForce
230− trace ("io_bind result was " ++ take 1000 (show res)) $ return ()
231228 execApp' env ctxt res rest
232229
233230-- Special cases arising from not having access to the C RTS in the interpreter
@@ -299,7 +296,7 @@ execApp' env ctxt f@(EP _ n _) args =
299296 getOp (UN "prim__readString") [ptr] =
300297 Just $ do h <- unHandle ptr
301298 contents <- execIO $ hGetLine h
302− return $ ioWrap (EConstant (Str contents))
299+ return (EConstant (Str contents))
303300 getOp _ _ = Nothing
304301execApp' env ctxt bnd@(EBind n b body) (arg:args) = do ret <- body arg
305302 let (f', as) = unApplyV ret