| UnexpectedDiagnosticsException
| IncorrectApplyEditRequestException String
| UnexpectedResponseError LspIdRsp ResponseError
+ deriving Eq
instance Exception SessionException
show TimeoutException = "Timed out waiting to receive a message from the server."
show (UnexpectedMessageException expected lastMsg) =
"Received an unexpected message from the server:\n" ++
- "Expected: " ++ expected ++ "\n" ++
- "Last message accepted: " ++ show lastMsg
+ "Was parsing: " ++ expected ++ "\n" ++
+ "Last message received: " ++ show lastMsg
show (ReplayOutOfOrderException received expected) =
"Replay is out of order:\n" ++
-- Print json so its a bit easier to update the session logs