Merge pull request #186 from vekatze/fetch-on-check

fix: intall dependencies before running `check`

src/Act/Check.hs

@@ -1,16 +1,23 @@
 module Act.Check (check) where
 
 import Context.App
+import Context.Module qualified as Module
 import Context.Remark qualified as Remark
 import Entity.Config.Check
 import Entity.Remark qualified as Remark
 import Scene.Check qualified as Check
+import Scene.Fetch qualified as Fetch
 import Scene.Initialize qualified as Initialize
 
 check :: Config -> App ()
 check cfg = do
-  Initialize.initializeCompiler (remarkCfg cfg)
+  setup cfg
   logs <- Check.check
   if shouldInsertPadding cfg
     then Remark.printErrorList logs
     else Remark.printErrorList $ map Remark.deactivatePadding logs
+
+setup :: Config -> App ()
+setup cfg = do
+  Initialize.initializeCompiler (remarkCfg cfg)
+  Module.getMainModule >>= Fetch.fetch

src/Scene/LSP/Lint.hs

@@ -1,6 +1,7 @@
 module Scene.LSP.Lint (lint) where
 
 import Context.App
+import Context.Module qualified as Module
 import Control.Lens hiding (Iso, List)
 import Control.Monad
 import Control.Monad.IO.Class
@@ -22,11 +23,13 @@ import Language.LSP.Protocol.Types
 import Language.LSP.Server
 import Path
 import Scene.Check qualified as Check
+import Scene.Fetch qualified as Fetch
 import Scene.Parse.Core qualified as Parse
 
 lint :: AppLsp () ()
 lint = do
   flushDiagnosticsBySource maxDiagNum (Just "neut")
+  lift $ Module.getMainModule >>= Fetch.fetch
   logList <- lift Check.check
   let uriDiagList = mapMaybe remarkToDignostic logList
   let diagGroupList' = NE.groupBy ((==) `on` fst) $ sortBy (compare `on` fst) uriDiagList