File tree Expand file tree Collapse file tree 1 file changed +4
-1
lines changed
ghcide/session-loader/Development/IDE Expand file tree Collapse file tree 1 file changed +4
-1
lines changed Original file line number Diff line number Diff line change @@ -669,6 +669,10 @@ loadSessionWithOptions recorder SessionLoadingOptions{..} rootDir que = do
669
669
if (not $ null extraToLoads)
670
670
then do
671
671
-- mark as less loaded files as failedLoadingFiles as possible
672
+ -- limitation is that when we are loading files, and the dependencies of old_files
673
+ -- are changed, and old_files are not valid anymore.
674
+ -- but they will still be in the old_files, and will not move to error_loading_files.
675
+ -- And make other files failed to load in batch mode.
672
676
let failedLoadingFiles = (Set. insert cfp extraToLoads) `Set.difference` old_files
673
677
atomicModifyIORef' error_loading_files (\ xs -> (failedLoadingFiles <> xs,() ))
674
678
-- retry without other files
@@ -726,7 +730,6 @@ loadSessionWithOptions recorder SessionLoadingOptions{..} rootDir que = do
726
730
deps_ok <- checkDependencyInfo old_di
727
731
if not deps_ok
728
732
then do
729
- -- todo invoke the action to recompile the file
730
733
-- if deps are old, we can try to load the error files again
731
734
atomicModifyIORef' error_loading_files (\ xs -> (Set. delete file xs,() ))
732
735
atomicModifyIORef' cradle_files (\ xs -> (Set. delete file xs,() ))
You can’t perform that action at this time.
0 commit comments