@@ -690,9 +690,9 @@ reload orig inputs = do
691watch :: IState -> [FilePath] -> Idris (Maybe [FilePath])
691watch :: IState -> [FilePath] -> Idris (Maybe [FilePath])
692watch orig inputs = do
692watch orig inputs = do
693− let inputSet = S.fromList inputs
694− let dirs = nub $ map takeDirectory inputs
695 resp <- runIO $ do
693 resp <- runIO $ do
694+ let dirs = nub $ map takeDirectory inputs
695+ inputSet <- fmap S.fromList $ mapM canonicalizePath inputs
696 signal <- newEmptyMVar
696 signal <- newEmptyMVar
697 withManager $ \mgr -> do
697 withManager $ \mgr -> do
698 forM_ dirs $ \dir ->
698 forM_ dirs $ \dir ->