Fix the liquid haskell reporting

Author: mpickering

hie-plugin-api/Haskell/Ide/Engine/PluginsIdeMonads.hs

@@ -347,16 +347,9 @@ runIdeGhcM plugins mlf stateVar f = do
 
 -- | A computation that is deferred until the module is cached.
 -- Note that the module may not typecheck, in which case 'UriCacheFailed' is passed
-data Defer a = Defer FilePath (UriCacheResult -> a)
-             | DeferAction (IdeM ()) deriving Functor
+data Defer a = Defer FilePath (UriCacheResult -> a) deriving Functor
 type IdeDeferM = FreeT Defer IdeM
 
-{-
-data IdeDeferM a = Defer FilePath (UriCacheResult -> IdeDeferM a)
-                 | IdeLeaf (IdeM a)
-                 deriving Functor
-                 -}
-
 type IdeM = ReaderT IdeEnv (MultiThreadState IdeState)
 
 -- | Run an IdeM

src/Haskell/Ide/Engine/Plugin/Liquid.hs

@@ -8,6 +8,7 @@ module Haskell.Ide.Engine.Plugin.Liquid where
 --import           Control.Concurrent.Async
 import           Control.Monad
 import           Control.Monad.IO.Class
+import Control.Monad.Trans.Class
 import           Control.Exception (bracket)
 #if __GLASGOW_HASKELL__ < 804
 import           Data.Monoid
@@ -122,8 +123,7 @@ diagnosticProvider DiagnosticOnSave uri cb = pluginGetFile "Liquid.diagnosticPro
     mapM_ (liftIO . cancel) mtid
 
     let progTitle = "Running Liquid Haskell on " <> T.pack (takeFileName file)
---    tid <- async $ withIndefiniteProgress progTitle $ (liftIO $ generateDiagnosics cb uri file)
-    tid <- liftIO $ async $ generateDiagnosics cb uri file
+    tid <- lift $ async $ withIndefiniteProgress progTitle $ (liftIO $ generateDiagnosics cb uri file)
 
     put (LiquidData (Just tid))