@@ -46,6 +46,7 @@ import Idris.Core.TT
46import Idris.Core.Unify
46import Idris.Core.Unify
47import Idris.Core.WHNF
47import Idris.Core.WHNF
48import Idris.Coverage
48import Idris.Coverage
49import Idris.Delaborate
50import Idris.Delaborate
50import Idris.Docs
51import Idris.Docs
51import Idris.Docstrings (overview, renderDocTerm, renderDocstring)
52import Idris.Docstrings (overview, renderDocTerm, renderDocstring)
@@ -1236,7 +1237,8 @@ process fn (TestInline t)
1236process fn (Execute tm)
1237process fn (Execute tm)
1237 = idrisCatch
1238 = idrisCatch
1238 (do ist <- getIState
1239 (do ist <- getIState
1239− (m, _) <- elabVal (recinfo (fileFC "toplevel")) ERHS (elabExec fc tm)
1240+ (m_in, _) <- elabVal (recinfo (fileFC "toplevel")) ERHS (elabExec fc tm)
1241+ m <- applyOpts m_in
1240 (tmpn, tmph) <- runIO $ tempfile ""
1242 (tmpn, tmph) <- runIO $ tempfile ""
1241 runIO $ hClose tmph
1243 runIO $ hClose tmph
1242 t <- codegen
1244 t <- codegen