-
-
Save JeremyRoussel/0d549d3672e42b430f72de26092ca776 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
[Trace - 9:26:42 AM] Sending request 'initialize - (0)'. | |
Params: { | |
"processId": 17105, | |
"clientInfo": { | |
"name": "vscode", | |
"version": "1.63.1" | |
}, | |
"rootPath": "/Users/jeremyroussel/code/bikeshopdemo", | |
"rootUri": "file:///Users/jeremyroussel/code/bikeshopdemo", | |
"capabilities": { | |
"workspace": { | |
"applyEdit": true, | |
"workspaceEdit": { | |
"documentChanges": true, | |
"resourceOperations": [ | |
"create", | |
"rename", | |
"delete" | |
], | |
"failureHandling": "textOnlyTransactional" | |
}, | |
"didChangeConfiguration": { | |
"dynamicRegistration": true | |
}, | |
"didChangeWatchedFiles": { | |
"dynamicRegistration": true | |
}, | |
"symbol": { | |
"dynamicRegistration": true, | |
"symbolKind": { | |
"valueSet": [ | |
1, | |
2, | |
3, | |
4, | |
5, | |
6, | |
7, | |
8, | |
9, | |
10, | |
11, | |
12, | |
13, | |
14, | |
15, | |
16, | |
17, | |
18, | |
19, | |
20, | |
21, | |
22, | |
23, | |
24, | |
25, | |
26 | |
] | |
} | |
}, | |
"executeCommand": { | |
"dynamicRegistration": true | |
}, | |
"configuration": true, | |
"workspaceFolders": true | |
}, | |
"textDocument": { | |
"publishDiagnostics": { | |
"relatedInformation": true, | |
"versionSupport": false, | |
"tagSupport": { | |
"valueSet": [ | |
1, | |
2 | |
] | |
} | |
}, | |
"synchronization": { | |
"dynamicRegistration": true, | |
"willSave": true, | |
"willSaveWaitUntil": true, | |
"didSave": true | |
}, | |
"completion": { | |
"dynamicRegistration": true, | |
"contextSupport": true, | |
"completionItem": { | |
"snippetSupport": true, | |
"commitCharactersSupport": true, | |
"documentationFormat": [ | |
"markdown", | |
"plaintext" | |
], | |
"deprecatedSupport": true, | |
"preselectSupport": true, | |
"tagSupport": { | |
"valueSet": [ | |
1 | |
] | |
} | |
}, | |
"completionItemKind": { | |
"valueSet": [ | |
1, | |
2, | |
3, | |
4, | |
5, | |
6, | |
7, | |
8, | |
9, | |
10, | |
11, | |
12, | |
13, | |
14, | |
15, | |
16, | |
17, | |
18, | |
19, | |
20, | |
21, | |
22, | |
23, | |
24, | |
25 | |
] | |
} | |
}, | |
"hover": { | |
"dynamicRegistration": true, | |
"contentFormat": [ | |
"markdown", | |
"plaintext" | |
] | |
}, | |
"signatureHelp": { | |
"dynamicRegistration": true, | |
"signatureInformation": { | |
"documentationFormat": [ | |
"markdown", | |
"plaintext" | |
], | |
"parameterInformation": { | |
"labelOffsetSupport": true | |
} | |
}, | |
"contextSupport": true | |
}, | |
"definition": { | |
"dynamicRegistration": true, | |
"linkSupport": true | |
}, | |
"references": { | |
"dynamicRegistration": true | |
}, | |
"documentHighlight": { | |
"dynamicRegistration": true | |
}, | |
"documentSymbol": { | |
"dynamicRegistration": true, | |
"symbolKind": { | |
"valueSet": [ | |
1, | |
2, | |
3, | |
4, | |
5, | |
6, | |
7, | |
8, | |
9, | |
10, | |
11, | |
12, | |
13, | |
14, | |
15, | |
16, | |
17, | |
18, | |
19, | |
20, | |
21, | |
22, | |
23, | |
24, | |
25, | |
26 | |
] | |
}, | |
"hierarchicalDocumentSymbolSupport": true | |
}, | |
"codeAction": { | |
"dynamicRegistration": true, | |
"isPreferredSupport": true, | |
"codeActionLiteralSupport": { | |
"codeActionKind": { | |
"valueSet": [ | |
"", | |
"quickfix", | |
"refactor", | |
"refactor.extract", | |
"refactor.inline", | |
"refactor.rewrite", | |
"source", | |
"source.organizeImports" | |
] | |
} | |
} | |
}, | |
"codeLens": { | |
"dynamicRegistration": true | |
}, | |
"formatting": { | |
"dynamicRegistration": true | |
}, | |
"rangeFormatting": { | |
"dynamicRegistration": true | |
}, | |
"onTypeFormatting": { | |
"dynamicRegistration": true | |
}, | |
"rename": { | |
"dynamicRegistration": true, | |
"prepareSupport": true | |
}, | |
"documentLink": { | |
"dynamicRegistration": true, | |
"tooltipSupport": true | |
}, | |
"typeDefinition": { | |
"dynamicRegistration": true, | |
"linkSupport": true | |
}, | |
"implementation": { | |
"dynamicRegistration": true, | |
"linkSupport": true | |
}, | |
"colorProvider": { | |
"dynamicRegistration": true | |
}, | |
"foldingRange": { | |
"dynamicRegistration": true, | |
"rangeLimit": 5000, | |
"lineFoldingOnly": true | |
}, | |
"declaration": { | |
"dynamicRegistration": true, | |
"linkSupport": true | |
}, | |
"selectionRange": { | |
"dynamicRegistration": true | |
}, | |
"callHierarchy": { | |
"dynamicRegistration": true | |
}, | |
"semanticTokens": { | |
"dynamicRegistration": true, | |
"tokenTypes": [ | |
"comment", | |
"keyword", | |
"number", | |
"regexp", | |
"operator", | |
"namespace", | |
"type", | |
"struct", | |
"class", | |
"interface", | |
"enum", | |
"typeParameter", | |
"function", | |
"member", | |
"macro", | |
"variable", | |
"parameter", | |
"property", | |
"label" | |
], | |
"tokenModifiers": [ | |
"declaration", | |
"documentation", | |
"static", | |
"abstract", | |
"deprecated", | |
"async", | |
"readonly" | |
] | |
} | |
}, | |
"window": { | |
"workDoneProgress": true | |
} | |
}, | |
"trace": "verbose", | |
"workspaceFolders": [ | |
{ | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo", | |
"name": "bikeshopdemo" | |
} | |
] | |
} | |
2021-12-15 15:26:44.55 [DEBUG] [LanguageServer ScenarioService] | |
Starting scenario service... | |
2021-12-15 15:26:46.16 [DEBUG] [LanguageServer ScenarioService] | |
Scenario service backend running on port 58776 | |
2021-12-15 15:26:46.16 [DEBUG] [LanguageServer ScenarioService] | |
SCENARIO SERVICE STDOUT: Server started. | |
2021-12-15 15:26:46.39 [INFO] [LanguageServer] | |
SDK version: 1.18.0 | |
2021-12-15 15:26:46.39 [DEBUG] [LanguageServer] | |
Sending session ping | |
2021-12-15 15:26:46.41 [INFO] [LanguageServer] | |
Registering ide configuration: IdeConfiguration {workspaceFolders = fromList [NormalizedUri (-7359801197672343160) "file:///Users/jeremyroussel/code/bikeshopdemo"]} | |
[Trace - 9:26:46 AM] Received response 'initialize - (0)' in 3495ms. | |
Result: { | |
"capabilities": { | |
"typeDefinitionProvider": false, | |
"foldingRangeProvider": false, | |
"workspaceSymbolProvider": false, | |
"textDocumentSync": { | |
"openClose": true, | |
"change": 2, | |
"save": {} | |
}, | |
"workspace": { | |
"workspaceFolders": { | |
"supported": true, | |
"changeNotifications": true | |
} | |
}, | |
"implementationProvider": false, | |
"selectionRangeProvider": false, | |
"documentRangeFormattingProvider": false, | |
"documentHighlightProvider": false, | |
"executeCommandProvider": { | |
"commands": [ | |
"typesignature.add", | |
"daml/damlVisualize" | |
] | |
}, | |
"renameProvider": false, | |
"colorProvider": false, | |
"definitionProvider": true, | |
"hoverProvider": true, | |
"codeActionProvider": true, | |
"completionProvider": { | |
"resolveProvider": false | |
}, | |
"codeLensProvider": { | |
"resolveProvider": false, | |
"workDoneProgress": false | |
}, | |
"documentSymbolProvider": true, | |
"documentFormattingProvider": false, | |
"referencesProvider": false, | |
"declarationProvider": false | |
} | |
} | |
[Trace - 9:26:46 AM] Sending notification 'initialized'. | |
Params: {} | |
[Trace - 9:26:46 AM] Sending notification 'textDocument/didOpen'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml", | |
"languageId": "daml", | |
"version": 1, | |
"text": "module BikeShop where\n\nimport Daml.Script\n\ndata Currency = USD | EUR | GBP | CHF\n deriving (Eq, Show)\n\n-- template Cash\n-- with\n-- issuer: Party\n-- owner: Party\n-- currency: Currency\n-- amount: Decimal\n-- where\n-- signatory issuer\n\ndata Cash = Cash\n with\n issuer: Party\n owner: Party\n currency: Currency\n amount: Decimal\n\ntest = do\n bank <- allocateParty \"SwissBank\"\n martin <- allocateParty \"Martin\"\n\n let\n cash = Cash\n with\n issuer = bank\n owner = martin\n currency = CHF\n amount = 200.0\n \n -- submit bank do\n -- createCmd cash\n\n pure()\n" | |
} | |
} | |
[Trace - 9:26:46 AM] Received notification 'window/logMessage'. | |
Params: { | |
"type": 1, | |
"message": "lsp:no handler for: SInitialized" | |
} | |
[Error - 9:26:46 AM] lsp:no handler for: SInitialized | |
2021-12-15 15:26:46.41 [DEBUG] [LanguageServer] | |
Set files of interest to: [NormalizedFilePath "/Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml"] | |
2021-12-15 15:26:46.41 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
[Trace - 9:26:46 AM] Sending request 'textDocument/documentSymbol - (1)'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml" | |
} | |
} | |
2021-12-15 15:26:46.41 [INFO] [LanguageServer] | |
Opened text document: file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml | |
2021-12-15 15:26:46.41 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, exception: AsyncCancelled) | |
2021-12-15 15:26:46.41 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
[Trace - 9:26:46 AM] Received response 'textDocument/documentSymbol - (1)' in 45ms. | |
Result: [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 0, | |
"character": 7 | |
}, | |
"end": { | |
"line": 0, | |
"character": 15 | |
} | |
}, | |
"kind": 1, | |
"children": [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 2, | |
"character": 0 | |
}, | |
"end": { | |
"line": 2, | |
"character": 18 | |
} | |
}, | |
"kind": 2, | |
"children": [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 2, | |
"character": 0 | |
}, | |
"end": { | |
"line": 2, | |
"character": 18 | |
} | |
}, | |
"kind": 2, | |
"name": "import Daml.Script", | |
"range": { | |
"start": { | |
"line": 2, | |
"character": 0 | |
}, | |
"end": { | |
"line": 2, | |
"character": 18 | |
} | |
} | |
} | |
], | |
"name": "imports", | |
"range": { | |
"start": { | |
"line": 2, | |
"character": 0 | |
}, | |
"end": { | |
"line": 2, | |
"character": 18 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 0 | |
}, | |
"end": { | |
"line": 5, | |
"character": 21 | |
} | |
}, | |
"kind": 23, | |
"children": [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 16 | |
}, | |
"end": { | |
"line": 4, | |
"character": 19 | |
} | |
}, | |
"kind": 9, | |
"name": "USD", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 16 | |
}, | |
"end": { | |
"line": 4, | |
"character": 19 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 22 | |
}, | |
"end": { | |
"line": 4, | |
"character": 25 | |
} | |
}, | |
"kind": 9, | |
"name": "EUR", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 22 | |
}, | |
"end": { | |
"line": 4, | |
"character": 25 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 28 | |
}, | |
"end": { | |
"line": 4, | |
"character": 31 | |
} | |
}, | |
"kind": 9, | |
"name": "GBP", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 28 | |
}, | |
"end": { | |
"line": 4, | |
"character": 31 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 34 | |
}, | |
"end": { | |
"line": 4, | |
"character": 37 | |
} | |
}, | |
"kind": 9, | |
"name": "CHF", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 34 | |
}, | |
"end": { | |
"line": 4, | |
"character": 37 | |
} | |
} | |
} | |
], | |
"name": "Currency", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 0 | |
}, | |
"end": { | |
"line": 5, | |
"character": 21 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 16, | |
"character": 0 | |
}, | |
"end": { | |
"line": 21, | |
"character": 19 | |
} | |
}, | |
"kind": 23, | |
"children": [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 16, | |
"character": 12 | |
}, | |
"end": { | |
"line": 16, | |
"character": 16 | |
} | |
}, | |
"kind": 9, | |
"name": "Cash", | |
"range": { | |
"start": { | |
"line": 16, | |
"character": 12 | |
}, | |
"end": { | |
"line": 21, | |
"character": 19 | |
} | |
} | |
} | |
], | |
"name": "Cash", | |
"range": { | |
"start": { | |
"line": 16, | |
"character": 0 | |
}, | |
"end": { | |
"line": 21, | |
"character": 19 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 38, | |
"character": 8 | |
} | |
}, | |
"kind": 12, | |
"name": "test", | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 38, | |
"character": 8 | |
} | |
} | |
} | |
], | |
"name": "BikeShop", | |
"range": { | |
"start": { | |
"line": 0, | |
"character": 0 | |
}, | |
"end": { | |
"line": 9223372036854776000, | |
"character": 0 | |
} | |
} | |
} | |
] | |
[Trace - 9:26:46 AM] Received request 'client/registerCapability - (0)'. | |
Params: { | |
"registrations": [ | |
{ | |
"registerOptions": { | |
"watchers": [ | |
{ | |
"kind": 5, | |
"globPattern": "/Users/jeremyroussel/code/bikeshopdemo/Prelude.daml" | |
} | |
] | |
}, | |
"method": "workspace/didChangeWatchedFiles", | |
"id": "/Users/jeremyroussel/code/bikeshopdemo/Prelude.daml" | |
} | |
] | |
} | |
[Trace - 9:26:46 AM] Sending response 'client/registerCapability - (0)'. Processing request took 0ms | |
No result returned. | |
[Trace - 9:26:46 AM] Received request 'client/registerCapability - (1)'. | |
Params: { | |
"registrations": [ | |
{ | |
"registerOptions": { | |
"watchers": [ | |
{ | |
"kind": 5, | |
"globPattern": "/Users/jeremyroussel/code/bikeshopdemo/DA/Internal/Record.daml" | |
} | |
] | |
}, | |
"method": "workspace/didChangeWatchedFiles", | |
"id": "/Users/jeremyroussel/code/bikeshopdemo/DA/Internal/Record.daml" | |
} | |
] | |
} | |
[Trace - 9:26:46 AM] Sending response 'client/registerCapability - (1)'. Processing request took 0ms | |
No result returned. | |
[Trace - 9:26:46 AM] Received request 'client/registerCapability - (2)'. | |
Params: { | |
"registrations": [ | |
{ | |
"registerOptions": { | |
"watchers": [ | |
{ | |
"kind": 5, | |
"globPattern": "/Users/jeremyroussel/code/bikeshopdemo/GHC/Types.daml" | |
} | |
] | |
}, | |
"method": "workspace/didChangeWatchedFiles", | |
"id": "/Users/jeremyroussel/code/bikeshopdemo/GHC/Types.daml" | |
} | |
] | |
} | |
[Trace - 9:26:46 AM] Sending response 'client/registerCapability - (2)'. Processing request took 0ms | |
No result returned. | |
[Trace - 9:26:46 AM] Received request 'client/registerCapability - (3)'. | |
Params: { | |
"registrations": [ | |
{ | |
"registerOptions": { | |
"watchers": [ | |
{ | |
"kind": 5, | |
"globPattern": "/Users/jeremyroussel/code/bikeshopdemo/DA/Internal/Desugar.daml" | |
} | |
] | |
}, | |
"method": "workspace/didChangeWatchedFiles", | |
"id": "/Users/jeremyroussel/code/bikeshopdemo/DA/Internal/Desugar.daml" | |
} | |
] | |
} | |
[Trace - 9:26:46 AM] Sending response 'client/registerCapability - (3)'. Processing request took 0ms | |
No result returned. | |
[Trace - 9:26:46 AM] Received request 'client/registerCapability - (4)'. | |
Params: { | |
"registrations": [ | |
{ | |
"registerOptions": { | |
"watchers": [ | |
{ | |
"kind": 5, | |
"globPattern": "/Users/jeremyroussel/code/bikeshopdemo/DA/Internal/RebindableSyntax.daml" | |
} | |
] | |
}, | |
"method": "workspace/didChangeWatchedFiles", | |
"id": "/Users/jeremyroussel/code/bikeshopdemo/DA/Internal/RebindableSyntax.daml" | |
} | |
] | |
} | |
[Trace - 9:26:46 AM] Sending response 'client/registerCapability - (4)'. Processing request took 0ms | |
No result returned. | |
[Trace - 9:26:46 AM] Received request 'client/registerCapability - (5)'. | |
Params: { | |
"registrations": [ | |
{ | |
"registerOptions": { | |
"watchers": [ | |
{ | |
"kind": 5, | |
"globPattern": "/Users/jeremyroussel/code/bikeshopdemo/Daml/Script.daml" | |
} | |
] | |
}, | |
"method": "workspace/didChangeWatchedFiles", | |
"id": "/Users/jeremyroussel/code/bikeshopdemo/Daml/Script.daml" | |
} | |
] | |
} | |
[Trace - 9:26:46 AM] Sending response 'client/registerCapability - (5)'. Processing request took 0ms | |
No result returned. | |
[Trace - 9:26:46 AM] Sending request 'textDocument/hover - (2)'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml" | |
}, | |
"position": { | |
"line": 8, | |
"character": 6 | |
} | |
} | |
2021-12-15 15:26:46.51 [INFO] [LanguageServer] | |
Hover request at position 9:7 in file: /Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml | |
[Trace - 9:26:46 AM] Received request 'window/workDoneProgress/create - (6)'. | |
Params: { | |
"token": "3" | |
} | |
[Trace - 9:26:46 AM] Sending response 'window/workDoneProgress/create - (6)'. Processing request took 0ms | |
No result returned. | |
[Trace - 9:26:46 AM] Received notification '$/progress'. | |
Params: { | |
"value": { | |
"kind": "begin", | |
"title": "Processing" | |
}, | |
"token": "3" | |
} | |
[Trace - 9:26:46 AM] Received notification '$/progress'. | |
Params: { | |
"value": { | |
"kind": "end" | |
}, | |
"token": "3" | |
} | |
2021-12-15 15:26:46.54 [DEBUG] [LanguageServer] | |
[Trace - 9:26:46 AM] Sending notification '$/cancelRequest'. | |
Params: { | |
"id": 2 | |
} | |
Finishing shakeRun (took 0.12s, exception: AsyncCancelled) | |
2021-12-15 15:26:46.54 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.03s) | |
[Trace - 9:26:46 AM] Received request 'window/workDoneProgress/create - (7)'. | |
Params: { | |
"token": "4" | |
} | |
[Trace - 9:26:46 AM] Sending response 'window/workDoneProgress/create - (7)'. Processing request took 0ms | |
No result returned. | |
[Trace - 9:26:46 AM] Received notification '$/progress'. | |
Params: { | |
"value": { | |
"kind": "begin", | |
"title": "Processing" | |
}, | |
"token": "4" | |
} | |
[Trace - 9:26:46 AM] Sending request 'textDocument/codeLens - (3)'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml" | |
} | |
} | |
[Trace - 9:26:46 AM] Received notification '$/progress'. | |
Params: { | |
"value": { | |
"kind": "report", | |
"message": "0/2" | |
}, | |
"token": "4" | |
} | |
[Trace - 9:26:46 AM] Sending request 'textDocument/hover - (4)'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml" | |
}, | |
"position": { | |
"line": 11, | |
"character": 22 | |
} | |
} | |
[Trace - 9:26:47 AM] Sending notification '$/cancelRequest'. | |
Params: { | |
"id": 4 | |
} | |
[Trace - 9:26:47 AM] Received response 'textDocument/hover - (2)' in 602ms. | |
No result returned. | |
2021-12-15 15:26:47.09 [DEBUG][Trace - 9:26:47 AM] Received notification '$/progress'. | |
Params: { | |
"value": { | |
"kind": "end" | |
}, | |
"token": "4" | |
} | |
[LanguageServer] | |
Finishing shakeRun (took 0.55s, exception: AsyncCancelled) | |
2021-12-15 15:26:47.09 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
2021-12-15 15:26:47.10 [INFO] [LanguageServer] | |
CodeLens request for file: /Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml | |
2021-12-15 15:26:47.10 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, exception: AsyncCancelled) | |
2021-12-15 15:26:47.10 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
2021-12-15 15:26:47.11 [INFO] [LanguageServer] | |
Hover request at position 12:23 in file: /Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml | |
2021-12-15 15:26:47.12 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.02s, exception: AsyncCancelled) | |
2021-12-15 15:26:47.12 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
[Trace - 9:26:47 AM] Received response 'textDocument/codeLens - (3)' in 453ms. | |
Result: [ | |
{ | |
"command": { | |
"command": "typesignature.add", | |
"arguments": [ | |
{ | |
"changes": { | |
"file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml": [ | |
{ | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 23, | |
"character": 0 | |
} | |
}, | |
"newText": "BikeShop.test : Script ()\n" | |
} | |
] | |
} | |
} | |
], | |
"title": "BikeShop.test : Script ()" | |
}, | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 23, | |
"character": 4 | |
} | |
} | |
}, | |
{ | |
"command": { | |
"command": "daml.showResource", | |
"arguments": [ | |
"Script: test", | |
"daml://compiler?file=%2FUsers%2Fjeremyroussel%2Fcode%2Fbikeshopdemo%2FBikeShop.daml&top-level-decl=test" | |
], | |
"title": "Script results" | |
}, | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 23, | |
"character": 4 | |
} | |
} | |
} | |
] | |
[Trace - 9:26:47 AM] Received response 'textDocument/hover - (4)' in 128ms. | |
No result returned. | |
[Trace - 9:26:47 AM] Received request 'window/workDoneProgress/create - (8)'. | |
Params: { | |
"token": "5" | |
} | |
[Trace - 9:26:47 AM] Sending response 'window/workDoneProgress/create - (8)'. Processing request took 0ms | |
No result returned. | |
[Trace - 9:26:47 AM] Received notification '$/progress'. | |
Params: { | |
"value": { | |
"kind": "begin", | |
"title": "Processing" | |
}, | |
"token": "5" | |
} | |
[Trace - 9:26:47 AM] Received notification '$/progress'. | |
Params: { | |
"value": { | |
"kind": "report", | |
"message": "0/2" | |
}, | |
"token": "5" | |
} | |
2021-12-15 15:26:51[Trace - 9:26:51 AM] Received notification '$/progress'. | |
Params: { | |
"value": { | |
"kind": "end" | |
}, | |
"token": "5" | |
} | |
.41 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 4.29s, completed) | |
[Trace - 9:26:58 AM] Sending notification 'textDocument/didOpen'. | |
Params: { | |
"textDocument": { | |
"uri": "daml://compiler?file=%2FUsers%2Fjeremyroussel%2Fcode%2Fbikeshopdemo%2FBikeShop.daml&top-level-decl=test", | |
"languageId": "", | |
"version": 0, | |
"text": "" | |
} | |
} | |
2021-12-15 15:26:58.67 [INFO] [LanguageServer] | |
Opened virtual resource: VRScenario {vrScenarioFile = NormalizedFilePath "/Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml", vrScenarioName = "test"} | |
2021-12-15 15:26:58.67 [DEBUG] [LanguageServer] | |
Set vrs of interest to: [VRScenario {vrScenarioFile = NormalizedFilePath "/Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml", vrScenarioName = "test"}] | |
2021-12-15 15:26:58.67 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
[Trace - 9:26:58 AM] Received notification 'daml/virtualResource/didChange'. | |
Params: { | |
"contents": "<!DOCTYPE HTML>\n<html><head><style>.da-code { font-family: monospace; line-height: 1.1em; white-space: pre; padding: 10px; position: absolute; width: 100%; height: 100%; } .da-hl-error { color: var(--vscode-terminal-ansiBrightRed); } .da-hl-warning { color: var(--vscode-terminal-ansiYellow); } .da-hl-operator { color: var(--vscode-terminal-ansiRed); } .da-hl-keyword { color: var(--vscode-terminal-ansiGreen); } .da-hl-type { color: var(--vscode-terminal-ansiBrightYellow); } .da-hl-comment { color: var(--vscode-terminal-ansiWhite); } .da-hl-parens { color: var(--vscode-terminal-ansiYellow); } .da-hl-predicate { color: var(--vscode-terminal-ansiMagenta); } .da-hl-constructor { color: var(--vscode-terminal-ansiBrightBlue); } .da-hl-proof-step { color: var(--vscode-terminal-ansiBlue); } .da-hl-link { color: var(--link-color); text-decoration: underline; cursor: pointer; } .da-hl-nobr { white-space: pre; }</style><script src=\"$webviewSrc\"></script><link rel=\"stylesheet\" href=\"$webviewCss\"></head><body class=\"hide_note\"><div class=\"note\" id=\"note\"> </div><div class=\"da-code transaction\">Transactions: <br><br>Active contracts: <br><br>Return value: {}<br><br><br><br></div></body></html>", | |
"uri": "daml://compiler?file=%2FUsers%2Fjeremyroussel%2Fcode%2Fbikeshopdemo%2FBikeShop.daml&top-level-decl=test" | |
} | |
2021-12-15 15:26:58.70 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.03s, completed) | |
[Trace - 9:27:16 AM] Sending request 'textDocument/hover - (5)'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml" | |
}, | |
"position": { | |
"line": 25, | |
"character": 30 | |
} | |
} | |
2021-12-15 15:27:16.55 [INFO] [LanguageServer] | |
Hover request at position 26:31 in file: /Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml | |
2021-12-15 15:27:16.55 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
[Trace - 9:27:16 AM] Received response 'textDocument/hover - (5)' in 10ms. | |
Result: { | |
"contents": { | |
"kind": "markdown", | |
"value": "```daml\n\"Martin\"\n: Text\n```\n* * *\n" | |
}, | |
"range": { | |
"start": { | |
"line": 25, | |
"character": 26 | |
}, | |
"end": { | |
"line": 25, | |
"character": 34 | |
} | |
} | |
} | |
2021-12-15 15:27:16.55 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.01s, completed) | |
[Trace - 9:27:36 AM] Sending request 'textDocument/codeAction - (6)'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml" | |
}, | |
"range": { | |
"start": { | |
"line": 0, | |
"character": 0 | |
}, | |
"end": { | |
"line": 0, | |
"character": 0 | |
} | |
}, | |
"context": { | |
"diagnostics": [] | |
} | |
} | |
[Trace - 9:27:36 AM] Sending request 'textDocument/documentSymbol - (7)'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml" | |
} | |
} | |
2021-12-15 15:27:36.19 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
2021-12-15 15:27:36.19 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, exception: AsyncCancelled) | |
2021-12-15 15:27:36.19 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
[Trace - 9:27:36 AM] Received response 'textDocument/codeAction - (6)' in 34ms. | |
Result: [] | |
2021-12-15 15:27:36.22 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.03s, exception: AsyncCancelled) | |
2021-12-15 15:27:36.23 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
[Trace - 9:27:36 AM] Received response 'textDocument/documentSymbol - (7)' in 36ms. | |
Result: [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 0, | |
"character": 7 | |
}, | |
"end": { | |
"line": 0, | |
"character": 15 | |
} | |
}, | |
"kind": 1, | |
"children": [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 2, | |
"character": 0 | |
}, | |
"end": { | |
"line": 2, | |
"character": 18 | |
} | |
}, | |
"kind": 2, | |
"children": [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 2, | |
"character": 0 | |
}, | |
"end": { | |
"line": 2, | |
"character": 18 | |
} | |
}, | |
"kind": 2, | |
"name": "import Daml.Script", | |
"range": { | |
"start": { | |
"line": 2, | |
"character": 0 | |
}, | |
"end": { | |
"line": 2, | |
"character": 18 | |
} | |
} | |
} | |
], | |
"name": "imports", | |
"range": { | |
"start": { | |
"line": 2, | |
"character": 0 | |
}, | |
"end": { | |
"line": 2, | |
"character": 18 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 0 | |
}, | |
"end": { | |
"line": 5, | |
"character": 21 | |
} | |
}, | |
"kind": 23, | |
"children": [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 16 | |
}, | |
"end": { | |
"line": 4, | |
"character": 19 | |
} | |
}, | |
"kind": 9, | |
"name": "USD", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 16 | |
}, | |
"end": { | |
"line": 4, | |
"character": 19 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 22 | |
}, | |
"end": { | |
"line": 4, | |
"character": 25 | |
} | |
}, | |
"kind": 9, | |
"name": "EUR", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 22 | |
}, | |
"end": { | |
"line": 4, | |
"character": 25 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 28 | |
}, | |
"end": { | |
"line": 4, | |
"character": 31 | |
} | |
}, | |
"kind": 9, | |
"name": "GBP", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 28 | |
}, | |
"end": { | |
"line": 4, | |
"character": 31 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 34 | |
}, | |
"end": { | |
"line": 4, | |
"character": 37 | |
} | |
}, | |
"kind": 9, | |
"name": "CHF", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 34 | |
}, | |
"end": { | |
"line": 4, | |
"character": 37 | |
} | |
} | |
} | |
], | |
"name": "Currency", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 0 | |
}, | |
"end": { | |
"line": 5, | |
"character": 21 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 16, | |
"character": 0 | |
}, | |
"end": { | |
"line": 21, | |
"character": 19 | |
} | |
}, | |
"kind": 23, | |
"children": [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 16, | |
"character": 12 | |
}, | |
"end": { | |
"line": 16, | |
"character": 16 | |
} | |
}, | |
"kind": 9, | |
"name": "Cash", | |
"range": { | |
"start": { | |
"line": 16, | |
"character": 12 | |
}, | |
"end": { | |
"line": 21, | |
"character": 19 | |
} | |
} | |
} | |
], | |
"name": "Cash", | |
"range": { | |
"start": { | |
"line": 16, | |
"character": 0 | |
}, | |
"end": { | |
"line": 21, | |
"character": 19 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 38, | |
"character": 8 | |
} | |
}, | |
"kind": 12, | |
"name": "test", | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 38, | |
"character": 8 | |
} | |
} | |
} | |
], | |
"name": "BikeShop", | |
"range": { | |
"start": { | |
"line": 0, | |
"character": 0 | |
}, | |
"end": { | |
"line": 9223372036854776000, | |
"character": 0 | |
} | |
} | |
} | |
] | |
2021-12-15 15:27:36.23 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, completed) | |
[Trace - 9:27:36 AM] Sending request 'textDocument/codeLens - (8)'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml" | |
} | |
} | |
2021-12-15 15:27:36.77 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
2021-12-15 15:27:36.78 [INFO] [LanguageServer] | |
CodeLens request for file: /Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml | |
2021-12-15 15:27:36.78 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, exception: AsyncCancelled) | |
2021-12-15 15:27:36.78 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
2021-12-15 15:27:36[Trace - 9:27:36 AM] Received response 'textDocument/codeLens - (8)' in 11ms. | |
Result: [ | |
{ | |
"command": { | |
"command": "typesignature.add", | |
"arguments": [ | |
{ | |
"changes": { | |
"file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml": [ | |
{ | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 23, | |
"character": 0 | |
} | |
}, | |
"newText": "BikeShop.test : Script ()\n" | |
} | |
] | |
} | |
} | |
], | |
"title": "BikeShop.test : Script ()" | |
}, | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 23, | |
"character": 4 | |
} | |
} | |
}, | |
{ | |
"command": { | |
"command": "daml.showResource", | |
"arguments": [ | |
"Script: test", | |
"daml://compiler?file=%2FUsers%2Fjeremyroussel%2Fcode%2Fbikeshopdemo%2FBikeShop.daml&top-level-decl=test" | |
], | |
"title": "Script results" | |
}, | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 23, | |
"character": 4 | |
} | |
} | |
} | |
] | |
.78 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, completed) | |
[Trace - 9:27:40 AM] Sending request 'textDocument/hover - (9)'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml" | |
}, | |
"position": { | |
"line": 24, | |
"character": 31 | |
} | |
} | |
2021-12-15 15:27:40.26 [INFO] [LanguageServer] | |
Hover request at position 25:32 in file: /Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml | |
2021-12-15 15:27:40.26 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
[Trace - 9:27:40 AM] Received response 'textDocument/hover - (9)' in 7ms. | |
Result: { | |
"contents": { | |
"kind": "markdown", | |
"value": "```daml\n\"SwissBank\"\n: Text\n```\n* * *\n" | |
}, | |
"range": { | |
"start": { | |
"line": 24, | |
"character": 24 | |
}, | |
"end": { | |
"line": 24, | |
"character": 35 | |
} | |
} | |
} | |
2021-12-15 15:27:40.26 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, completed) | |
[Trace - 9:27:40 AM] Sending request 'textDocument/hover - (10)'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml" | |
}, | |
"position": { | |
"line": 24, | |
"character": 29 | |
} | |
} | |
2021-12-15 15:27:40.54 [INFO] [LanguageServer] | |
Hover request at position 25:30 in file: /Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml | |
2021-12-15 15:27:40.54 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
20[Trace - 9:27:40 AM] Received response 'textDocument/hover - (10)' in 4ms. | |
Result: { | |
"contents": { | |
"kind": "markdown", | |
"value": "```daml\n\"SwissBank\"\n: Text\n```\n* * *\n" | |
}, | |
"range": { | |
"start": { | |
"line": 24, | |
"character": 24 | |
}, | |
"end": { | |
"line": 24, | |
"character": 35 | |
} | |
} | |
} | |
21-12-15 15:27:40.54 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, completed) | |
[Trace - 9:27:44 AM] Sending request 'textDocument/codeAction - (11)'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml" | |
}, | |
"range": { | |
"start": { | |
"line": 33, | |
"character": 22 | |
}, | |
"end": { | |
"line": 33, | |
"character": 22 | |
} | |
}, | |
"context": { | |
"diagnostics": [] | |
} | |
} | |
2021-12-15 15:27:44.75 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
2021-12-15 15:27:44.75 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, exception: AsyncCancelled) | |
2021-12-15 15:27:44.76 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
[Trace - 9:27:44 AM] Received response 'textDocument/codeAction - (11)' in 6ms. | |
Result: [] | |
2021-12-15 15:27:44.76 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, completed) | |
[Trace - 9:27:44 AM] Sending request 'textDocument/codeLens - (12)'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml" | |
} | |
} | |
2021-12-15 15:27:44.79 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
2021-12-15 15:27:44.79 [INFO] [LanguageServer] | |
CodeLens request for file: /Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml | |
2021-12-15 15:27:44.79 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, exception: AsyncCancelled) | |
2021-12-15 15:27:44.79 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
[Trace - 9:27:44 AM] Received response 'textDocument/codeLens - (12)' in 4ms. | |
Result: [ | |
{ | |
"command": { | |
"command": "typesignature.add", | |
"arguments": [ | |
{ | |
"changes": { | |
"file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml": [ | |
{ | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 23, | |
"character": 0 | |
} | |
}, | |
"newText": "BikeShop.test : Script ()\n" | |
} | |
] | |
} | |
} | |
], | |
"title": "BikeShop.test : Script ()" | |
}, | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 23, | |
"character": 4 | |
} | |
} | |
}, | |
{ | |
"command": { | |
"command": "daml.showResource", | |
"arguments": [ | |
"Script: test", | |
"daml://compiler?file=%2FUsers%2Fjeremyroussel%2Fcode%2Fbikeshopdemo%2FBikeShop.daml&top-level-decl=test" | |
], | |
"title": "Script results" | |
}, | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 23, | |
"character": 4 | |
} | |
} | |
} | |
] | |
2021-12-15 15:27:44.79 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, completed) | |
[Trace - 9:27:46 AM] Sending request 'daml/keepAlive - (13)'. | |
[Trace - 9:27:46 AM] Received response 'daml/keepAlive - (13)' in 2ms. | |
No result returned. | |
[Trace - 9:27:47 AM] Sending notification 'textDocument/didChange'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml", | |
"version": 2 | |
}, | |
"contentChanges": [ | |
{ | |
"range": { | |
"start": { | |
"line": 33, | |
"character": 22 | |
}, | |
"end": { | |
"line": 33, | |
"character": 22 | |
} | |
}, | |
"rangeLength": 0, | |
"text": "\n " | |
} | |
] | |
} | |
2021-12-15 15:27:47.17 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
2021-12-15 15:27:47.17 [INFO] [LanguageServer] | |
Modified text document: file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml | |
[Trace - 9:27:47 AM] Received notification 'textDocument/publishDiagnostics'. | |
Params: { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml", | |
"diagnostics": [ | |
{ | |
"severity": 1, | |
"range": { | |
"start": { | |
"line": 0, | |
"character": 0 | |
}, | |
"end": { | |
"line": 1, | |
"character": 0 | |
} | |
}, | |
"source": "compiler", | |
"message": "ScenarioBackendException {scenarioNote = \"Failed to create scenario context\", scenarioBackendError = BErrorClient (ClientIOError GRPCIOTimeout)}" | |
} | |
], | |
"version": 2 | |
} | |
2021-12-15 15:27:[Trace - 9:27:47 AM] Received notification 'daml/virtualResource/note'. | |
Params: { | |
"note": "<!DOCTYPE HTML>\n<html><span class=\"da-hl-warning\">This scenario no longer exists in the source file: /Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml</span></html>", | |
"uri": "daml://compiler?file=%2FUsers%2Fjeremyroussel%2Fcode%2Fbikeshopdemo%2FBikeShop.daml&top-level-decl=test" | |
} | |
47.19 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.02s, completed) | |
[Trace - 9:27:47 AM] Sending request 'textDocument/codeLens - (14)'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml" | |
} | |
} | |
2021-12-15 15:27:47.39 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
2021-12-15 15:27:47.40 [INFO] [LanguageServer] | |
CodeLens request for file: /Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml | |
2021-12-15 15:27:47.40 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, completed) | |
2021-12-15 15:27:47.40 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
2021-12-15 15:27:[Trace - 9:27:47 AM] Received response 'textDocument/codeLens - (14)' in 6ms. | |
Result: [ | |
{ | |
"command": { | |
"command": "typesignature.add", | |
"arguments": [ | |
{ | |
"changes": { | |
"file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml": [ | |
{ | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 23, | |
"character": 0 | |
} | |
}, | |
"newText": "BikeShop.test : Script ()\n" | |
} | |
] | |
} | |
} | |
], | |
"title": "BikeShop.test : Script ()" | |
}, | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 23, | |
"character": 4 | |
} | |
} | |
}, | |
{ | |
"command": { | |
"command": "daml.showResource", | |
"arguments": [ | |
"Script: test", | |
"daml://compiler?file=%2FUsers%2Fjeremyroussel%2Fcode%2Fbikeshopdemo%2FBikeShop.daml&top-level-decl=test" | |
], | |
"title": "Script results" | |
}, | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 23, | |
"character": 4 | |
} | |
} | |
} | |
] | |
47.40 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, completed) | |
[Trace - 9:27:47 AM] Sending request 'textDocument/documentSymbol - (15)'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml" | |
} | |
} | |
2021-12-15 15:27:47.49 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
[Trace - 9:27:47 AM] Received response 'textDocument/documentSymbol - (15)' in 2ms. | |
Result: [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 0, | |
"character": 7 | |
}, | |
"end": { | |
"line": 0, | |
"character": 15 | |
} | |
}, | |
"kind": 1, | |
"children": [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 2, | |
"character": 0 | |
}, | |
"end": { | |
"line": 2, | |
"character": 18 | |
} | |
}, | |
"kind": 2, | |
"children": [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 2, | |
"character": 0 | |
}, | |
"end": { | |
"line": 2, | |
"character": 18 | |
} | |
}, | |
"kind": 2, | |
"name": "import Daml.Script", | |
"range": { | |
"start": { | |
"line": 2, | |
"character": 0 | |
}, | |
"end": { | |
"line": 2, | |
"character": 18 | |
} | |
} | |
} | |
], | |
"name": "imports", | |
"range": { | |
"start": { | |
"line": 2, | |
"character": 0 | |
}, | |
"end": { | |
"line": 2, | |
"character": 18 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 0 | |
}, | |
"end": { | |
"line": 5, | |
"character": 21 | |
} | |
}, | |
"kind": 23, | |
"children": [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 16 | |
}, | |
"end": { | |
"line": 4, | |
"character": 19 | |
} | |
}, | |
"kind": 9, | |
"name": "USD", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 16 | |
}, | |
"end": { | |
"line": 4, | |
"character": 19 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 22 | |
}, | |
"end": { | |
"line": 4, | |
"character": 25 | |
} | |
}, | |
"kind": 9, | |
"name": "EUR", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 22 | |
}, | |
"end": { | |
"line": 4, | |
"character": 25 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 28 | |
}, | |
"end": { | |
"line": 4, | |
"character": 31 | |
} | |
}, | |
"kind": 9, | |
"name": "GBP", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 28 | |
}, | |
"end": { | |
"line": 4, | |
"character": 31 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 34 | |
}, | |
"end": { | |
"line": 4, | |
"character": 37 | |
} | |
}, | |
"kind": 9, | |
"name": "CHF", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 34 | |
}, | |
"end": { | |
"line": 4, | |
"character": 37 | |
} | |
} | |
} | |
], | |
"name": "Currency", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 0 | |
}, | |
"end": { | |
"line": 5, | |
"character": 21 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 16, | |
"character": 0 | |
}, | |
"end": { | |
"line": 21, | |
"character": 19 | |
} | |
}, | |
"kind": 23, | |
"children": [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 16, | |
"character": 12 | |
}, | |
"end": { | |
"line": 16, | |
"character": 16 | |
} | |
}, | |
"kind": 9, | |
"name": "Cash", | |
"range": { | |
"start": { | |
"line": 16, | |
"character": 12 | |
}, | |
"end": { | |
"line": 21, | |
"character": 19 | |
} | |
} | |
} | |
], | |
"name": "Cash", | |
"range": { | |
"start": { | |
"line": 16, | |
"character": 0 | |
}, | |
"end": { | |
"line": 21, | |
"character": 19 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 39, | |
"character": 8 | |
} | |
}, | |
"kind": 12, | |
"name": "test", | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 39, | |
"character": 8 | |
} | |
} | |
} | |
], | |
"name": "BikeShop", | |
"range": { | |
"start": { | |
"line": 0, | |
"character": 0 | |
}, | |
"end": { | |
"line": 9223372036854776000, | |
"character": 0 | |
} | |
} | |
} | |
] | |
2021-12-15 15:27:47.49 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, completed) | |
[Trace - 9:27:47 AM] Sending notification 'textDocument/didChange'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml", | |
"version": 3 | |
}, | |
"contentChanges": [ | |
{ | |
"range": { | |
"start": { | |
"line": 34, | |
"character": 6 | |
}, | |
"end": { | |
"line": 34, | |
"character": 8 | |
} | |
}, | |
"rangeLength": 2, | |
"text": "" | |
} | |
] | |
} | |
2021-12-15 15:27:47.85 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
2021-12-15 15:27:47.85 [INFO] [LanguageServer] | |
Modified text document: file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml | |
[Trace - 9:27:47 AM] Received notification 'daml/virtualResource/note'. | |
Params: { | |
"note": "<!DOCTYPE HTML>\n<html><span class=\"da-hl-warning\">This scenario no longer exists in the source file: /Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml</span></html>", | |
"uri": "daml://compiler?file=%2FUsers%2Fjeremyroussel%2Fcode%2Fbikeshopdemo%2FBikeShop.daml&top-level-decl=test" | |
} | |
2021-12-15 15:27:47.89 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.03s, completed) | |
[Trace - 9:27:48 AM] Sending request 'textDocument/codeLens - (16)'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml" | |
} | |
} | |
2021-12-15 15:27:48.11 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
2021-12-15 15:27:48.11 [INFO] [LanguageServer] | |
CodeLens request for file: /Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml | |
2021-12-15 15:27:48.11 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, exception: AsyncCancelled) | |
2021-12-15 15:27:48.11 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
[Trace - 9:27:48 AM] Received response 'textDocument/codeLens - (16)' in 11ms. | |
Result: [ | |
{ | |
"command": { | |
"command": "typesignature.add", | |
"arguments": [ | |
{ | |
"changes": { | |
"file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml": [ | |
{ | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 23, | |
"character": 0 | |
} | |
}, | |
"newText": "BikeShop.test : Script ()\n" | |
} | |
] | |
} | |
} | |
], | |
"title": "BikeShop.test : Script ()" | |
}, | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 23, | |
"character": 4 | |
} | |
} | |
}, | |
{ | |
"command": { | |
"command": "daml.showResource", | |
"arguments": [ | |
"Script: test", | |
"daml://compiler?file=%2FUsers%2Fjeremyroussel%2Fcode%2Fbikeshopdemo%2FBikeShop.daml&top-level-decl=test" | |
], | |
"title": "Script results" | |
}, | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 23, | |
"character": 4 | |
} | |
} | |
} | |
] | |
2021-12-15 15:27:48.12 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, completed) | |
[Trace - 9:27:48 AM] Sending notification 'textDocument/didChange'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml", | |
"version": 4 | |
}, | |
"contentChanges": [ | |
{ | |
"range": { | |
"start": { | |
"line": 34, | |
"character": 4 | |
}, | |
"end": { | |
"line": 34, | |
"character": 6 | |
} | |
}, | |
"rangeLength": 2, | |
"text": "" | |
} | |
] | |
} | |
2021-12-15 15:27:48.12 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
2021-12-15 15:27:48.12 [INFO] [LanguageServer] | |
Modified text document: file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml | |
[Trace - 9:27:48 AM] Received notification 'daml/virtualResource/note'. | |
Params: { | |
"note": "<!DOCTYPE HTML>\n<html><span class=\"da-hl-warning\">This scenario no longer exists in the source file: /Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml</span></html>", | |
"uri": "daml://compiler?file=%2FUsers%2Fjeremyroussel%2Fcode%2Fbikeshopdemo%2FBikeShop.daml&top-level-decl=test" | |
} | |
2021-12-15 15:27:48.15 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.03s, completed) | |
[Trace - 9:27:48 AM] Sending request 'textDocument/codeLens - (17)'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml" | |
} | |
} | |
2021-12-15 15:27:48.38 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
2021-12-15 15:27:48.38 [INFO] [LanguageServer] | |
CodeLens request for file: /Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml | |
2021-12-15 15:27:48.39 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, exception: AsyncCancelled) | |
2021-12-15 15:27:48.39 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
[Trace - 9:27:48 AM] Received response 'textDocument/codeLens - (17)' in 10ms. | |
Result: [ | |
{ | |
"command": { | |
"command": "typesignature.add", | |
"arguments": [ | |
{ | |
"changes": { | |
"file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml": [ | |
{ | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 23, | |
"character": 0 | |
} | |
}, | |
"newText": "BikeShop.test : Script ()\n" | |
} | |
] | |
} | |
} | |
], | |
"title": "BikeShop.test : Script ()" | |
}, | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 23, | |
"character": 4 | |
} | |
} | |
}, | |
{ | |
"command": { | |
"command": "daml.showResource", | |
"arguments": [ | |
"Script: test", | |
"daml://compiler?file=%2FUsers%2Fjeremyroussel%2Fcode%2Fbikeshopdemo%2FBikeShop.daml&top-level-decl=test" | |
], | |
"title": "Script results" | |
}, | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 23, | |
"character": 4 | |
} | |
} | |
} | |
] | |
2021-12-15 15:27:48.39 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, completed) | |
[Trace - 9:27:48 AM] Sending notification 'textDocument/didChange'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml", | |
"version": 5 | |
}, | |
"contentChanges": [ | |
{ | |
"range": { | |
"start": { | |
"line": 34, | |
"character": 2 | |
}, | |
"end": { | |
"line": 34, | |
"character": 4 | |
} | |
}, | |
"rangeLength": 2, | |
"text": "" | |
} | |
] | |
} | |
2021-12-15 15:27:48.47 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
2021-12-15 15:27:48.47 [INFO] [LanguageServer] | |
Modified text document: file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml | |
[Trace - 9:27:48 AM] Received notification 'daml/virtualResource/note'. | |
Params: { | |
"note": "<!DOCTYPE HTML>\n<html><span class=\"da-hl-warning\">This scenario no longer exists in the source file: /Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml</span></html>", | |
"uri": "daml://compiler?file=%2FUsers%2Fjeremyroussel%2Fcode%2Fbikeshopdemo%2FBikeShop.daml&top-level-decl=test" | |
} | |
2021-12-15 15:27:48.50 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.03s, completed) | |
[Trace - 9:27:48 AM] Sending request 'textDocument/codeLens - (18)'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml" | |
} | |
} | |
2021-12-15 15:27:48.72 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
2021-12-15 15:27:48.72 [INFO] [LanguageServer] | |
CodeLens request for file: /Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml | |
2021-12-15 15:27:48.72 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, exception: AsyncCancelled) | |
2021-12-15 15:27:48.73 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
[Trace - 9:27:48 AM] Received response 'textDocument/codeLens - (18)' in 13ms. | |
Result: [ | |
{ | |
"command": { | |
"command": "typesignature.add", | |
"arguments": [ | |
{ | |
"changes": { | |
"file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml": [ | |
{ | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 23, | |
"character": 0 | |
} | |
}, | |
"newText": "BikeShop.test : Script ()\n" | |
} | |
] | |
} | |
} | |
], | |
"title": "BikeShop.test : Script ()" | |
}, | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 23, | |
"character": 4 | |
} | |
} | |
}, | |
{ | |
"command": { | |
"command": "daml.showResource", | |
"arguments": [ | |
"Script: test", | |
"daml://compiler?file=%2FUsers%2Fjeremyroussel%2Fcode%2Fbikeshopdemo%2FBikeShop.daml&top-level-decl=test" | |
], | |
"title": "Script results" | |
}, | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 23, | |
"character": 4 | |
} | |
} | |
} | |
] | |
2021-12-15 15:27:48.73 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, completed) | |
[Trace - 9:27:48 AM] Sending request 'textDocument/documentSymbol - (19)'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml" | |
} | |
} | |
2021-12-15 15:27:48.82 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
[Trace - 9:27:48 AM] Received response 'textDocument/documentSymbol - (19)' in 6ms. | |
Result: [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 0, | |
"character": 7 | |
}, | |
"end": { | |
"line": 0, | |
"character": 15 | |
} | |
}, | |
"kind": 1, | |
"children": [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 2, | |
"character": 0 | |
}, | |
"end": { | |
"line": 2, | |
"character": 18 | |
} | |
}, | |
"kind": 2, | |
"children": [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 2, | |
"character": 0 | |
}, | |
"end": { | |
"line": 2, | |
"character": 18 | |
} | |
}, | |
"kind": 2, | |
"name": "import Daml.Script", | |
"range": { | |
"start": { | |
"line": 2, | |
"character": 0 | |
}, | |
"end": { | |
"line": 2, | |
"character": 18 | |
} | |
} | |
} | |
], | |
"name": "imports", | |
"range": { | |
"start": { | |
"line": 2, | |
"character": 0 | |
}, | |
"end": { | |
"line": 2, | |
"character": 18 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 0 | |
}, | |
"end": { | |
"line": 5, | |
"character": 21 | |
} | |
}, | |
"kind": 23, | |
"children": [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 16 | |
}, | |
"end": { | |
"line": 4, | |
"character": 19 | |
} | |
}, | |
"kind": 9, | |
"name": "USD", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 16 | |
}, | |
"end": { | |
"line": 4, | |
"character": 19 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 22 | |
}, | |
"end": { | |
"line": 4, | |
"character": 25 | |
} | |
}, | |
"kind": 9, | |
"name": "EUR", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 22 | |
}, | |
"end": { | |
"line": 4, | |
"character": 25 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 28 | |
}, | |
"end": { | |
"line": 4, | |
"character": 31 | |
} | |
}, | |
"kind": 9, | |
"name": "GBP", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 28 | |
}, | |
"end": { | |
"line": 4, | |
"character": 31 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 34 | |
}, | |
"end": { | |
"line": 4, | |
"character": 37 | |
} | |
}, | |
"kind": 9, | |
"name": "CHF", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 34 | |
}, | |
"end": { | |
"line": 4, | |
"character": 37 | |
} | |
} | |
} | |
], | |
"name": "Currency", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 0 | |
}, | |
"end": { | |
"line": 5, | |
"character": 21 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 16, | |
"character": 0 | |
}, | |
"end": { | |
"line": 21, | |
"character": 19 | |
} | |
}, | |
"kind": 23, | |
"children": [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 16, | |
"character": 12 | |
}, | |
"end": { | |
"line": 16, | |
"character": 16 | |
} | |
}, | |
"kind": 9, | |
"name": "Cash", | |
"range": { | |
"start": { | |
"line": 16, | |
"character": 12 | |
}, | |
"end": { | |
"line": 21, | |
"character": 19 | |
} | |
} | |
} | |
], | |
"name": "Cash", | |
"range": { | |
"start": { | |
"line": 16, | |
"character": 0 | |
}, | |
"end": { | |
"line": 21, | |
"character": 19 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 39, | |
"character": 8 | |
} | |
}, | |
"kind": 12, | |
"name": "test", | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 39, | |
"character": 8 | |
} | |
} | |
} | |
], | |
"name": "BikeShop", | |
"range": { | |
"start": { | |
"line": 0, | |
"character": 0 | |
}, | |
"end": { | |
"line": 9223372036854776000, | |
"character": 0 | |
} | |
} | |
} | |
] | |
2021-12-15 15:27:48.82 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, completed) | |
[Trace - 9:27:48 AM] Sending notification 'textDocument/didChange'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml", | |
"version": 6 | |
}, | |
"contentChanges": [ | |
{ | |
"range": { | |
"start": { | |
"line": 34, | |
"character": 0 | |
}, | |
"end": { | |
"line": 34, | |
"character": 2 | |
} | |
}, | |
"rangeLength": 2, | |
"text": "" | |
} | |
] | |
} | |
2021-12-15 15:27:48.84 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
2021-12-15 15:27:48.84 [INFO] [LanguageServer] | |
Modified text document: file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml | |
[Trace - 9:27:48 AM] Received notification 'daml/virtualResource/note'. | |
Params: { | |
"note": "<!DOCTYPE HTML>\n<html><span class=\"da-hl-warning\">This scenario no longer exists in the source file: /Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml</span></html>", | |
"uri": "daml://compiler?file=%2FUsers%2Fjeremyroussel%2Fcode%2Fbikeshopdemo%2FBikeShop.daml&top-level-decl=test" | |
} | |
2021-12-15 15:27:48.92 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.07s, completed) | |
[Trace - 9:27:49 AM] Sending request 'textDocument/codeLens - (20)'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml" | |
} | |
} | |
2021-12-15 15:27:49.10 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
2021-12-15 15:27:49.10 [INFO] [LanguageServer] | |
CodeLens request for file: /Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml | |
2021-12-15 15:27:49.10 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, completed) | |
2021-12-15 15:27:49.10 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
[Trace - 9:27:49 AM] Received response 'textDocument/codeLens - (20)' in 9ms. | |
Result: [ | |
{ | |
"command": { | |
"command": "typesignature.add", | |
"arguments": [ | |
{ | |
"changes": { | |
"file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml": [ | |
{ | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 23, | |
"character": 0 | |
} | |
}, | |
"newText": "BikeShop.test : Script ()\n" | |
} | |
] | |
} | |
} | |
], | |
"title": "BikeShop.test : Script ()" | |
}, | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 23, | |
"character": 4 | |
} | |
} | |
}, | |
{ | |
"command": { | |
"command": "daml.showResource", | |
"arguments": [ | |
"Script: test", | |
"daml://compiler?file=%2FUsers%2Fjeremyroussel%2Fcode%2Fbikeshopdemo%2FBikeShop.daml&top-level-decl=test" | |
], | |
"title": "Script results" | |
}, | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 23, | |
"character": 4 | |
} | |
} | |
} | |
] | |
2021-12-15 15:27:49.10 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, completed) | |
[Trace - 9:27:49 AM] Sending request 'textDocument/documentSymbol - (21)'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml" | |
} | |
} | |
2021-12-15 15:27:49.20 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
[Trace - 9:27:49 AM] Received response 'textDocument/documentSymbol - (21)' in 7ms. | |
Result: [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 0, | |
"character": 7 | |
}, | |
"end": { | |
"line": 0, | |
"character": 15 | |
} | |
}, | |
"kind": 1, | |
"children": [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 2, | |
"character": 0 | |
}, | |
"end": { | |
"line": 2, | |
"character": 18 | |
} | |
}, | |
"kind": 2, | |
"children": [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 2, | |
"character": 0 | |
}, | |
"end": { | |
"line": 2, | |
"character": 18 | |
} | |
}, | |
"kind": 2, | |
"name": "import Daml.Script", | |
"range": { | |
"start": { | |
"line": 2, | |
"character": 0 | |
}, | |
"end": { | |
"line": 2, | |
"character": 18 | |
} | |
} | |
} | |
], | |
"name": "imports", | |
"range": { | |
"start": { | |
"line": 2, | |
"character": 0 | |
}, | |
"end": { | |
"line": 2, | |
"character": 18 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 0 | |
}, | |
"end": { | |
"line": 5, | |
"character": 21 | |
} | |
}, | |
"kind": 23, | |
"children": [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 16 | |
}, | |
"end": { | |
"line": 4, | |
"character": 19 | |
} | |
}, | |
"kind": 9, | |
"name": "USD", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 16 | |
}, | |
"end": { | |
"line": 4, | |
"character": 19 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 22 | |
}, | |
"end": { | |
"line": 4, | |
"character": 25 | |
} | |
}, | |
"kind": 9, | |
"name": "EUR", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 22 | |
}, | |
"end": { | |
"line": 4, | |
"character": 25 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 28 | |
}, | |
"end": { | |
"line": 4, | |
"character": 31 | |
} | |
}, | |
"kind": 9, | |
"name": "GBP", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 28 | |
}, | |
"end": { | |
"line": 4, | |
"character": 31 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 34 | |
}, | |
"end": { | |
"line": 4, | |
"character": 37 | |
} | |
}, | |
"kind": 9, | |
"name": "CHF", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 34 | |
}, | |
"end": { | |
"line": 4, | |
"character": 37 | |
} | |
} | |
} | |
], | |
"name": "Currency", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 0 | |
}, | |
"end": { | |
"line": 5, | |
"character": 21 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 16, | |
"character": 0 | |
}, | |
"end": { | |
"line": 21, | |
"character": 19 | |
} | |
}, | |
"kind": 23, | |
"children": [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 16, | |
"character": 12 | |
}, | |
"end": { | |
"line": 16, | |
"character": 16 | |
} | |
}, | |
"kind": 9, | |
"name": "Cash", | |
"range": { | |
"start": { | |
"line": 16, | |
"character": 12 | |
}, | |
"end": { | |
"line": 21, | |
"character": 19 | |
} | |
} | |
} | |
], | |
"name": "Cash", | |
"range": { | |
"start": { | |
"line": 16, | |
"character": 0 | |
}, | |
"end": { | |
"line": 21, | |
"character": 19 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 39, | |
"character": 8 | |
} | |
}, | |
"kind": 12, | |
"name": "test", | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 39, | |
"character": 8 | |
} | |
} | |
} | |
], | |
"name": "BikeShop", | |
"range": { | |
"start": { | |
"line": 0, | |
"character": 0 | |
}, | |
"end": { | |
"line": 9223372036854776000, | |
"character": 0 | |
} | |
} | |
} | |
] | |
2021-12-15 15:27:49.20 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, completed) | |
[Trace - 9:27:49 AM] Sending notification 'textDocument/didChange'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml", | |
"version": 7 | |
}, | |
"contentChanges": [ | |
{ | |
"range": { | |
"start": { | |
"line": 33, | |
"character": 22 | |
}, | |
"end": { | |
"line": 34, | |
"character": 0 | |
} | |
}, | |
"rangeLength": 1, | |
"text": "" | |
} | |
] | |
} | |
2021-12-15 15:27:49.33 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
2021-12-15 15:27:49.33 [INFO] [LanguageServer] | |
Modified text document: file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml | |
[Trace - 9:27:49 AM] Received notification 'daml/virtualResource/note'. | |
Params: { | |
"note": "<!DOCTYPE HTML>\n<html><span class=\"da-hl-warning\">This scenario no longer exists in the source file: /Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml</span></html>", | |
"uri": "daml://compiler?file=%2FUsers%2Fjeremyroussel%2Fcode%2Fbikeshopdemo%2FBikeShop.daml&top-level-decl=test" | |
} | |
2021-12-15 15:27:49.36 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.03s, completed) | |
[Trace - 9:27:49 AM] Sending request 'textDocument/codeLens - (22)'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml" | |
} | |
} | |
[Trace - 9:27:49 AM] Sending request 'textDocument/codeAction - (23)'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml" | |
}, | |
"range": { | |
"start": { | |
"line": 33, | |
"character": 22 | |
}, | |
"end": { | |
"line": 33, | |
"character": 22 | |
} | |
}, | |
"context": { | |
"diagnostics": [] | |
} | |
} | |
2021-12-15 15:27:49.58 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
2021-12-15 15:27:49.59 [INFO] [LanguageServer] | |
CodeLens request for file: /Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml | |
2021-12-15 15:27:49.59 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, exception: AsyncCancelled) | |
2021-12-15 15:27:49.59 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
2021-12-15 15:27:49.59 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, exception: AsyncCancelled) | |
[Trace - 9:27:49 AM] Received response 'textDocument/codeLens - (22)' in 13ms. | |
Result: [ | |
{ | |
"command": { | |
"command": "typesignature.add", | |
"arguments": [ | |
{ | |
"changes": { | |
"file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml": [ | |
{ | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 23, | |
"character": 0 | |
} | |
}, | |
"newText": "BikeShop.test : Script ()\n" | |
} | |
] | |
} | |
} | |
], | |
"title": "BikeShop.test : Script ()" | |
}, | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 23, | |
"character": 4 | |
} | |
} | |
}, | |
{ | |
"command": { | |
"command": "daml.showResource", | |
"arguments": [ | |
"Script: test", | |
"daml://compiler?file=%2FUsers%2Fjeremyroussel%2Fcode%2Fbikeshopdemo%2FBikeShop.daml&top-level-decl=test" | |
], | |
"title": "Script results" | |
}, | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 23, | |
"character": 4 | |
} | |
} | |
} | |
] | |
2021-12-15 15:27:49.60 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
2021-12-15 15:27:49.60 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, exception: AsyncCancelled) | |
2021-12-15 15:27:49.60 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
[Trace - 9:27:49 AM] Received response 'textDocument/codeAction - (23)' in 16ms. | |
Result: [] | |
2021-12-15 15:27:49.60 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, completed) | |
[Trace - 9:27:49 AM] Sending request 'textDocument/documentSymbol - (24)'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml" | |
} | |
} | |
2021-12-15 15:27:49.68 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
[Trace - 9:27:49 AM] Received response 'textDocument/documentSymbol - (24)' in 6ms. | |
Result: [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 0, | |
"character": 7 | |
}, | |
"end": { | |
"line": 0, | |
"character": 15 | |
} | |
}, | |
"kind": 1, | |
"children": [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 2, | |
"character": 0 | |
}, | |
"end": { | |
"line": 2, | |
"character": 18 | |
} | |
}, | |
"kind": 2, | |
"children": [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 2, | |
"character": 0 | |
}, | |
"end": { | |
"line": 2, | |
"character": 18 | |
} | |
}, | |
"kind": 2, | |
"name": "import Daml.Script", | |
"range": { | |
"start": { | |
"line": 2, | |
"character": 0 | |
}, | |
"end": { | |
"line": 2, | |
"character": 18 | |
} | |
} | |
} | |
], | |
"name": "imports", | |
"range": { | |
"start": { | |
"line": 2, | |
"character": 0 | |
}, | |
"end": { | |
"line": 2, | |
"character": 18 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 0 | |
}, | |
"end": { | |
"line": 5, | |
"character": 21 | |
} | |
}, | |
"kind": 23, | |
"children": [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 16 | |
}, | |
"end": { | |
"line": 4, | |
"character": 19 | |
} | |
}, | |
"kind": 9, | |
"name": "USD", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 16 | |
}, | |
"end": { | |
"line": 4, | |
"character": 19 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 22 | |
}, | |
"end": { | |
"line": 4, | |
"character": 25 | |
} | |
}, | |
"kind": 9, | |
"name": "EUR", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 22 | |
}, | |
"end": { | |
"line": 4, | |
"character": 25 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 28 | |
}, | |
"end": { | |
"line": 4, | |
"character": 31 | |
} | |
}, | |
"kind": 9, | |
"name": "GBP", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 28 | |
}, | |
"end": { | |
"line": 4, | |
"character": 31 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 4, | |
"character": 34 | |
}, | |
"end": { | |
"line": 4, | |
"character": 37 | |
} | |
}, | |
"kind": 9, | |
"name": "CHF", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 34 | |
}, | |
"end": { | |
"line": 4, | |
"character": 37 | |
} | |
} | |
} | |
], | |
"name": "Currency", | |
"range": { | |
"start": { | |
"line": 4, | |
"character": 0 | |
}, | |
"end": { | |
"line": 5, | |
"character": 21 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 16, | |
"character": 0 | |
}, | |
"end": { | |
"line": 21, | |
"character": 19 | |
} | |
}, | |
"kind": 23, | |
"children": [ | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 16, | |
"character": 12 | |
}, | |
"end": { | |
"line": 16, | |
"character": 16 | |
} | |
}, | |
"kind": 9, | |
"name": "Cash", | |
"range": { | |
"start": { | |
"line": 16, | |
"character": 12 | |
}, | |
"end": { | |
"line": 21, | |
"character": 19 | |
} | |
} | |
} | |
], | |
"name": "Cash", | |
"range": { | |
"start": { | |
"line": 16, | |
"character": 0 | |
}, | |
"end": { | |
"line": 21, | |
"character": 19 | |
} | |
} | |
}, | |
{ | |
"selectionRange": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 38, | |
"character": 8 | |
} | |
}, | |
"kind": 12, | |
"name": "test", | |
"range": { | |
"start": { | |
"line": 23, | |
"character": 0 | |
}, | |
"end": { | |
"line": 38, | |
"character": 8 | |
} | |
} | |
} | |
], | |
"name": "BikeShop", | |
"range": { | |
"start": { | |
"line": 0, | |
"character": 0 | |
}, | |
"end": { | |
"line": 9223372036854776000, | |
"character": 0 | |
} | |
} | |
} | |
] | |
2021-12-15 15:27:49.69 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, completed) | |
[Trace - 9:28:24 AM] Sending request 'textDocument/hover - (25)'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml" | |
}, | |
"position": { | |
"line": 0, | |
"character": 4 | |
} | |
} | |
2021-12-15 15:28:24.51 [INFO] [LanguageServer] | |
Hover request at position 1:5 in file: /Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml | |
2021-12-15 15:28:24.51 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
[Trace - 9:28:24 AM] Received response 'textDocument/hover - (25)' in 17ms. | |
No result returned. | |
2021-12-15 15:28:24.52 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.01s, completed) | |
[Trace - 9:28:24 AM] Sending request 'textDocument/codeAction - (26)'. | |
Params: { | |
"textDocument": { | |
"uri": "file:///Users/jeremyroussel/code/bikeshopdemo/BikeShop.daml" | |
}, | |
"range": { | |
"start": { | |
"line": 0, | |
"character": 0 | |
}, | |
"end": { | |
"line": 1, | |
"character": 0 | |
} | |
}, | |
"context": { | |
"diagnostics": [ | |
{ | |
"range": { | |
"start": { | |
"line": 0, | |
"character": 0 | |
}, | |
"end": { | |
"line": 1, | |
"character": 0 | |
} | |
}, | |
"message": "ScenarioBackendException {scenarioNote = \"Failed to create scenario context\", scenarioBackendError = BErrorClient (ClientIOError GRPCIOTimeout)}", | |
"severity": 1, | |
"source": "compiler" | |
} | |
], | |
"only": [ | |
"quickfix" | |
] | |
} | |
} | |
2021-12-15 15:28:24.70 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
2021-12-15 15:28:24.70 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, exception: AsyncCancelled) | |
2021-12-15 15:28:24.70 [DEBUG] [LanguageServer] | |
Starting shakeRun (aborting the previous one took 0.00s) | |
2021-12-15 15:28:24.71 [DEBUG] [LanguageServer] | |
Finishing shakeRun (took 0.00s, completed) | |
[Trace - 9:28:24 AM] Received response 'textDocument/codeAction - (26)' in 11ms. | |
Result: [] | |
[Trace - 9:28:46 AM] Sending request 'daml/keepAlive - (27)'. | |
[Trace - 9:28:46 AM] Received response 'daml/keepAlive - (27)' in 3ms. | |
No result returned. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment