Allow message types to be infered

[lsp-test.git] / example / Main.hs

diff --git a/example/Main.hs b/example/Main.hs
index 5aaa2d13abee6adb516dcfece381e3cd215d1e50..1697ca53d90cd51b2144b2d438efbc00ab568c70 100644 (file)
--- a/example/Main.hs
+++ b/example/Main.hs
@@ -11,7 +11,8 @@ main = runSession "test/recordings/renamePass" $ do
 
   sendNotification TextDocumentDidOpen (DidOpenTextDocumentParams docItem)
   
-  sendRequest (Proxy :: Proxy DocumentSymbolRequest) TextDocumentDocumentSymbol (DocumentSymbolParams docId)
+  sendRequest TextDocumentDocumentSymbol (DocumentSymbolParams docId)
 
-  syms <- getMessage :: Session DocumentSymbolsResponse
-  liftIO $ print syms
\ No newline at end of file
+  skipMany loggingNotification
+
+  anyResponse >>= liftIO . print