Created
May 9, 2018 02:10
-
-
Save Leonti/2f8f6af88114554dae0850ca4b08e902 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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