From 5c97fd64db698c6d80934803cd7c3ea3416d0c1b Mon Sep 17 00:00:00 2001 From: Patrick Aldis Date: Mon, 9 Mar 2026 16:05:37 +0000 Subject: [PATCH] updateState has more general type --- datalog-lsp/src/Datalog/LSP/DocChange.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/datalog-lsp/src/Datalog/LSP/DocChange.hs b/datalog-lsp/src/Datalog/LSP/DocChange.hs index dcf9f3e..ad47b82 100644 --- a/datalog-lsp/src/Datalog/LSP/DocChange.hs +++ b/datalog-lsp/src/Datalog/LSP/DocChange.hs @@ -23,13 +23,13 @@ docOpenHandler = notificationHandler SMethod_TextDocumentDidOpen updateState docChangeHandler :: Handlers DLogLspM 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 let uri = currentBufferUri req parseRef <- parseState <$> getConfig bufferText <- currentBufferText req - parseResult <- lift . atomically $ do + parseResult <- liftIO . atomically $ do v <- readTVar parseRef let parsedBuffer = runParser parseProgram (show uri) bufferText