Merge pull request #3436 from benjamin-hodgson/ghcjs-isWindows
Work around GHCJS's patched export of isWindows from System.FilePath
commit413d398e3c3951d4e935140a1e83b6c447adce5e
authorNiklas Larsson <metaniklas@gmail.com>
dateSat 17 Sep 2016, 15:17 (10 years ago)
parentd38641254f8988
src/Idris/REPL.hs+8
@@ -75,6 +75,14 @@ import Text.Trifecta.Result(Result(..), ErrInfo(..))
7575
7676import System.Console.Haskeline as H
7777import System.FilePath
78+ ( (</>)
79+ , (<.>)
80+ , splitExtension
81+ , addExtension
82+ , dropExtension
83+ , takeExtension
84+ , takeDirectory
85+ )
7886import System.Exit
7987import System.Environment
8088import System.Process