@@ -1,7 +1,9 @@
11{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, DeriveFunctor,
22 PatternGuards, CPP #-}
33
4−module Idris.REPL where
4+module Idris.REPL(getClient, getPkg, getPkgCheck, getPkgClean, getPkgMkDoc,
5+ getPkgREPL, getPkgTest, getPort, idris, idrisMain, loadInputs,
6+ opt, runClient, runMain, ver) where
57
68import Idris.AbsSyntax
79import Idris.ASTUtils
@@ -68,10 +70,6 @@ import qualified Data.Text as T
6870
6971import Text.Trifecta.Result(Result(..))
7072
71−-- import RTS.SC
72−-- import RTS.Bytecode
73−-- import RTS.PreC
74−-- import RTS.CodegenC
7573import System.Console.Haskeline as H
7674import System.FilePath
7775import System.Exit