git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2918 from LeifW/canonicalize_watched_files

Canonicalize watched files

commit01484e6304213cb331d9d89c5ec70bb9e7315465 authorNiklas Larsson <metaniklas@gmail.com> dateSun 31 Jan 2016, 23:44 (11 years ago) parent85b6c785585378
2 files changed+3−3
compare with master
unifiedsplit
idris.cabal+1−1 src/Idris/REPL.hs+2−2
idris.cabal+1−1
@@ -984,7 +984,7 @@ Library
984984 , zip-archive > 0.2.3.5 && < 0.2.4
985985 , safe
986986 , fsnotify < 2.2
987− , async < 2.1
987+ , async < 2.2
988988
989989 -- zlib >= 0.6.1 is broken with GHC < 7.10.3
990990 if impl(ghc < 7.10.3)
src/Idris/REPL.hs+2−2
@@ -691,9 +691,9 @@ reload orig inputs = do
691691
692692watch :: IState -> [FilePath] -> Idris (Maybe [FilePath])
693693watch orig inputs = do
694− let inputSet = S.fromList inputs
695− let dirs = nub $ map takeDirectory inputs
696694 resp <- runIO $ do
695+ let dirs = nub $ map takeDirectory inputs
696+ inputSet <- fmap S.fromList $ mapM canonicalizePath inputs
697697 signal <- newEmptyMVar
698698 withManager $ \mgr -> do
699699 forM_ dirs $ \dir ->