cleanup

Author: soulomoon

ghcide/src/Development/IDE/Core/ProgressReporting.hs

@@ -157,8 +157,7 @@ data InProgressState (a :: ProgressStateTrackingType) where
 newInProgress :: IO (InProgressState 'ProgressStateInsideTracking)
 newInProgress = InProgressState <$> newTVarIO 0 <*> newTVarIO 0 <*> STM.newIO
 
-recordProgress :: InProgressState a -> NormalizedFilePath -> (Int -> Int) -> IO ()
-recordProgress InProgressStateOutSide {} _ _ = return ()
+recordProgress :: InProgressState 'ProgressStateInsideTracking -> NormalizedFilePath -> (Int -> Int) -> IO ()
 recordProgress InProgressState {..} file shift = do
   (prev, new) <- atomicallyNamed "recordProgress" $ STM.focus alterPrevAndNew file currentVar
   atomicallyNamed "recordProgress2" $ do
@@ -214,16 +213,13 @@ progressReporting' _newState Nothing _title _optProgressStyle = noProgressReport
 progressReporting' newState (Just lspEnv) title optProgressStyle = do
   inProgressState <- newState
   progressState <- newVar NotStarted
-  let
-      progressUpdate :: ProgressEvent -> m ()
+  let progressUpdate :: ProgressEvent -> m ()
       progressUpdate event = liftIO $ updateStateVar $ Event event
       progressStop = updateStateVar StopProgress
       updateStateVar = modifyVar_ progressState . updateState (lspShakeProgressNew inProgressState)
-      inProgress :: NormalizedFilePath -> m b -> m b
-      inProgress = updateStateForFile inProgressState
   case inProgressState of
     InProgressStateOutSide {} -> return $ ProgressReportingOutSide progressUpdate progressStop
-    InProgressState {} -> return $ ProgressReportingInSide progressUpdate inProgress progressStop
+    InProgressState {} -> return $ ProgressReportingInSide progressUpdate (updateStateForFile inProgressState) progressStop
   where
     lspShakeProgressNew :: InProgressState a -> IO ()
     lspShakeProgressNew InProgressStateOutSide {..} = progressCounter lspEnv title optProgressStyle todo done