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