Skip to content

Instantly share code, notes, and snippets.

@Leonti
Created May 9, 2018 02:10
Show Gist options
  • Save Leonti/2f8f6af88114554dae0850ca4b08e902 to your computer and use it in GitHub Desktop.
Save Leonti/2f8f6af88114554dae0850ca4b08e902 to your computer and use it in GitHub Desktop.
haskell-lsp:Starting up server ...
2018-05-09 12:06:07.689664 [ThreadId 4] - ---> {"jsonrpc":"2.0","id":0,"method":"initialize","params":{"processId":36474,"rootPath":"/Users/leonti.bielski/myob/property-testing-demo/payslip-property-testing-haskell/","rootUri":"file:///Users/leonti.bielski/myob/property-testing-demo/payslip-property-testing-haskell/","capabilities":{"workspace":{"applyEdit":true,"workspaceEdit":{"documentChanges":true},"didChangeConfiguration":{"dynamicRegistration":false},"didChangeWatchedFiles":{"dynamicRegistration":false},"symbol":{"dynamicRegistration":false},"executeCommand":{"dynamicRegistration":false}},"textDocument":{"synchronization":{"dynamicRegistration":false,"willSave":true,"willSaveWaitUntil":true,"didSave":true},"completion":{"dynamicRegistration":false,"completionItem":{"snippetSupport":true,"commitCharactersSupport":false},"contextSupport":true},"hover":{"dynamicRegistration":false},"signatureHelp":{"dynamicRegistration":false},"references":{"dynamicRegistration":false},"documentHighlight":{"dynamicRegistration":false},"documentSymbol":{"dynamicRegistration":false},"formatting":{"dynamicRegistration":false},"rangeFormatting":{"dynamicRegistration":false},"onTypeFormatting":{"dynamicRegistration":false},"definition":{"dynamicRegistration":false},"codeAction":{"dynamicRegistration":false},"codeLens":{"dynamicRegistration":false},"documentLink":{"dynamicRegistration":false},"rename":{"dynamicRegistration":false}},"experimental":{}}}}
2018-05-09 12:06:07.690478 [ThreadId 4] - haskell-lsp:initializeRequestHandler: setting current dir to project root:/Users/leonti.bielski/myob/property-testing-demo/payslip-property-testing-haskell/
2018-05-09 12:06:07.69084 [ThreadId 5] - <--2--{"result":{"capabilities":{"textDocumentSync":{"openClose":true,"change":2,"willSave":false,"willSaveWaitUntil":false,"save":{"includeText":false}},"hoverProvider":true,"completionProvider":{"resolveProvider":true,"triggerCharacters":["."]},"definitionProvider":true,"referencesProvider":true,"documentHighlightProvider":true,"documentSymbolProvider":true,"codeActionProvider":true,"documentFormattingProvider":true,"documentRangeFormattingProvider":true,"renameProvider":true,"executeCommandProvider":{"commands":["applyrefact:applyOne","hare:demote"]}}},"jsonrpc":"2.0","id":0}
2018-05-09 12:06:07.864816 [ThreadId 7] - ghcDispatcher: top of loop
2018-05-09 12:06:07.864918 [ThreadId 11] - ideDispatcher: top of loop
2018-05-09 12:06:08.349153 [ThreadId 4] - ---> {"jsonrpc":"2.0","method":"initialized","params":{}}
2018-05-09 12:06:08.349327 [ThreadId 8] - ****** reactor: processing Initialized Notification
2018-05-09 12:06:08.349482 [ThreadId 5] - <--2--{"jsonrpc":"2.0","id":0,"method":"client/registerCapability","params":{"registrations":[{"registerOptions":{"documentSelector":{"language":"haskell"}},"method":"workspace/executeCommand","id":"hare:demote"}]}}
2018-05-09 12:06:08.349572 [ThreadId 7] - got request with id: Nothing
2018-05-09 12:06:08.349713 [ThreadId 7] - ghcDispatcher: top of loop
2018-05-09 12:06:08.349814 [ThreadId 5] - <--2--{"jsonrpc":"2.0","method":"window/logMessage","params":{"type":4,"message":"Using hoogle db at: /Users/leonti.bielski/.hoogle/default-haskell-5.0.17.hoo"}}
2018-05-09 12:06:08.351298 [ThreadId 4] - ---> {"jsonrpc":"2.0","method":"textDocument/didOpen","params":{"textDocument":{"uri":"file:///Users/leonti.bielski/myob/property-testing-demo/payslip-property-testing-haskell/test/PayslipArbitrary.hs","languageId":"haskell","version":1,"text":"module PayslipArbitrary where\n\nimport Data.List (sort)\nimport Data.List.NonEmpty (fromList)\nimport Test.Hspec.QuickCheck\nimport Test.QuickCheck\nimport Types\n\ninstance Arbitrary Employee where\n arbitrary = Employee\n <$> (FirstName <$> arbitrary)\n <*> (LastName <$> arbitrary)\n <*> (AnnualSalary <$> (arbitrary `suchThat` (> 0)))\n <*> (SuperRate <$> (arbitrary `suchThat` (> 0)))\n <*> (PayPeriod <$> arbitrary)\n\ninstance Arbitrary TaxTable where\n arbitrary = do\n list <- listOf1 (arbitrary :: (Gen (Positive Int)))\n let sorted = sort list\n brackets <- toTaxBrackets (Positive 0 : sorted) []\n return (TaxTable $ fromList brackets)\n\ntoTaxBrackets :: [Positive Int] -> [TaxBracket] -> Gen [TaxBracket]\ntoTaxBrackets [] acc = return acc\ntoTaxBrackets [Positive start] acc = do\n bracket <- genBracket (BottomLimit start) (UpperLimit Nothing)\n return $ bracket : acc\ntoTaxBrackets [Positive start, Positive end] acc = do\n bracket <- genBracket (BottomLimit start) (UpperLimit (Just (end + 1)))\n rest <- toTaxBrackets [Positive $ end + 2] acc\n return $ bracket : rest\ntoTaxBrackets (Positive start : Positive end : xs) acc = do\n bracket <- genBracket (BottomLimit start) (UpperLimit (Just (end + 1)))\n rest <- toTaxBrackets ((Positive $ end + 2):xs) acc\n return $ bracket : rest\n\ngenBracket :: BottomLimit -> UpperLimit -> Gen TaxBracket\ngenBracket (BottomLimit bl) ul = do\n tax <- choose (0, bl)\n centsPerDollar <- choose (0, 99)\n return $ TaxBracket (BottomLimit bl) ul (BaseTax tax) (CentsPerDollarTax centsPerDollar)\n\ntestd :: Int\ntestd = \"Hello\"\n"}}}
2018-05-09 12:06:08.351552 [ThreadId 8] - ****** reactor: processing NotDidOpenTextDocument
2018-05-09 12:06:08.35172 [ThreadId 7] - got request with id: Nothing
2018-05-09 12:06:08.437292 [ThreadId 4] - ---> {"jsonrpc":"2.0","id":1,"method":"textDocument/documentHighlight","params":{"textDocument":{"uri":"file:///Users/leonti.bielski/myob/property-testing-demo/payslip-property-testing-haskell/test/PayslipArbitrary.hs"},"position":{"line":38,"character":35}}}
2018-05-09 12:06:08.437473 [ThreadId 8] - reactor:got DocumentHighlightsRequest:RequestMessage {_jsonrpc = "2.0", _id = IdInt 1, _method = TextDocumentDocumentHighlight, _params = TextDocumentPositionParams {_textDocument = TextDocumentIdentifier {_uri = Uri {getUri = "file:///Users/leonti.bielski/myob/property-testing-demo/payslip-property-testing-haskell/test/PayslipArbitrary.hs"}}, _position = Position {_line = 38, _character = 35}}}
2018-05-09 12:06:08.437573 [ThreadId 11] - ideDispatcher:got request with id: IdInt 1
2018-05-09 12:06:08.437833 [ThreadId 11] - ideDispatcher: top of loop
2018-05-09 12:06:08.437926 [ThreadId 5] - <--2--{"result":[],"jsonrpc":"2.0","id":1}
2018-05-09 12:06:08.522937 [ThreadId 7] - file mapping state is: fromList [("/Users/leonti.bielski/myob/property-testing-demo/payslip-property-testing-haskell/test/PayslipArbitrary.hs",FileMapping {fmPath = "/var/folders/hm/3t_b50tj3ng1fj3g4p9zgcn02hg99c/T/ghc-mod36475/PayslipArbitrary36474-0.hs", fmTemp = True})]
2018-05-09 12:06:08.523049 [ThreadId 7] - ghcDispatcher: top of loop
2018-05-09 12:06:08.523082 [ThreadId 7] - got request with id: Nothing
2018-05-09 12:06:08.52311 [ThreadId 7] - Processing request as version matches
2018-05-09 12:06:08.599875 [ThreadId 7] - ghcDispatcher: top of loop
2018-05-09 12:06:08.600342 [ThreadId 7] - got request with id: Nothing
2018-05-09 12:06:08.600394 [ThreadId 7] - Processing request as version matches
2018-05-09 12:06:08.601607 [ThreadId 7] - setTypecheckedModule: file mapping state is: fromList [("/Users/leonti.bielski/myob/property-testing-demo/payslip-property-testing-haskell/test/PayslipArbitrary.hs",FileMapping {fmPath = "/var/folders/hm/3t_b50tj3ng1fj3g4p9zgcn02hg99c/T/ghc-mod36475/PayslipArbitrary36474-0.hs", fmTemp = True})]
2018-05-09 12:06:08.708229 [ThreadId 4] - ---> {"jsonrpc":"2.0","id":0,"error":{"code":-32601,"message":"Unhandled method client/registerCapability"}}
2018-05-09 12:06:08.708345 [ThreadId 4] - haskell-lsp:Got reply message:"{\"jsonrpc\":\"2.0\",\"id\":0,\"error\":{\"code\":-32601,\"message\":\"Unhandled method client/registerCapability\"}}"
2018-05-09 12:06:08.713153 [ThreadId 8] - reactor:got RspFromClient:ResponseMessage {_jsonrpc = "2.0", _id = IdRspInt 0, _result = Nothing, _error = Just (ResponseError {_code = MethodNotFound, _message = "Unhandled method client/registerCapability", _xdata = Nothing})}
2018-05-09 12:06:08.726898 [ThreadId 5] - <--2--{"jsonrpc":"2.0","method":"textDocument/publishDiagnostics","params":{"uri":"file:///Users/leonti.bielski/myob/property-testing-demo/payslip-property-testing-haskell/test/PayslipArbitrary.hs","diagnostics":[]}}
2018-05-09 12:06:08.727022 [ThreadId 5] - <--2--{"jsonrpc":"2.0","method":"window/logMessage","params":{"type":1,"message":"Got error response:{\"error\":{\"code\":-32601,\"message\":\"Unhandled method client/registerCapability\"},\"jsonrpc\":\"2.0\",\"id\":0}"}}
2018-05-09 12:06:09.319966 [ThreadId 7] - srcSpan2Loc: mapped file is /var/folders/hm/3t_b50tj3ng1fj3g4p9zgcn02hg99c/T/ghc-mod36475/PayslipArbitrary36474-0.hs
2018-05-09 12:06:09.320124 [ThreadId 7] - reverseMapFile: mapped file is /private/var/folders/hm/3t_b50tj3ng1fj3g4p9zgcn02hg99c/T/ghc-mod36475/PayslipArbitrary36474-0.hs
2018-05-09 12:06:09.320171 [ThreadId 7] - reverseMapFile: original is /private/var/folders/hm/3t_b50tj3ng1fj3g4p9zgcn02hg99c/T/ghc-mod36475/PayslipArbitrary36474-0.hs
2018-05-09 12:06:09.320243 [ThreadId 7] - reverseMapFile: Canonicalized original is /private/var/folders/hm/3t_b50tj3ng1fj3g4p9zgcn02hg99c/T/ghc-mod36475/PayslipArbitrary36474-0.hs
2018-05-09 12:06:09.320275 [ThreadId 7] - srcSpan2Loc: Original file is /private/var/folders/hm/3t_b50tj3ng1fj3g4p9zgcn02hg99c/T/ghc-mod36475/PayslipArbitrary36474-0.hs
2018-05-09 12:06:09.359234 [ThreadId 7] - setTypecheckedModule: Didn't get typechecked module for: "/Users/leonti.bielski/myob/property-testing-demo/payslip-property-testing-haskell/test/PayslipArbitrary.hs"
2018-05-09 12:06:09.359353 [ThreadId 7] - ghcDispatcher: top of loop
2018-05-09 12:06:09.359442 [ThreadId 5] - <--2--{"jsonrpc":"2.0","method":"textDocument/publishDiagnostics","params":{"uri":"file:///Users/leonti.bielski/myob/property-testing-demo/payslip-property-testing-haskell/test/PayslipArbitrary.hs","diagnostics":[]}}
2018-05-09 12:06:09.359977 [ThreadId 5] - <--2--{"jsonrpc":"2.0","method":"textDocument/publishDiagnostics","params":{"uri":"file:///private/var/folders/hm/3t_b50tj3ng1fj3g4p9zgcn02hg99c/T/ghc-mod36475/PayslipArbitrary36474-0.hs","diagnostics":[{"severity":1,"range":{"start":{"line":44,"character":8},"end":{"line":44,"character":15}},"source":"ghcmod","message":"• Couldn't match expected type ‘Int’ with actual type ‘[Char]’\n• In the expression: \"Hello\"\n In an equation for ‘testd’: testd = \"Hello\""}]}}
2018-05-09 12:06:09.701073 [ThreadId 4] - ---> {"jsonrpc":"2.0","method":"workspace/didChangeWatchedFiles","params":{"changes":[{"uri":"file:///Users/leonti.bielski/myob/property-testing-demo/payslip-property-testing-haskell/.stack-work/dist/x86_64-osx/Cabal-2.0.1.0/setup-config.ghc-mod.resolved-components","type":2}]}}
2018-05-09 12:06:09.701263 [ThreadId 8] - ****** reactor: not processing NotDidChangeWatchedFiles
2018-05-09 12:06:55.968853 [ThreadId 4] - ---> {"jsonrpc":"2.0","id":2,"method":"textDocument/hover","params":{"textDocument":{"uri":"file:///Users/leonti.bielski/myob/property-testing-demo/payslip-property-testing-haskell/test/PayslipArbitrary.hs"},"position":{"line":34,"character":17}}}
2018-05-09 12:06:55.969071 [ThreadId 8] - reactor:got HoverRequest:RequestMessage {_jsonrpc = "2.0", _id = IdInt 2, _method = TextDocumentHover, _params = TextDocumentPositionParams {_textDocument = TextDocumentIdentifier {_uri = Uri {getUri = "file:///Users/leonti.bielski/myob/property-testing-demo/payslip-property-testing-haskell/test/PayslipArbitrary.hs"}}, _position = Position {_line = 34, _character = 17}}}
2018-05-09 12:06:55.969148 [ThreadId 8] - reactor:HoverRequest done
2018-05-09 12:06:55.969201 [ThreadId 11] - ideDispatcher:got request with id: IdInt 2
2018-05-09 12:06:55.969432 [ThreadId 11] - ideDispatcher: top of loop
2018-05-09 12:06:55.969538 [ThreadId 5] - <--2--{"result":{"contents":[]},"jsonrpc":"2.0","id":2}
2018-05-09 12:06:56.371397 [ThreadId 4] - ---> {"jsonrpc":"2.0","id":3,"method":"textDocument/documentHighlight","params":{"textDocument":{"uri":"file:///Users/leonti.bielski/myob/property-testing-demo/payslip-property-testing-haskell/test/PayslipArbitrary.hs"},"position":{"line":34,"character":17}}}
2018-05-09 12:06:56.371562 [ThreadId 8] - reactor:got DocumentHighlightsRequest:RequestMessage {_jsonrpc = "2.0", _id = IdInt 3, _method = TextDocumentDocumentHighlight, _params = TextDocumentPositionParams {_textDocument = TextDocumentIdentifier {_uri = Uri {getUri = "file:///Users/leonti.bielski/myob/property-testing-demo/payslip-property-testing-haskell/test/PayslipArbitrary.hs"}}, _position = Position {_line = 34, _character = 17}}}
2018-05-09 12:06:56.371633 [ThreadId 11] - ideDispatcher:got request with id: IdInt 3
2018-05-09 12:06:56.371835 [ThreadId 11] - ideDispatcher: top of loop
2018-05-09 12:06:56.371909 [ThreadId 5] - <--2--{"result":[],"jsonrpc":"2.0","id":3}
2018-05-09 12:06:56.812787 [ThreadId 4] - ---> {"jsonrpc":"2.0","id":4,"method":"textDocument/definition","params":{"textDocument":{"uri":"file:///Users/leonti.bielski/myob/property-testing-demo/payslip-property-testing-haskell/test/PayslipArbitrary.hs"},"position":{"line":34,"character":17}}}
2018-05-09 12:06:56.812991 [ThreadId 8] - reactor:got DefinitionRequest:RequestMessage {_jsonrpc = "2.0", _id = IdInt 4, _method = TextDocumentDefinition, _params = TextDocumentPositionParams {_textDocument = TextDocumentIdentifier {_uri = Uri {getUri = "file:///Users/leonti.bielski/myob/property-testing-demo/payslip-property-testing-haskell/test/PayslipArbitrary.hs"}}, _position = Position {_line = 34, _character = 17}}}
2018-05-09 12:06:56.813098 [ThreadId 7] - got request with id: Just (IdInt 4)
2018-05-09 12:06:56.813156 [ThreadId 7] - processing request: IdInt 4
2018-05-09 12:06:56.813601 [ThreadId 7] - ghcDispatcher: top of loop
2018-05-09 12:06:56.813711 [ThreadId 5] - <--2--{"error":{"code":-32603,"message":"IdeError {ideCode = PluginError, ideMessage = \"hare:findDef: \\\"module not loaded\\\"\", ideInfo = Null}"},"jsonrpc":"2.0","id":4}
2018-05-09 12:09:15.965306 [ThreadId 4] - ---> {"jsonrpc":"2.0","id":5,"method":"shutdown","params":null}
2018-05-09 12:09:15.965533 [ThreadId 5] - <--2--{"result":"ok","jsonrpc":"2.0","id":5}
2018-05-09 12:09:16.065589 [ThreadId 4] - ---> {"jsonrpc":"2.0","method":"exit"}
2018-05-09 12:09:16.065704 [ThreadId 4] - haskell-lsp:Got exit, exiting
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment