patrickaldis/geolog-lsp
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

updateState has more general type

Browse Source
This commit is contained in:
Patrick Aldis 2026-03-09 16:05:37 +00:00
parent 27eb944b07
commit 5c97fd64db
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
datalog-lsp/src/Datalog/LSP/DocChange.hs
View File

@ -23,13 +23,13 @@ docOpenHandler = notificationHandler SMethod_TextDocumentDidOpen updateState
docChangeHandler :: Handlers DLogLspM docChangeHandler :: Handlers DLogLspM
docChangeHandler = notificationHandler SMethod_TextDocumentDidChange updateState docChangeHandler = notificationHandler SMethod_TextDocumentDidChange updateState
updateState :: (HasParams s a1, MonadLsp LSPState (t IO), HasUri a2 Uri, HasTextDocument a1 a2, MonadTrans t) => s -> t IO () updateState :: (HasParams s a1, MonadLsp LSPState m, HasUri a2 Uri, HasTextDocument a1 a2, MonadIO m) => s -> m ()
updateState req = do updateState req = do
let uri = currentBufferUri req let uri = currentBufferUri req
parseRef <- parseState <$> getConfig parseRef <- parseState <$> getConfig
bufferText <- currentBufferText req bufferText <- currentBufferText req
parseResult <- lift . atomically $ do parseResult <- liftIO . atomically $ do
v <- readTVar parseRef v <- readTVar parseRef
let parsedBuffer = runParser parseProgram (show uri) bufferText let parsedBuffer = runParser parseProgram (show uri) bufferText