- 
          
- 
                Notifications
    You must be signed in to change notification settings 
- Fork 409
Closed
Labels
type: enhancementNew feature or requestNew feature or request
Description
For future work, we should have a logging backend that forwards some LSP messages (encoded as JSON values) to the LSP stream for testing invariants.
Which I think is related to #2558 (comment)
let eitherFormatOrInit =
          asum
            [ Left
                <$> satisfyLog
                  ( \case
                      KnownTargets.LogGetSigmaTargetsResult {} -> pure ()
                      _ -> empty
                  )
            , Right <$> responseForId STextDocumentFormatting rid
            ]
    res <- skipManyTill anyMessage eitherFormatOrInit
   ...
How I understand this is we want a Recorder that sends some subset of logs to the client by converting them to JSON, sending them using a custom LSP message, then converting them back to the Log type so we can inspect them in client tests.
I'm not certain how exactly the mechanics of choosing log messages to send will work.
Metadata
Metadata
Assignees
Labels
type: enhancementNew feature or requestNew feature or request