git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3436 from benjamin-hodgson/ghcjs-isWindows
413d398Niklas Larsson
src/Idris/REPL.hs+8
compare with master
unifiedsplit
@@ -75,6 +75,14 @@ import Text.Trifecta.Result(Result(..), ErrInfo(..))
75
75
76import System.Console.Haskeline as H
76import System.Console.Haskeline as H
77import System.FilePath
77import System.FilePath
78+ ( (</>)
79+ , (<.>)
80+ , splitExtension
81+ , addExtension
82+ , dropExtension
83+ , takeExtension
84+ , takeDirectory
85+ )
78import System.Exit
86import System.Exit
79import System.Environment
87import System.Environment
80import System.Process
88import System.Process