||| Re-exports Idris.Driver with some private declarations.
|||
||| `Idris.Driver` private items are visible here because of the common module
||| prefix.
|||
||| Last updated with Idris2 commit 80fd5e4d754888e02a734b05011a98ee4334fd20.
module Idris.Driver.Extra

import public Idris.Driver

import Core.Context
import Data.List1
import Idris.Driver as D
import Idris.REPL

export
updateEnv : {auto c : Ref Ctxt Defs} ->
            {auto o : Ref ROpts REPLOpts} ->
            Core ()
updateEnv = D.updateEnv

export
splitPaths : String -> List1 String
splitPaths = D.splitPaths