Created
December 17, 2021 16:28
-
-
Save shaul-da/f27237dfe8a004c4cf48dba0af6d26b6 to your computer and use it in GitHub Desktop.
daml ScenarioBackendException error report
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
| SDK version: 2.0.0-snapshot.20211207.8608.0.c4d82f72 | |
| Build target: 1.dev | |
| ----------------------- | |
| Code | |
| ----------------------- | |
| module Main where | |
| import Daml.Script | |
| type CoinId = ContractId Coin | |
| interface Wallet where | |
| getOwner : Party | |
| receiveImpl : Party -> Coin -> Update (CoinId) | |
| nonconsuming choice Receive : CoinId | |
| with | |
| coin : Coin | |
| controller coin.owner, coin.issuer | |
| do | |
| receiveImpl this (getOwner this) coin | |
| template CustomWallet | |
| with | |
| owner : Party | |
| observers : [Party] | |
| where | |
| signatory owner | |
| observer observers | |
| implements Wallet where | |
| let getOwner = owner | |
| let receiveImpl = \recipient coin -> create coin with owner = recipient | |
| template Coin | |
| with | |
| owner : Party | |
| issuer : Party | |
| where | |
| signatory owner, issuer | |
| choice TransferCoin : CoinId | |
| with | |
| recipientWalletId : ContractId Wallet | |
| controller owner | |
| do | |
| exercise recipientWalletId Receive with coin = this | |
| test = script do | |
| return () | |
| ----------------------- | |
| Laguage Server trace | |
| ----------------------- | |
| [Trace - 11:24:07 AM] Sending request 'initialize - (0)'. | |
| Params: { | |
| "processId": 88133, | |
| "clientInfo": { | |
| "name": "vscode", | |
| "version": "1.59.0" | |
| }, | |
| "rootPath": "/Users/shaulkfir/work/tmp/tmp-interface-error", | |
| "rootUri": "file:///Users/shaulkfir/work/tmp/tmp-interface-error", | |
| "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/shaulkfir/work/tmp/tmp-interface-error", | |
| "name": "tmp-interface-error" | |
| } | |
| ] | |
| } | |
| 2021-12-17 16:24:09.91 [INFO] [LanguageServer] | |
| SDK version: 2.0.0-snapshot.20211207.8608.0.c4d82f72 | |
| 2021-12-17 16:24:09.92 [INFO] [LanguageServer] | |
| Registering ide configuration: IdeConfiguration {workspaceFolders = fromList [NormalizedUri 3089274289116583516 "file:///Users/shaulkfir/work/tmp/tmp-interface-error"]} | |
| [Trace - 11:24:09 AM] Received response 'initialize - (0)' in 2219ms. | |
| 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 - 11:24:09 AM] Sending notification 'initialized'. | |
| Params: {} | |
| [Trace - 11:24:09 AM] Sending notification 'textDocument/didOpen'. | |
| Params: { | |
| "textDocument": { | |
| "uri": "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml", | |
| "languageId": "daml", | |
| "version": 1, | |
| "text": "module Main where\n\nimport Daml.Script\n\ntype CoinId = ContractId Coin\n\ninterface Wallet where\n getOwner : Party \n receiveImpl : Party -> Coin -> Update (CoinId)\n\n nonconsuming choice Receive : CoinId\n with\n coin : Coin \n controller coin.owner, coin.issuer\n do \n receiveImpl this (getOwner this) coin\n\ntemplate CustomWallet\n with\n owner : Party\n observers : [Party]\n where\n signatory owner\n observer observers\n\n implements Wallet where \n let getOwner = owner\n let receiveImpl = \\recipient coin -> create coin with owner = recipient\n\ntemplate Coin \n with\n owner : Party \n issuer : Party\n where\n signatory owner, issuer\n\n choice TransferCoin : CoinId\n with\n recipientWalletId : ContractId Wallet\n controller owner\n do\n exercise recipientWalletId Receive with coin = this\n\ntest = script do \n return ()" | |
| } | |
| } | |
| 2021-12-17 16:24:09.92 [INFO] [LanguageServer] | |
| Opened text document: file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml | |
| [Trace - 11:24:09 AM] Received notification 'window/logMessage'. | |
| Params: { | |
| "type": 1, | |
| "message": "lsp:no handler for: SInitialized" | |
| } | |
| [Error - 11:24:09 AM] lsp:no handler for: SInitialized | |
| [Trace - 11:24:09 AM] Sending request 'textDocument/documentSymbol - (1)'. | |
| Params: { | |
| "textDocument": { | |
| "uri": "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml" | |
| } | |
| } | |
| [Trace - 11:24:09 AM] Received response 'textDocument/documentSymbol - (1)' in 5ms. | |
| Result: [ | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 7 | |
| }, | |
| "end": { | |
| "line": 0, | |
| "character": 11 | |
| } | |
| }, | |
| "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": 5 | |
| }, | |
| "end": { | |
| "line": 4, | |
| "character": 11 | |
| } | |
| }, | |
| "kind": 26, | |
| "name": "CoinId", | |
| "range": { | |
| "start": { | |
| "line": 4, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 4, | |
| "character": 29 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| }, | |
| "kind": 23, | |
| "children": [ | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 6, | |
| "character": 10 | |
| }, | |
| "end": { | |
| "line": 6, | |
| "character": 16 | |
| } | |
| }, | |
| "kind": 9, | |
| "name": "Wallet", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| } | |
| ], | |
| "name": "Wallet", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| }, | |
| "kind": 12, | |
| "name": "receiveImpl", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| }, | |
| "kind": 12, | |
| "name": "getOwner", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| }, | |
| "kind": 11, | |
| "name": "(DA.Internal.Desugar.Implements t Wallet) =>\nDA.Internal.Desugar.HasToAnyChoice t Receive (CoinId)", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| }, | |
| "kind": 11, | |
| "name": "(DA.Internal.Desugar.Implements t Wallet) =>\nDA.Internal.Desugar.HasFromAnyChoice t Receive (CoinId)", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| }, | |
| "kind": 11, | |
| "name": "(DA.Internal.Desugar.Implements t Wallet) =>\nDA.Internal.Desugar.HasExercise t Receive (CoinId)", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 10, | |
| "character": 22 | |
| }, | |
| "end": { | |
| "line": 15, | |
| "character": 43 | |
| } | |
| }, | |
| "kind": 23, | |
| "children": [ | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 10, | |
| "character": 22 | |
| }, | |
| "end": { | |
| "line": 10, | |
| "character": 29 | |
| } | |
| }, | |
| "kind": 9, | |
| "name": "Receive", | |
| "range": { | |
| "start": { | |
| "line": 10, | |
| "character": 22 | |
| }, | |
| "end": { | |
| "line": 10, | |
| "character": 29 | |
| } | |
| } | |
| } | |
| ], | |
| "name": "Receive", | |
| "range": { | |
| "start": { | |
| "line": 10, | |
| "character": 22 | |
| }, | |
| "end": { | |
| "line": 15, | |
| "character": 43 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 17, | |
| "character": 9 | |
| }, | |
| "end": { | |
| "line": 20, | |
| "character": 23 | |
| } | |
| }, | |
| "kind": 23, | |
| "children": [ | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 17, | |
| "character": 9 | |
| }, | |
| "end": { | |
| "line": 17, | |
| "character": 21 | |
| } | |
| }, | |
| "kind": 9, | |
| "name": "CustomWallet", | |
| "range": { | |
| "start": { | |
| "line": 17, | |
| "character": 9 | |
| }, | |
| "end": { | |
| "line": 17, | |
| "character": 21 | |
| } | |
| } | |
| } | |
| ], | |
| "name": "CustomWallet", | |
| "range": { | |
| "start": { | |
| "line": 17, | |
| "character": 9 | |
| }, | |
| "end": { | |
| "line": 20, | |
| "character": 23 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| }, | |
| "kind": 12, | |
| "name": "_implements_CustomWallet_Wallet", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| }, | |
| "kind": 12, | |
| "name": "_method_CustomWallet_Wallet_getOwner", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| }, | |
| "kind": 12, | |
| "name": "_method_CustomWallet_Wallet_receiveImpl", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 29, | |
| "character": 9 | |
| }, | |
| "end": { | |
| "line": 32, | |
| "character": 18 | |
| } | |
| }, | |
| "kind": 23, | |
| "children": [ | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 29, | |
| "character": 9 | |
| }, | |
| "end": { | |
| "line": 29, | |
| "character": 13 | |
| } | |
| }, | |
| "kind": 9, | |
| "name": "Coin", | |
| "range": { | |
| "start": { | |
| "line": 29, | |
| "character": 9 | |
| }, | |
| "end": { | |
| "line": 29, | |
| "character": 13 | |
| } | |
| } | |
| } | |
| ], | |
| "name": "Coin", | |
| "range": { | |
| "start": { | |
| "line": 29, | |
| "character": 9 | |
| }, | |
| "end": { | |
| "line": 32, | |
| "character": 18 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 36, | |
| "character": 11 | |
| }, | |
| "end": { | |
| "line": 38, | |
| "character": 45 | |
| } | |
| }, | |
| "kind": 23, | |
| "children": [ | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 36, | |
| "character": 11 | |
| }, | |
| "end": { | |
| "line": 36, | |
| "character": 23 | |
| } | |
| }, | |
| "kind": 9, | |
| "name": "TransferCoin", | |
| "range": { | |
| "start": { | |
| "line": 36, | |
| "character": 11 | |
| }, | |
| "end": { | |
| "line": 36, | |
| "character": 23 | |
| } | |
| } | |
| } | |
| ], | |
| "name": "TransferCoin", | |
| "range": { | |
| "start": { | |
| "line": 36, | |
| "character": 11 | |
| }, | |
| "end": { | |
| "line": 38, | |
| "character": 45 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 43, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 44, | |
| "character": 11 | |
| } | |
| }, | |
| "kind": 12, | |
| "name": "test", | |
| "range": { | |
| "start": { | |
| "line": 43, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 44, | |
| "character": 11 | |
| } | |
| } | |
| } | |
| ], | |
| "name": "Main", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 9223372036854776000, | |
| "character": 0 | |
| } | |
| } | |
| } | |
| ] | |
| [Trace - 11:24:09 AM] Received request 'client/registerCapability - (0)'. | |
| Params: { | |
| "registrations": [ | |
| { | |
| "registerOptions": { | |
| "watchers": [ | |
| { | |
| "kind": 5, | |
| "globPattern": "/Users/shaulkfir/work/tmp/tmp-interface-error/daml/Prelude.daml" | |
| } | |
| ] | |
| }, | |
| "method": "workspace/didChangeWatchedFiles", | |
| "id": "/Users/shaulkfir/work/tmp/tmp-interface-error/daml/Prelude.daml" | |
| } | |
| ] | |
| } | |
| [Trace - 11:24:09 AM] Sending response 'client/registerCapability - (0)'. Processing request took 0ms | |
| No result returned. | |
| [Trace - 11:24:09 AM] Received request 'client/registerCapability - (1)'. | |
| Params: { | |
| "registrations": [ | |
| { | |
| "registerOptions": { | |
| "watchers": [ | |
| { | |
| "kind": 5, | |
| "globPattern": "/Users/shaulkfir/work/tmp/tmp-interface-error/daml/DA/Internal/Record.daml" | |
| } | |
| ] | |
| }, | |
| "method": "workspace/didChangeWatchedFiles", | |
| "id": "/Users/shaulkfir/work/tmp/tmp-interface-error/daml/DA/Internal/Record.daml" | |
| } | |
| ] | |
| } | |
| [Trace - 11:24:09 AM] Sending response 'client/registerCapability - (1)'. Processing request took 1ms | |
| No result returned. | |
| [Trace - 11:24:09 AM] Received request 'client/registerCapability - (2)'. | |
| Params: { | |
| "registrations": [ | |
| { | |
| "registerOptions": { | |
| "watchers": [ | |
| { | |
| "kind": 5, | |
| "globPattern": "/Users/shaulkfir/work/tmp/tmp-interface-error/daml/GHC/Types.daml" | |
| } | |
| ] | |
| }, | |
| "method": "workspace/didChangeWatchedFiles", | |
| "id": "/Users/shaulkfir/work/tmp/tmp-interface-error/daml/GHC/Types.daml" | |
| } | |
| ] | |
| } | |
| [Trace - 11:24:09 AM] Sending response 'client/registerCapability - (2)'. Processing request took 0ms | |
| No result returned. | |
| [Trace - 11:24:09 AM] Received request 'client/registerCapability - (3)'. | |
| Params: { | |
| "registrations": [ | |
| { | |
| "registerOptions": { | |
| "watchers": [ | |
| { | |
| "kind": 5, | |
| "globPattern": "/Users/shaulkfir/work/tmp/tmp-interface-error/daml/DA/Internal/Desugar.daml" | |
| } | |
| ] | |
| }, | |
| "method": "workspace/didChangeWatchedFiles", | |
| "id": "/Users/shaulkfir/work/tmp/tmp-interface-error/daml/DA/Internal/Desugar.daml" | |
| } | |
| ] | |
| } | |
| [Trace - 11:24:09 AM] Sending response 'client/registerCapability - (3)'. Processing request took 0ms | |
| No result returned. | |
| [Trace - 11:24:09 AM] Received request 'client/registerCapability - (4)'. | |
| Params: { | |
| "registrations": [ | |
| { | |
| "registerOptions": { | |
| "watchers": [ | |
| { | |
| "kind": 5, | |
| "globPattern": "/Users/shaulkfir/work/tmp/tmp-interface-error/daml/DA/Internal/RebindableSyntax.daml" | |
| } | |
| ] | |
| }, | |
| "method": "workspace/didChangeWatchedFiles", | |
| "id": "/Users/shaulkfir/work/tmp/tmp-interface-error/daml/DA/Internal/RebindableSyntax.daml" | |
| } | |
| ] | |
| } | |
| [Trace - 11:24:09 AM] Sending response 'client/registerCapability - (4)'. Processing request took 0ms | |
| No result returned. | |
| [Trace - 11:24:09 AM] Received request 'client/registerCapability - (5)'. | |
| Params: { | |
| "registrations": [ | |
| { | |
| "registerOptions": { | |
| "watchers": [ | |
| { | |
| "kind": 5, | |
| "globPattern": "/Users/shaulkfir/work/tmp/tmp-interface-error/daml/Daml/Script.daml" | |
| } | |
| ] | |
| }, | |
| "method": "workspace/didChangeWatchedFiles", | |
| "id": "/Users/shaulkfir/work/tmp/tmp-interface-error/daml/Daml/Script.daml" | |
| } | |
| ] | |
| } | |
| [Trace - 11:24:09 AM] Sending response 'client/registerCapability - (5)'. Processing request took 0ms | |
| No result returned. | |
| [Trace - 11:24:10 AM] Received request 'window/workDoneProgress/create - (6)'. | |
| Params: { | |
| "token": "8" | |
| } | |
| [Trace - 11:24:10 AM] Sending response 'window/workDoneProgress/create - (6)'. Processing request took 0ms | |
| No result returned. | |
| [Trace - 11:24:10 AM] Received notification '$/progress'. | |
| Params: { | |
| "value": { | |
| "kind": "begin", | |
| "title": "Processing" | |
| }, | |
| "token": "8" | |
| } | |
| [Trace - 11:24:10 AM] Received notification '$/progress'. | |
| Params: { | |
| "value": { | |
| "kind": "report", | |
| "message": "0/2" | |
| }, | |
| "token": "8" | |
| } | |
| [Trace - 11:24:10 AM] Sending request 'textDocument/codeLens - (2)'. | |
| Params: { | |
| "textDocument": { | |
| "uri": "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml" | |
| } | |
| } | |
| [Trace - 11:24:10 AM] Received notification '$/progress'. | |
| Params: { | |
| "value": { | |
| "kind": "end" | |
| }, | |
| "token": "8" | |
| } | |
| [Trace - 11:24:10 AM] Received request 'window/workDoneProgress/create - (7)'. | |
| Params: { | |
| "token": "9" | |
| } | |
| [Trace - 11:24:10 AM] Sending response 'window/workDoneProgress/create - (7)'. Processing request took 0ms | |
| No result returned. | |
| [Trace - 11:24:10 AM] Received notification '$/progress'. | |
| Params: { | |
| "value": { | |
| "kind": "begin", | |
| "title": "Processing" | |
| }, | |
| "token": "9" | |
| } | |
| 2021-12-17 16:24:10.40 [INFO] [LanguageServer] | |
| CodeLens request for file: /Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml | |
| [Trace - 11:24:10 AM] Received notification '$/progress'. | |
| Params: { | |
| "value": { | |
| "kind": "end" | |
| }, | |
| "token": "9" | |
| } | |
| [Trace - 11:24:10 AM] Received request 'window/workDoneProgress/create - (8)'. | |
| Params: { | |
| "token": "10" | |
| } | |
| [Trace - 11:24:10 AM] Sending response 'window/workDoneProgress/create - (8)'. Processing request took 0ms | |
| No result returned. | |
| [Trace - 11:24:10 AM] Received notification '$/progress'. | |
| Params: { | |
| "value": { | |
| "kind": "begin", | |
| "title": "Processing" | |
| }, | |
| "token": "10" | |
| } | |
| [Trace - 11:24:10 AM] Received response 'textDocument/codeLens - (2)' in 371ms. | |
| Result: [ | |
| { | |
| "command": { | |
| "command": "typesignature.add", | |
| "arguments": [ | |
| { | |
| "changes": { | |
| "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml": [ | |
| { | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 0, | |
| "character": 0 | |
| } | |
| }, | |
| "newText": "_method_CustomWallet_Wallet_getOwner : DA.Internal.Desugar.Method CustomWallet Wallet \"getOwner\" Party\n" | |
| } | |
| ] | |
| } | |
| } | |
| ], | |
| "title": "_method_CustomWallet_Wallet_getOwner : DA.Internal.Desugar.Method CustomWallet Wallet \"getOwner\" Party" | |
| }, | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "command": { | |
| "command": "typesignature.add", | |
| "arguments": [ | |
| { | |
| "changes": { | |
| "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml": [ | |
| { | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 0, | |
| "character": 0 | |
| } | |
| }, | |
| "newText": "_method_CustomWallet_Wallet_receiveImpl : DA.Internal.Desugar.Method CustomWallet Wallet \"receiveImpl\" (Party -> Coin -> Update (ContractId Coin))\n" | |
| } | |
| ] | |
| } | |
| } | |
| ], | |
| "title": "_method_CustomWallet_Wallet_receiveImpl : DA.Internal.Desugar.Method CustomWallet Wallet \"receiveImpl\" (Party -> Coin -> Update (ContractId Coin))" | |
| }, | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "command": { | |
| "command": "typesignature.add", | |
| "arguments": [ | |
| { | |
| "changes": { | |
| "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml": [ | |
| { | |
| "range": { | |
| "start": { | |
| "line": 43, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 43, | |
| "character": 0 | |
| } | |
| }, | |
| "newText": "Main.test : Script ()\n" | |
| } | |
| ] | |
| } | |
| } | |
| ], | |
| "title": "Main.test : Script ()" | |
| }, | |
| "range": { | |
| "start": { | |
| "line": 43, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 43, | |
| "character": 4 | |
| } | |
| } | |
| }, | |
| { | |
| "command": { | |
| "command": "daml.showResource", | |
| "arguments": [ | |
| "Script: test", | |
| "daml://compiler?file=%2FUsers%2Fshaulkfir%2Fwork%2Ftmp%2Ftmp-interface-error%2Fdaml%2FMain.daml&top-level-decl=test" | |
| ], | |
| "title": "Script results" | |
| }, | |
| "range": { | |
| "start": { | |
| "line": 43, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 43, | |
| "character": 4 | |
| } | |
| } | |
| } | |
| ] | |
| [Trace - 11:24:10 AM] Received notification '$/progress'. | |
| Params: { | |
| "value": { | |
| "kind": "report", | |
| "message": "0/2" | |
| }, | |
| "token": "10" | |
| } | |
| [Trace - 11:24:11 AM] Sending request 'textDocument/hover - (3)'. | |
| Params: { | |
| "textDocument": { | |
| "uri": "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml" | |
| }, | |
| "position": { | |
| "line": 32, | |
| "character": 13 | |
| } | |
| } | |
| 2021-12-17 16:24:11.34 [INFO] [LanguageServer] | |
| Hover request at position 33:14 in file: /Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml | |
| [Trace - 11:24:11 AM] Sending notification '$/cancelRequest'. | |
| Params: { | |
| "id": 3 | |
| } | |
| [Trace - 11:24:12 AM] Received notification '$/progress'. | |
| Params: { | |
| "value": { | |
| "kind": "end" | |
| }, | |
| "token": "10" | |
| } | |
| [Trace - 11:24:12 AM] Received response 'textDocument/hover - (3)' in 1429ms. | |
| Result: { | |
| "contents": { | |
| "kind": "markdown", | |
| "value": "```daml\nParty\n```\n* * *\n*Defined in ‘DA.Internal.LF’*\n" | |
| }, | |
| "range": { | |
| "start": { | |
| "line": 32, | |
| "character": 13 | |
| }, | |
| "end": { | |
| "line": 32, | |
| "character": 18 | |
| } | |
| } | |
| } | |
| [Trace - 11:24:12 AM] Received request 'window/workDoneProgress/create - (9)'. | |
| Params: { | |
| "token": "11" | |
| } | |
| [Trace - 11:24:12 AM] Sending response 'window/workDoneProgress/create - (9)'. Processing request took 0ms | |
| No result returned. | |
| [Trace - 11:24:12 AM] Received notification '$/progress'. | |
| Params: { | |
| "value": { | |
| "kind": "begin", | |
| "title": "Processing" | |
| }, | |
| "token": "11" | |
| } | |
| [Trace - 11:24:12 AM] Received notification '$/progress'. | |
| Params: { | |
| "value": { | |
| "kind": "report", | |
| "message": "0/2" | |
| }, | |
| "token": "11" | |
| } | |
| [Trace - 11:24:13 AM] Received notification '$/progress'. | |
| Params: { | |
| "value": { | |
| "kind": "end" | |
| }, | |
| "token": "11" | |
| } | |
| [Trace - 11:24:22 AM] Sending request 'textDocument/hover - (4)'. | |
| Params: { | |
| "textDocument": { | |
| "uri": "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml" | |
| }, | |
| "position": { | |
| "line": 14, | |
| "character": 1 | |
| } | |
| } | |
| 2021-12-17 16:24:22.56 [INFO] [LanguageServer] | |
| Hover request at position 15:2 in file: /Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml | |
| [Trace - 11:24:22 AM] Received response 'textDocument/hover - (4)' in 3ms. | |
| No result returned. | |
| [Trace - 11:25:09 AM] Sending request 'daml/keepAlive - (5)'. | |
| [Trace - 11:25:09 AM] Received response 'daml/keepAlive - (5)' in 0ms. | |
| No result returned. | |
| [Trace - 11:25:27 AM] Sending request 'textDocument/hover - (6)'. | |
| Params: { | |
| "textDocument": { | |
| "uri": "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml" | |
| }, | |
| "position": { | |
| "line": 36, | |
| "character": 0 | |
| } | |
| } | |
| 2021-12-17 16:25:27.39 [INFO] [LanguageServer] | |
| Hover request at position 37:1 in file: /Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml | |
| [Trace - 11:25:27 AM] Received response 'textDocument/hover - (6)' in 2ms. | |
| No result returned. | |
| [Trace - 11:25:28 AM] Sending notification 'textDocument/didOpen'. | |
| Params: { | |
| "textDocument": { | |
| "uri": "daml://compiler?file=%2FUsers%2Fshaulkfir%2Fwork%2Ftmp%2Ftmp-interface-error%2Fdaml%2FMain.daml&top-level-decl=test", | |
| "languageId": "", | |
| "version": 0, | |
| "text": "" | |
| } | |
| } | |
| 2021-12-17 16:25:28.73 [INFO] [LanguageServer] | |
| Opened virtual resource: VRScenario {vrScenarioFile = NormalizedFilePath "/Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml", vrScenarioName = "test"} | |
| [Trace - 11:25:28 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%2Fshaulkfir%2Fwork%2Ftmp%2Ftmp-interface-error%2Fdaml%2FMain.daml&top-level-decl=test" | |
| } | |
| [Trace - 11:25:29 AM] Sending request 'textDocument/codeLens - (7)'. | |
| Params: { | |
| "textDocument": { | |
| "uri": "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml" | |
| } | |
| } | |
| 2021-12-17 16:25:29.21 [INFO] [LanguageServer] | |
| CodeLens request for file: /Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml | |
| [Trace - 11:25:29 AM] Received response 'textDocument/codeLens - (7)' in 5ms. | |
| Result: [ | |
| { | |
| "command": { | |
| "command": "typesignature.add", | |
| "arguments": [ | |
| { | |
| "changes": { | |
| "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml": [ | |
| { | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 0, | |
| "character": 0 | |
| } | |
| }, | |
| "newText": "_method_CustomWallet_Wallet_getOwner : DA.Internal.Desugar.Method CustomWallet Wallet \"getOwner\" Party\n" | |
| } | |
| ] | |
| } | |
| } | |
| ], | |
| "title": "_method_CustomWallet_Wallet_getOwner : DA.Internal.Desugar.Method CustomWallet Wallet \"getOwner\" Party" | |
| }, | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "command": { | |
| "command": "typesignature.add", | |
| "arguments": [ | |
| { | |
| "changes": { | |
| "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml": [ | |
| { | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 0, | |
| "character": 0 | |
| } | |
| }, | |
| "newText": "_method_CustomWallet_Wallet_receiveImpl : DA.Internal.Desugar.Method CustomWallet Wallet \"receiveImpl\" (Party -> Coin -> Update (ContractId Coin))\n" | |
| } | |
| ] | |
| } | |
| } | |
| ], | |
| "title": "_method_CustomWallet_Wallet_receiveImpl : DA.Internal.Desugar.Method CustomWallet Wallet \"receiveImpl\" (Party -> Coin -> Update (ContractId Coin))" | |
| }, | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "command": { | |
| "command": "typesignature.add", | |
| "arguments": [ | |
| { | |
| "changes": { | |
| "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml": [ | |
| { | |
| "range": { | |
| "start": { | |
| "line": 43, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 43, | |
| "character": 0 | |
| } | |
| }, | |
| "newText": "Main.test : Script ()\n" | |
| } | |
| ] | |
| } | |
| } | |
| ], | |
| "title": "Main.test : Script ()" | |
| }, | |
| "range": { | |
| "start": { | |
| "line": 43, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 43, | |
| "character": 4 | |
| } | |
| } | |
| }, | |
| { | |
| "command": { | |
| "command": "daml.showResource", | |
| "arguments": [ | |
| "Script: test", | |
| "daml://compiler?file=%2FUsers%2Fshaulkfir%2Fwork%2Ftmp%2Ftmp-interface-error%2Fdaml%2FMain.daml&top-level-decl=test" | |
| ], | |
| "title": "Script results" | |
| }, | |
| "range": { | |
| "start": { | |
| "line": 43, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 43, | |
| "character": 4 | |
| } | |
| } | |
| } | |
| ] | |
| [Trace - 11:25:30 AM] Sending request 'textDocument/codeLens - (8)'. | |
| Params: { | |
| "textDocument": { | |
| "uri": "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml" | |
| } | |
| } | |
| 2021-12-17 16:25:30.18 [INFO] [LanguageServer] | |
| CodeLens request for file: /Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml | |
| [Trace - 11:25:30 AM] Received response 'textDocument/codeLens - (8)' in 3ms. | |
| Result: [ | |
| { | |
| "command": { | |
| "command": "typesignature.add", | |
| "arguments": [ | |
| { | |
| "changes": { | |
| "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml": [ | |
| { | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 0, | |
| "character": 0 | |
| } | |
| }, | |
| "newText": "_method_CustomWallet_Wallet_getOwner : DA.Internal.Desugar.Method CustomWallet Wallet \"getOwner\" Party\n" | |
| } | |
| ] | |
| } | |
| } | |
| ], | |
| "title": "_method_CustomWallet_Wallet_getOwner : DA.Internal.Desugar.Method CustomWallet Wallet \"getOwner\" Party" | |
| }, | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "command": { | |
| "command": "typesignature.add", | |
| "arguments": [ | |
| { | |
| "changes": { | |
| "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml": [ | |
| { | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 0, | |
| "character": 0 | |
| } | |
| }, | |
| "newText": "_method_CustomWallet_Wallet_receiveImpl : DA.Internal.Desugar.Method CustomWallet Wallet \"receiveImpl\" (Party -> Coin -> Update (ContractId Coin))\n" | |
| } | |
| ] | |
| } | |
| } | |
| ], | |
| "title": "_method_CustomWallet_Wallet_receiveImpl : DA.Internal.Desugar.Method CustomWallet Wallet \"receiveImpl\" (Party -> Coin -> Update (ContractId Coin))" | |
| }, | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "command": { | |
| "command": "typesignature.add", | |
| "arguments": [ | |
| { | |
| "changes": { | |
| "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml": [ | |
| { | |
| "range": { | |
| "start": { | |
| "line": 43, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 43, | |
| "character": 0 | |
| } | |
| }, | |
| "newText": "Main.test : Script ()\n" | |
| } | |
| ] | |
| } | |
| } | |
| ], | |
| "title": "Main.test : Script ()" | |
| }, | |
| "range": { | |
| "start": { | |
| "line": 43, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 43, | |
| "character": 4 | |
| } | |
| } | |
| }, | |
| { | |
| "command": { | |
| "command": "daml.showResource", | |
| "arguments": [ | |
| "Script: test", | |
| "daml://compiler?file=%2FUsers%2Fshaulkfir%2Fwork%2Ftmp%2Ftmp-interface-error%2Fdaml%2FMain.daml&top-level-decl=test" | |
| ], | |
| "title": "Script results" | |
| }, | |
| "range": { | |
| "start": { | |
| "line": 43, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 43, | |
| "character": 4 | |
| } | |
| } | |
| } | |
| ] | |
| [Trace - 11:25:31 AM] Sending request 'textDocument/codeAction - (9)'. | |
| Params: { | |
| "textDocument": { | |
| "uri": "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml" | |
| }, | |
| "range": { | |
| "start": { | |
| "line": 43, | |
| "character": 17 | |
| }, | |
| "end": { | |
| "line": 44, | |
| "character": 11 | |
| } | |
| }, | |
| "context": { | |
| "diagnostics": [] | |
| } | |
| } | |
| [Trace - 11:25:31 AM] Received response 'textDocument/codeAction - (9)' in 43ms. | |
| Result: [] | |
| [Trace - 11:25:31 AM] Sending notification 'textDocument/didChange'. | |
| Params: { | |
| "textDocument": { | |
| "uri": "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml", | |
| "version": 2 | |
| }, | |
| "contentChanges": [ | |
| { | |
| "range": { | |
| "start": { | |
| "line": 44, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 44, | |
| "character": 0 | |
| } | |
| }, | |
| "rangeLength": 0, | |
| "text": "-- " | |
| }, | |
| { | |
| "range": { | |
| "start": { | |
| "line": 43, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 43, | |
| "character": 0 | |
| } | |
| }, | |
| "rangeLength": 0, | |
| "text": "-- " | |
| } | |
| ] | |
| } | |
| 2021-12-17 16:25:31.38 [INFO] [LanguageServer] | |
| Modified text document: file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml | |
| [Trace - 11:25:31 AM] Received notification 'textDocument/publishDiagnostics'. | |
| Params: { | |
| "uri": "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml", | |
| "diagnostics": [ | |
| { | |
| "severity": 2, | |
| "range": { | |
| "start": { | |
| "line": 2, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 2, | |
| "character": 18 | |
| } | |
| }, | |
| "source": "typecheck", | |
| "message": "/Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml:3:1: warning:\n The import of ‘Daml.Script’ is redundant\n except perhaps to import instances from ‘Daml.Script’\n To import instances alone, use: import Daml.Script()" | |
| } | |
| ], | |
| "version": 2 | |
| } | |
| [Trace - 11:25:31 AM] Received request 'window/workDoneProgress/create - (10)'. | |
| Params: { | |
| "token": "15" | |
| } | |
| [Trace - 11:25:31 AM] Sending response 'window/workDoneProgress/create - (10)'. Processing request took 0ms | |
| No result returned. | |
| [Trace - 11:25:31 AM] Received notification '$/progress'. | |
| Params: { | |
| "value": { | |
| "kind": "begin", | |
| "title": "Processing" | |
| }, | |
| "token": "15" | |
| } | |
| [Trace - 11:25:31 AM] Received notification 'textDocument/publishDiagnostics'. | |
| Params: { | |
| "uri": "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.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)}" | |
| }, | |
| { | |
| "severity": 2, | |
| "range": { | |
| "start": { | |
| "line": 2, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 2, | |
| "character": 18 | |
| } | |
| }, | |
| "source": "typecheck", | |
| "message": "/Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml:3:1: warning:\n The import of ‘Daml.Script’ is redundant\n except perhaps to import instances from ‘Daml.Script’\n To import instances alone, use: import Daml.Script()" | |
| } | |
| ], | |
| "version": 2 | |
| } | |
| [Trace - 11:25:31 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/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml</span></html>", | |
| "uri": "daml://compiler?file=%2FUsers%2Fshaulkfir%2Fwork%2Ftmp%2Ftmp-interface-error%2Fdaml%2FMain.daml&top-level-decl=test" | |
| } | |
| [Trace - 11:25:31 AM] Received notification '$/progress'. | |
| Params: { | |
| "value": { | |
| "kind": "end" | |
| }, | |
| "token": "15" | |
| } | |
| [Trace - 11:25:31 AM] Sending request 'textDocument/codeLens - (10)'. | |
| Params: { | |
| "textDocument": { | |
| "uri": "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml" | |
| } | |
| } | |
| 2021-12-17 16:25:31.63 [INFO] [LanguageServer] | |
| CodeLens request for file: /Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml | |
| [Trace - 11:25:31 AM] Received response 'textDocument/codeLens - (10)' in 4ms. | |
| Result: [ | |
| { | |
| "command": { | |
| "command": "typesignature.add", | |
| "arguments": [ | |
| { | |
| "changes": { | |
| "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml": [ | |
| { | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 0, | |
| "character": 0 | |
| } | |
| }, | |
| "newText": "_method_CustomWallet_Wallet_getOwner : DA.Internal.Desugar.Method CustomWallet Wallet \"getOwner\" Party\n" | |
| } | |
| ] | |
| } | |
| } | |
| ], | |
| "title": "_method_CustomWallet_Wallet_getOwner : DA.Internal.Desugar.Method CustomWallet Wallet \"getOwner\" Party" | |
| }, | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "command": { | |
| "command": "typesignature.add", | |
| "arguments": [ | |
| { | |
| "changes": { | |
| "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml": [ | |
| { | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 0, | |
| "character": 0 | |
| } | |
| }, | |
| "newText": "_method_CustomWallet_Wallet_receiveImpl : DA.Internal.Desugar.Method CustomWallet Wallet \"receiveImpl\" (Party -> Coin -> Update (ContractId Coin))\n" | |
| } | |
| ] | |
| } | |
| } | |
| ], | |
| "title": "_method_CustomWallet_Wallet_receiveImpl : DA.Internal.Desugar.Method CustomWallet Wallet \"receiveImpl\" (Party -> Coin -> Update (ContractId Coin))" | |
| }, | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| } | |
| ] | |
| [Trace - 11:25:31 AM] Sending request 'textDocument/documentSymbol - (11)'. | |
| Params: { | |
| "textDocument": { | |
| "uri": "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml" | |
| } | |
| } | |
| [Trace - 11:25:31 AM] Received response 'textDocument/documentSymbol - (11)' in 1ms. | |
| Result: [ | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 7 | |
| }, | |
| "end": { | |
| "line": 0, | |
| "character": 11 | |
| } | |
| }, | |
| "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": 5 | |
| }, | |
| "end": { | |
| "line": 4, | |
| "character": 11 | |
| } | |
| }, | |
| "kind": 26, | |
| "name": "CoinId", | |
| "range": { | |
| "start": { | |
| "line": 4, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 4, | |
| "character": 29 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| }, | |
| "kind": 23, | |
| "children": [ | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 6, | |
| "character": 10 | |
| }, | |
| "end": { | |
| "line": 6, | |
| "character": 16 | |
| } | |
| }, | |
| "kind": 9, | |
| "name": "Wallet", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| } | |
| ], | |
| "name": "Wallet", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| }, | |
| "kind": 12, | |
| "name": "receiveImpl", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| }, | |
| "kind": 12, | |
| "name": "getOwner", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| }, | |
| "kind": 11, | |
| "name": "(DA.Internal.Desugar.Implements t Wallet) =>\nDA.Internal.Desugar.HasToAnyChoice t Receive (CoinId)", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| }, | |
| "kind": 11, | |
| "name": "(DA.Internal.Desugar.Implements t Wallet) =>\nDA.Internal.Desugar.HasFromAnyChoice t Receive (CoinId)", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| }, | |
| "kind": 11, | |
| "name": "(DA.Internal.Desugar.Implements t Wallet) =>\nDA.Internal.Desugar.HasExercise t Receive (CoinId)", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 10, | |
| "character": 22 | |
| }, | |
| "end": { | |
| "line": 15, | |
| "character": 43 | |
| } | |
| }, | |
| "kind": 23, | |
| "children": [ | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 10, | |
| "character": 22 | |
| }, | |
| "end": { | |
| "line": 10, | |
| "character": 29 | |
| } | |
| }, | |
| "kind": 9, | |
| "name": "Receive", | |
| "range": { | |
| "start": { | |
| "line": 10, | |
| "character": 22 | |
| }, | |
| "end": { | |
| "line": 10, | |
| "character": 29 | |
| } | |
| } | |
| } | |
| ], | |
| "name": "Receive", | |
| "range": { | |
| "start": { | |
| "line": 10, | |
| "character": 22 | |
| }, | |
| "end": { | |
| "line": 15, | |
| "character": 43 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 17, | |
| "character": 9 | |
| }, | |
| "end": { | |
| "line": 20, | |
| "character": 23 | |
| } | |
| }, | |
| "kind": 23, | |
| "children": [ | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 17, | |
| "character": 9 | |
| }, | |
| "end": { | |
| "line": 17, | |
| "character": 21 | |
| } | |
| }, | |
| "kind": 9, | |
| "name": "CustomWallet", | |
| "range": { | |
| "start": { | |
| "line": 17, | |
| "character": 9 | |
| }, | |
| "end": { | |
| "line": 17, | |
| "character": 21 | |
| } | |
| } | |
| } | |
| ], | |
| "name": "CustomWallet", | |
| "range": { | |
| "start": { | |
| "line": 17, | |
| "character": 9 | |
| }, | |
| "end": { | |
| "line": 20, | |
| "character": 23 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| }, | |
| "kind": 12, | |
| "name": "_implements_CustomWallet_Wallet", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| }, | |
| "kind": 12, | |
| "name": "_method_CustomWallet_Wallet_getOwner", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| }, | |
| "kind": 12, | |
| "name": "_method_CustomWallet_Wallet_receiveImpl", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 29, | |
| "character": 9 | |
| }, | |
| "end": { | |
| "line": 32, | |
| "character": 18 | |
| } | |
| }, | |
| "kind": 23, | |
| "children": [ | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 29, | |
| "character": 9 | |
| }, | |
| "end": { | |
| "line": 29, | |
| "character": 13 | |
| } | |
| }, | |
| "kind": 9, | |
| "name": "Coin", | |
| "range": { | |
| "start": { | |
| "line": 29, | |
| "character": 9 | |
| }, | |
| "end": { | |
| "line": 29, | |
| "character": 13 | |
| } | |
| } | |
| } | |
| ], | |
| "name": "Coin", | |
| "range": { | |
| "start": { | |
| "line": 29, | |
| "character": 9 | |
| }, | |
| "end": { | |
| "line": 32, | |
| "character": 18 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 36, | |
| "character": 11 | |
| }, | |
| "end": { | |
| "line": 38, | |
| "character": 45 | |
| } | |
| }, | |
| "kind": 23, | |
| "children": [ | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 36, | |
| "character": 11 | |
| }, | |
| "end": { | |
| "line": 36, | |
| "character": 23 | |
| } | |
| }, | |
| "kind": 9, | |
| "name": "TransferCoin", | |
| "range": { | |
| "start": { | |
| "line": 36, | |
| "character": 11 | |
| }, | |
| "end": { | |
| "line": 36, | |
| "character": 23 | |
| } | |
| } | |
| } | |
| ], | |
| "name": "TransferCoin", | |
| "range": { | |
| "start": { | |
| "line": 36, | |
| "character": 11 | |
| }, | |
| "end": { | |
| "line": 38, | |
| "character": 45 | |
| } | |
| } | |
| } | |
| ], | |
| "name": "Main", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 9223372036854776000, | |
| "character": 0 | |
| } | |
| } | |
| } | |
| ] | |
| [Trace - 11:25:31 AM] Sending request 'textDocument/codeAction - (12)'. | |
| Params: { | |
| "textDocument": { | |
| "uri": "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml" | |
| }, | |
| "range": { | |
| "start": { | |
| "line": 43, | |
| "character": 20 | |
| }, | |
| "end": { | |
| "line": 44, | |
| "character": 14 | |
| } | |
| }, | |
| "context": { | |
| "diagnostics": [] | |
| } | |
| } | |
| [Trace - 11:25:31 AM] Received response 'textDocument/codeAction - (12)' in 12ms. | |
| Result: [] | |
| [Trace - 11:25:32 AM] Sending notification 'textDocument/didChange'. | |
| Params: { | |
| "textDocument": { | |
| "uri": "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml", | |
| "version": 3 | |
| }, | |
| "contentChanges": [ | |
| { | |
| "range": { | |
| "start": { | |
| "line": 44, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 44, | |
| "character": 3 | |
| } | |
| }, | |
| "rangeLength": 3, | |
| "text": "" | |
| }, | |
| { | |
| "range": { | |
| "start": { | |
| "line": 43, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 43, | |
| "character": 3 | |
| } | |
| }, | |
| "rangeLength": 3, | |
| "text": "" | |
| } | |
| ] | |
| } | |
| 2021-12-17 16:25:32.20 [INFO] [LanguageServer] | |
| Modified text document: file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml | |
| [Trace - 11:25:32 AM] Received notification 'textDocument/publishDiagnostics'. | |
| Params: { | |
| "uri": "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.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": 3 | |
| } | |
| [Trace - 11:25:32 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/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml</span></html>", | |
| "uri": "daml://compiler?file=%2FUsers%2Fshaulkfir%2Fwork%2Ftmp%2Ftmp-interface-error%2Fdaml%2FMain.daml&top-level-decl=test" | |
| } | |
| [Trace - 11:25:32 AM] Received request 'window/workDoneProgress/create - (11)'. | |
| Params: { | |
| "token": "16" | |
| } | |
| [Trace - 11:25:32 AM] Sending response 'window/workDoneProgress/create - (11)'. Processing request took 0ms | |
| No result returned. | |
| [Trace - 11:25:32 AM] Received notification '$/progress'. | |
| Params: { | |
| "value": { | |
| "kind": "begin", | |
| "title": "Processing" | |
| }, | |
| "token": "16" | |
| } | |
| [Trace - 11:25:32 AM] Received notification '$/progress'. | |
| Params: { | |
| "value": { | |
| "kind": "end" | |
| }, | |
| "token": "16" | |
| } | |
| [Trace - 11:25:32 AM] Sending request 'textDocument/codeLens - (13)'. | |
| Params: { | |
| "textDocument": { | |
| "uri": "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml" | |
| } | |
| } | |
| 2021-12-17 16:25:32.44 [INFO] [LanguageServer] | |
| CodeLens request for file: /Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml | |
| [Trace - 11:25:32 AM] Received response 'textDocument/codeLens - (13)' in 3ms. | |
| Result: [ | |
| { | |
| "command": { | |
| "command": "typesignature.add", | |
| "arguments": [ | |
| { | |
| "changes": { | |
| "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml": [ | |
| { | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 0, | |
| "character": 0 | |
| } | |
| }, | |
| "newText": "_method_CustomWallet_Wallet_getOwner : DA.Internal.Desugar.Method CustomWallet Wallet \"getOwner\" Party\n" | |
| } | |
| ] | |
| } | |
| } | |
| ], | |
| "title": "_method_CustomWallet_Wallet_getOwner : DA.Internal.Desugar.Method CustomWallet Wallet \"getOwner\" Party" | |
| }, | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "command": { | |
| "command": "typesignature.add", | |
| "arguments": [ | |
| { | |
| "changes": { | |
| "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml": [ | |
| { | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 0, | |
| "character": 0 | |
| } | |
| }, | |
| "newText": "_method_CustomWallet_Wallet_receiveImpl : DA.Internal.Desugar.Method CustomWallet Wallet \"receiveImpl\" (Party -> Coin -> Update (ContractId Coin))\n" | |
| } | |
| ] | |
| } | |
| } | |
| ], | |
| "title": "_method_CustomWallet_Wallet_receiveImpl : DA.Internal.Desugar.Method CustomWallet Wallet \"receiveImpl\" (Party -> Coin -> Update (ContractId Coin))" | |
| }, | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "command": { | |
| "command": "typesignature.add", | |
| "arguments": [ | |
| { | |
| "changes": { | |
| "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml": [ | |
| { | |
| "range": { | |
| "start": { | |
| "line": 43, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 43, | |
| "character": 0 | |
| } | |
| }, | |
| "newText": "Main.test : Script ()\n" | |
| } | |
| ] | |
| } | |
| } | |
| ], | |
| "title": "Main.test : Script ()" | |
| }, | |
| "range": { | |
| "start": { | |
| "line": 43, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 43, | |
| "character": 4 | |
| } | |
| } | |
| }, | |
| { | |
| "command": { | |
| "command": "daml.showResource", | |
| "arguments": [ | |
| "Script: test", | |
| "daml://compiler?file=%2FUsers%2Fshaulkfir%2Fwork%2Ftmp%2Ftmp-interface-error%2Fdaml%2FMain.daml&top-level-decl=test" | |
| ], | |
| "title": "Script results" | |
| }, | |
| "range": { | |
| "start": { | |
| "line": 43, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 43, | |
| "character": 4 | |
| } | |
| } | |
| } | |
| ] | |
| [Trace - 11:25:32 AM] Sending request 'textDocument/codeAction - (14)'. | |
| Params: { | |
| "textDocument": { | |
| "uri": "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml" | |
| }, | |
| "range": { | |
| "start": { | |
| "line": 43, | |
| "character": 17 | |
| }, | |
| "end": { | |
| "line": 44, | |
| "character": 11 | |
| } | |
| }, | |
| "context": { | |
| "diagnostics": [] | |
| } | |
| } | |
| [Trace - 11:25:32 AM] Received response 'textDocument/codeAction - (14)' in 2ms. | |
| Result: [] | |
| [Trace - 11:25:32 AM] Sending request 'textDocument/documentSymbol - (15)'. | |
| Params: { | |
| "textDocument": { | |
| "uri": "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml" | |
| } | |
| } | |
| [Trace - 11:25:32 AM] Received response 'textDocument/documentSymbol - (15)' in 2ms. | |
| Result: [ | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 7 | |
| }, | |
| "end": { | |
| "line": 0, | |
| "character": 11 | |
| } | |
| }, | |
| "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": 5 | |
| }, | |
| "end": { | |
| "line": 4, | |
| "character": 11 | |
| } | |
| }, | |
| "kind": 26, | |
| "name": "CoinId", | |
| "range": { | |
| "start": { | |
| "line": 4, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 4, | |
| "character": 29 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| }, | |
| "kind": 23, | |
| "children": [ | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 6, | |
| "character": 10 | |
| }, | |
| "end": { | |
| "line": 6, | |
| "character": 16 | |
| } | |
| }, | |
| "kind": 9, | |
| "name": "Wallet", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| } | |
| ], | |
| "name": "Wallet", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| }, | |
| "kind": 12, | |
| "name": "receiveImpl", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| }, | |
| "kind": 12, | |
| "name": "getOwner", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| }, | |
| "kind": 11, | |
| "name": "(DA.Internal.Desugar.Implements t Wallet) =>\nDA.Internal.Desugar.HasToAnyChoice t Receive (CoinId)", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| }, | |
| "kind": 11, | |
| "name": "(DA.Internal.Desugar.Implements t Wallet) =>\nDA.Internal.Desugar.HasFromAnyChoice t Receive (CoinId)", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| }, | |
| "kind": 11, | |
| "name": "(DA.Internal.Desugar.Implements t Wallet) =>\nDA.Internal.Desugar.HasExercise t Receive (CoinId)", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 10, | |
| "character": 22 | |
| }, | |
| "end": { | |
| "line": 15, | |
| "character": 43 | |
| } | |
| }, | |
| "kind": 23, | |
| "children": [ | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 10, | |
| "character": 22 | |
| }, | |
| "end": { | |
| "line": 10, | |
| "character": 29 | |
| } | |
| }, | |
| "kind": 9, | |
| "name": "Receive", | |
| "range": { | |
| "start": { | |
| "line": 10, | |
| "character": 22 | |
| }, | |
| "end": { | |
| "line": 10, | |
| "character": 29 | |
| } | |
| } | |
| } | |
| ], | |
| "name": "Receive", | |
| "range": { | |
| "start": { | |
| "line": 10, | |
| "character": 22 | |
| }, | |
| "end": { | |
| "line": 15, | |
| "character": 43 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 17, | |
| "character": 9 | |
| }, | |
| "end": { | |
| "line": 20, | |
| "character": 23 | |
| } | |
| }, | |
| "kind": 23, | |
| "children": [ | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 17, | |
| "character": 9 | |
| }, | |
| "end": { | |
| "line": 17, | |
| "character": 21 | |
| } | |
| }, | |
| "kind": 9, | |
| "name": "CustomWallet", | |
| "range": { | |
| "start": { | |
| "line": 17, | |
| "character": 9 | |
| }, | |
| "end": { | |
| "line": 17, | |
| "character": 21 | |
| } | |
| } | |
| } | |
| ], | |
| "name": "CustomWallet", | |
| "range": { | |
| "start": { | |
| "line": 17, | |
| "character": 9 | |
| }, | |
| "end": { | |
| "line": 20, | |
| "character": 23 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| }, | |
| "kind": 12, | |
| "name": "_implements_CustomWallet_Wallet", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| }, | |
| "kind": 12, | |
| "name": "_method_CustomWallet_Wallet_getOwner", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| }, | |
| "kind": 12, | |
| "name": "_method_CustomWallet_Wallet_receiveImpl", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 1, | |
| "character": 0 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 29, | |
| "character": 9 | |
| }, | |
| "end": { | |
| "line": 32, | |
| "character": 18 | |
| } | |
| }, | |
| "kind": 23, | |
| "children": [ | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 29, | |
| "character": 9 | |
| }, | |
| "end": { | |
| "line": 29, | |
| "character": 13 | |
| } | |
| }, | |
| "kind": 9, | |
| "name": "Coin", | |
| "range": { | |
| "start": { | |
| "line": 29, | |
| "character": 9 | |
| }, | |
| "end": { | |
| "line": 29, | |
| "character": 13 | |
| } | |
| } | |
| } | |
| ], | |
| "name": "Coin", | |
| "range": { | |
| "start": { | |
| "line": 29, | |
| "character": 9 | |
| }, | |
| "end": { | |
| "line": 32, | |
| "character": 18 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 36, | |
| "character": 11 | |
| }, | |
| "end": { | |
| "line": 38, | |
| "character": 45 | |
| } | |
| }, | |
| "kind": 23, | |
| "children": [ | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 36, | |
| "character": 11 | |
| }, | |
| "end": { | |
| "line": 36, | |
| "character": 23 | |
| } | |
| }, | |
| "kind": 9, | |
| "name": "TransferCoin", | |
| "range": { | |
| "start": { | |
| "line": 36, | |
| "character": 11 | |
| }, | |
| "end": { | |
| "line": 36, | |
| "character": 23 | |
| } | |
| } | |
| } | |
| ], | |
| "name": "TransferCoin", | |
| "range": { | |
| "start": { | |
| "line": 36, | |
| "character": 11 | |
| }, | |
| "end": { | |
| "line": 38, | |
| "character": 45 | |
| } | |
| } | |
| }, | |
| { | |
| "selectionRange": { | |
| "start": { | |
| "line": 43, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 44, | |
| "character": 11 | |
| } | |
| }, | |
| "kind": 12, | |
| "name": "test", | |
| "range": { | |
| "start": { | |
| "line": 43, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 44, | |
| "character": 11 | |
| } | |
| } | |
| } | |
| ], | |
| "name": "Main", | |
| "range": { | |
| "start": { | |
| "line": 0, | |
| "character": 0 | |
| }, | |
| "end": { | |
| "line": 9223372036854776000, | |
| "character": 0 | |
| } | |
| } | |
| } | |
| ] | |
| [Trace - 11:25:34 AM] Sending request 'textDocument/hover - (16)'. | |
| Params: { | |
| "textDocument": { | |
| "uri": "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml" | |
| }, | |
| "position": { | |
| "line": 0, | |
| "character": 16 | |
| } | |
| } | |
| 2021-12-17 16:25:34.97 [INFO] [LanguageServer] | |
| Hover request at position 1:17 in file: /Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.daml | |
| [Trace - 11:25:34 AM] Received response 'textDocument/hover - (16)' in 15ms. | |
| No result returned. | |
| [Trace - 11:25:35 AM] Sending request 'textDocument/codeAction - (17)'. | |
| Params: { | |
| "textDocument": { | |
| "uri": "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.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" | |
| ] | |
| } | |
| } | |
| [Trace - 11:25:35 AM] Received response 'textDocument/codeAction - (17)' in 4ms. | |
| Result: [] | |
| [Trace - 11:25:37 AM] Sending request 'textDocument/codeAction - (18)'. | |
| Params: { | |
| "textDocument": { | |
| "uri": "file:///Users/shaulkfir/work/tmp/tmp-interface-error/daml/Main.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" | |
| ] | |
| } | |
| } | |
| [Trace - 11:25:37 AM] Received response 'textDocument/codeAction - (18)' in 6ms. | |
| Result: [] | |
| ----------------------- |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment