format

Author: soulomoon

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

@@ -86,10 +86,10 @@ progressUpdate ProgressReportingOutSide {..} = progressUpdateO
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 The progress of tasks can be tracked in two ways:
 
-1. `InProgressState ProgressStateInsideTracking`: This is an internal state that actively tracks the progress.
+1. `InProgressState 'ProgressStateInsideTracking`: This is an internal state that actively tracks the progress.
    Changes to the progress are made directly to this state.
 
-2. `InProgressState ProgressStateOutsideTracking`: This is an external state that tracks the progress.
+2. `InProgressState 'ProgressStateOutsideTracking`: This is an external state that tracks the progress.
    The external state is converted into an STM Int for the purpose of reporting progress.
 
 The `inProgress` function is only useful when we are using `ProgressStateInsideTracking`.
@@ -145,16 +145,16 @@ data InProgressState (a :: ProgressStateTrackingType) where
         , doneVar    :: TVar Int
         -- | Number of files done
         , currentVar :: STM.Map NormalizedFilePath Int
-        } -> InProgressState ProgressStateInsideTracking
+        } -> InProgressState 'ProgressStateInsideTracking
     InProgressStateOutSide ::
     -- we transform the outside state into STM Int for progress reporting purposes
         { todo :: STM Int
         -- | Number of files to do
         , done :: STM Int
         -- | Number of files done
-        } -> InProgressState ProgressStateOutsideTracking
+        } -> InProgressState 'ProgressStateOutsideTracking
 
-newInProgress :: IO (InProgressState ProgressStateInsideTracking)
+newInProgress :: IO (InProgressState 'ProgressStateInsideTracking)
 newInProgress = InProgressState <$> newTVarIO 0 <*> newTVarIO 0 <*> STM.newIO
 
 recordProgress :: InProgressState a -> NormalizedFilePath -> (Int -> Int) -> IO ()