Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

LSP server error: "Unknown procedure: make:'$update_library_index'/0" #169

Closed
royward opened this issue Oct 21, 2024 · 0 comments
Closed
Assignees
Labels
bug Issues that represent errors in the code High Priority

Comments

@royward
Copy link
Collaborator

royward commented Oct 21, 2024

Not sure if there is just something missing in my setup.

Happens in the output of VSCode

ERROR: Unknown procedure: make:'$update_library_index'/0
ERROR:   However, there are definitions for:
ERROR:         '$update_library_index'/1
ERROR: 
ERROR: In:
ERROR:   [36] make:'$update_library_index'
ERROR:   [35] '<meta-call>'(each_call_cleanup:((make:('$update_library_index',findall(_3722,make:modified_file(_3736),_3726),list_to_set(_3746,_3748),(...;true),...,...),deterministic(_3770)),(notrace(_3790==true)->!;mquietly(bugger:set_prolog_flag(dmsg_level,[never|...])),notrace(nb_setarg(1,mquietly(bugger: ...),true));bugger:set_prolog_flag(dmsg_level,never),notrace(nb_setarg(1,mquietly(...),bugger: ...)),notrace(fail)))) <foreign>
ERROR:   [34] setup_call_cleanup(bugger:set_prolog_flag(dmsg_level,never),each_call_cleanup:((make:('$update_library_index',findall(_3984,make:modified_file(_3998),_3988),list_to_set(_4008,_4010),(...;true),...,...),deterministic(_4032)),(notrace(_4052==true)->!;mquietly(bugger:set_prolog_flag(dmsg_level,[never|...])),notrace(nb_setarg(1,mquietly(bugger: ...),true));bugger:set_prolog_flag(dmsg_level,never),notrace(nb_setarg(1,mquietly(...),bugger: ...)),notrace(fail))),each_call_cleanup:mquietly(bugger:set_prolog_flag(dmsg_level,[never,error,warning,info,filter|...]))) at /home/roy/lib/swipl/boot/init.pl:682
ERROR:   [32] locally_each:wtl_how(locally_each:trusted_redo_call_cleanup,locally_each:(never==[never,error,warning,info,filter,always]),bugger:set_prolog_flag(dmsg_level,never),make:('$update_library_index',findall(_4344,make:modified_file(_4358),_4348),list_to_set(_4368,_4370),(prolog:make_hook(before,_4400)->true;true),print_message(silent,make(reload(_4420))),maplist(reload_file,_4432),print_message(silent,...),(...;...)),bugger:set_prolog_flag(dmsg_level,[never,error,warning,info,filter,always])) at /home/roy/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo/redo_locally.pl:217
ERROR:   [29] bugger:with_no_dmsg(make:('$update_library_index',findall(_4556,make:modified_file(_4570),_4560),list_to_set(_4580,_4582),(prolog:make_hook(before,_4612)->true;true),print_message(silent,make(reload(_4632))),maplist(reload_file,_4644),print_message(silent,...),(...;...))) at /home/roy/.local/share/swi-prolog/pack/logicmoo_utils/prolog/debuggery/dmsg.pl:571
ERROR:   [28] locally_each:wtl_how(locally_each:trusted_redo_call_cleanup,locally_each:(silent==silent),lsp_server_metta:set_prolog_flag(verbose_load,silent),lsp_server_metta:with_no_dmsg(make:('$update_library_index',findall(_4768,make:modified_file(_4782),_4772),list_to_set(_4792,_4794),(... -> true;true),print_message(silent,...),...,...)),lsp_server_metta:set_prolog_flag(verbose_load,silent)) at /home/roy/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo/redo_locally.pl:217
ERROR:   [25] xlisting_console:update_changed_files1 at /home/roy/.local/share/swi-prolog/pack/logicmoo_utils/prolog/xlisting/xlisting_console.pl:1505
ERROR:   [23] lsp_server_metta:handle_msg("initialize",_4918{id:0,jsonrpc:"2.0",method:"initialize",params:_4938{capabilities:_5004{general:_5028{markdown:_5048{parser:"marked",version:"1.1.0"},positionEncodings:["utf-16"],regularExpressions:_5090{engine:"ECMAScript",version:"ES2020"},staleRequestSupport:_5060{cancel:true,retryOnContentModified:["textDocument/semanticTokens/full","textDocument/semanticTokens/range","textDocument/semanticTokens/full/delta"]}},notebookDocument:_5768{synchronization:_5776{dynamicRegistration:true,executionSummarySupport:true}},textDocument:_5148{'<skipped>':13,callHierarchy:_5736{dynamicRegistration:true},codeAction:_5634{codeActionLiteralSupport:_5680{codeActionKind:_5688{valueSet:["","quickfix"|...]}},dataSupport:true,disabledSupport:true,dynamicRegistration:true,honorsChangeAnnotations:true,isPreferredSupport:true,resolveSupport:_5666{properties:["edit"]}},codeLens:_5434{dynamicRegistration:true},colorProvider:_5728{dynamicRegistration:true},completion:_5220{completionItem:_5248{commitCharactersSupport:true,deprecatedSupport:true,documentationFormat:["markdown","plaintext"],insertReplaceSupport:true,insertTextModeSupport:_5338{valueSet:[1,2]},labelDetailsSupport:true,preselectSupport:true,resolveSupport:_5306{properties:["documentation","detail"|...]},snippetSupport:true,tagSupport:_5292{valueSet:[1]}},completionItemKind:_5358{valueSet:[1,2,3|...]},completionList:_5384{itemDefaults:["commitCharacters","editRange","insertTextFormat"|...]},contextSupport:true,dynamicRegistration:true,insertTextMode:2},declaration:_5410{dynamicRegistration:true,linkSupport:true},definition:_5422{dynamicRegistration:true,linkSupport:true},diagnostic:_5744{dynamicRegistration:true,relatedDocumentSupport:false},documentHighlight:_5562{dynamicRegistration:true},documentLink:_5716{dynamicRegistration:true,tooltipSupport:true},documentSymbol:_5570{dynamicRegistration:true,hierarchicalDocumentSymbolSupport:true,labelSupport:true,symbolKind:_5594{valueSet:[1,2,3|...]},tagSupport:_5620{valueSet:[1]}},foldingRange:_5442{dynamicRegistration:true,foldingRange:_5466{collapsedText:false},foldingRangeKind:_5474{valueSet:["comment","imports","region"]},lineFoldingOnly:true,rangeLimit:5000},formatting:_5708{dynamicRegistration:true},hover:_5538{contentFormat:["markdown","plaintext"],dynamicRegistration:true},implementation:_5756{dynamicRegistration:true,linkSupport:true},inlayHint:_5500{dynamicRegistration:true,resolveSupport:_5512{properties:["tooltip","textEdits","label.tooltip"|...]}}},window:_5108{showDocument:_5140{support:true},showMessage:_5124{messageActionItem:_5132{additionalPropertiesSupport:true}},workDoneProgress:true},workspace:_5788{applyEdit:true,codeLens:_5988{refreshSupport:true},configuration:true,diagnostics:_6076{refreshSupport:true},didChangeConfiguration:_6004{dynamicRegistration:true},didChangeWatchedFiles:_5976{dynamicRegistration:true,relativePatternSupport:true},executeCommand:_5996{dynamicRegistration:true},fileOperations:_6028{didCreate:true,didDelete:true,didRename:true,dynamicRegistration:true,willCreate:true,willDelete:true,willRename:true},foldingRange:_6012{refreshSupport:true},inlayHint:_6068{refreshSupport:true},inlineValue:_6060{refreshSupport:true},semanticTokens:_6020{refreshSupport:true},symbol:_5852{dynamicRegistration:true,resolveSupport:_5912{properties:["location.range"]},symbolKind:_5872{valueSet:[1,2,3|...]},tagSupport:_5898{valueSet:[1]}},workspaceEdit:_5926{changeAnnotationSupport:_5968{groupsOnLabel:true},documentChanges:true,failureHandling:"textOnlyTransactional",normalizesLineEndings:true,resourceOperations:["create","rename","delete"]},workspaceFolders:true}},clientInfo:_4974{name:"Visual Studio Code",version:"1.94.2"},locale:"en",processId:526092,rootPath:"/home/roy/prolog/metta-wam/grammar/metta-language",rootUri:"file:///home/roy/prolog/metta-wam/grammar/metta-language",trace:"off",workspaceFolders:[_4992{name:"metta-language",uri:"file:///home/roy/prolog/metta-wam/grammar/metta-language"}]}},_4914) at /home/roy/.local/share/swi-prolog/pack/lsp_server_metta/prolog/lsp_server_metta.pl:384
ERROR:   [22] catch(lsp_server_metta:handle_msg("initialize",_4918{id:0,jsonrpc:"2.0",method:"initialize",params:_4938{capabilities:_5004{general:_5028{markdown:_5048{parser:"marked",version:"1.1.0"},positionEncodings:["utf-16"],regularExpressions:_5090{engine:"ECMAScript",version:"ES2020"},staleRequestSupport:_5060{cancel:true,retryOnContentModified:["textDocument/semanticTokens/full","textDocument/semanticTokens/range"|...]}},notebookDocument:_5768{synchronization:_5776{dynamicRegistration:true,executionSummarySupport:true}},textDocument:_5148{'<skipped>':13,callHierarchy:_5736{dynamicRegistration:true},codeAction:_5634{codeActionLiteralSupport:_5680{codeActionKind:_5688{valueSet: ...}},dataSupport:true,disabledSupport:true,dynamicRegistration:true,honorsChangeAnnotations:true,isPreferredSupport:true,resolveSupport:_5666{properties:["edit"]}},codeLens:_5434{dynamicRegistration:true},colorProvider:_5728{dynamicRegistration:true},completion:_5220{completionItem:_5248{commitCharactersSupport:true,deprecatedSupport:true,documentationFormat:["markdown"|...],insertReplaceSupport:true,insertTextModeSupport:_5338{valueSet: ...},labelDetailsSupport:true,preselectSupport:true,resolveSupport:_5306{properties: ...},snippetSupport:true,tagSupport:_5292{valueSet: ...}},completionItemKind:_5358{valueSet:[1|...]},completionList:_5384{itemDefaults:["commitCharacters"|...]},contextSupport:true,dynamicRegistration:true,insertTextMode:2},declaration:_5410{dynamicRegistration:true,linkSupport:true},definition:_5422{dynamicRegistration:true,linkSupport:true},diagnostic:_5744{dynamicRegistration:true,relatedDocumentSupport:false},documentHighlight:_5562{dynamicRegistration:true},documentLink:_5716{dynamicRegistration:true,tooltipSupport:true},documentSymbol:_5570{dynamicRegistration:true,hierarchicalDocumentSymbolSupport:true,labelSupport:true,symbolKind:_5594{valueSet:[1|...]},tagSupport:_5620{valueSet:[1]}},foldingRange:_5442{dynamicRegistration:true,foldingRange:_5466{collapsedText:false},foldingRangeKind:_5474{valueSet:["comment"|...]},lineFoldingOnly:true,rangeLimit:5000},formatting:_5708{dynamicRegistration:true},hover:_5538{contentFormat:["markdown","plaintext"],dynamicRegistration:true},implementation:_5756{dynamicRegistration:true,linkSupport:true},inlayHint:_5500{dynamicRegistration:true,resolveSupport:_5512{properties:["tooltip"|...]}}},window:_5108{showDocument:_5140{support:true},showMessage:_5124{messageActionItem:_5132{additionalPropertiesSupport:true}},workDoneProgress:true},workspace:_5788{applyEdit:true,codeLens:_5988{refreshSupport:true},configuration:true,diagnostics:_6076{refreshSupport:true},didChangeConfiguration:_6004{dynamicRegistration:true},didChangeWatchedFiles:_5976{dynamicRegistration:true,relativePatternSupport:true},executeCommand:_5996{dynamicRegistration:true},fileOperations:_6028{didCreate:true,didDelete:true,didRename:true,dynamicRegistration:true,willCreate:true,willDelete:true,willRename:true},foldingRange:_6012{refreshSupport:true},inlayHint:_6068{refreshSupport:true},inlineValue:_6060{refreshSupport:true},semanticTokens:_6020{refreshSupport:true},symbol:_5852{dynamicRegistration:true,resolveSupport:_5912{properties:["location.range"]},symbolKind:_5872{valueSet:[1|...]},tagSupport:_5898{valueSet:[1]}},workspaceEdit:_5926{changeAnnotationSupport:_5968{groupsOnLabel:true},documentChanges:true,failureHandling:"textOnlyTransactional",normalizesLineEndings:true,resourceOperations:["create","rename"|...]},workspaceFolders:true}},clientInfo:_4974{name:"Visual Studio Code",version:"1.94.2"},locale:"en",processId:526092,rootPath:"/home/roy/prolog/metta-wam/grammar/metta-language",rootUri:"file:///home/roy/prolog/metta-wam/grammar/metta-language",trace:"off",workspaceFolders:[_4992{name:"metta-language",uri:"file:///home/roy/prolog/metta-wam/grammar/metta-language"}]}},_6128),error(existence_error(procedure,make:'$update_library_index'/0),context(system:'<meta-call>'/1,_7192)),lsp_server_metta:(error(existence_error(procedure,make:'$update_library_index'/0),context(system:'<meta-call>'/1,_7258))==canceled->throw(canceled);debug(server(high),"Error in:\n\n?- catch_with_backtrace(~q).\n\nHandling message:\n\n~@~n\n",[handle_msg("initialize",_4918{id:0,jsonrpc:"2.0",method:"initialize",params:_4938{capabilities:_5004{general: ...,notebookDocument: ...,textDocument: ...,window: ...,workspace: ...},clientInfo:_4974{name:"Visual Studio Code",version:"1.94.2"},locale:"en",processId:526092,rootPath:"/home/roy/prolog/metta-wam/grammar/metta-language",rootUri:"file:///home/roy/prolog/metta-wam/grammar/metta-language",trace:"off",workspaceFolders:[...]}},_7306),print_message(error,error(existence_error(procedure,...),context(...,_7434)))]),throw(error(existence_error(procedure,make:'$update_library_index'/0),context(system:'<meta-call>'/1,_7468))))) at /home/roy/lib/swipl/boot/init.pl:565
ERROR:   [21] catch_with_backtrace(lsp_server_metta:handle_msg("initialize",_4918{id:0,jsonrpc:"2.0",method:"initialize",params:_4938{capabilities:_5004{general:_5028{markdown:_5048{parser:"marked",version:"1.1.0"},positionEncodings:["utf-16"],regularExpressions:_5090{engine:"ECMAScript",version:"ES2020"},staleRequestSupport:_5060{cancel:true,retryOnContentModified:["textDocument/semanticTokens/full","textDocument/semanticTokens/range"|...]}},notebookDocument:_5768{synchronization:_5776{dynamicRegistration:true,executionSummarySupport:true}},textDocument:_5148{'<skipped>':13,callHierarchy:_5736{dynamicRegistration:true},codeAction:_5634{codeActionLiteralSupport:_5680{codeActionKind:_5688{valueSet: ...}},dataSupport:true,disabledSupport:true,dynamicRegistration:true,honorsChangeAnnotations:true,isPreferredSupport:true,resolveSupport:_5666{properties:["edit"]}},codeLens:_5434{dynamicRegistration:true},colorProvider:_5728{dynamicRegistration:true},completion:_5220{completionItem:_5248{commitCharactersSupport:true,deprecatedSupport:true,documentationFormat:["markdown"|...],insertReplaceSupport:true,insertTextModeSupport:_5338{valueSet: ...},labelDetailsSupport:true,preselectSupport:true,resolveSupport:_5306{properties: ...},snippetSupport:true,tagSupport:_5292{valueSet: ...}},completionItemKind:_5358{valueSet:[1|...]},completionList:_5384{itemDefaults:["commitCharacters"|...]},contextSupport:true,dynamicRegistration:true,insertTextMode:2},declaration:_5410{dynamicRegistration:true,linkSupport:true},definition:_5422{dynamicRegistration:true,linkSupport:true},diagnostic:_5744{dynamicRegistration:true,relatedDocumentSupport:false},documentHighlight:_5562{dynamicRegistration:true},documentLink:_5716{dynamicRegistration:true,tooltipSupport:true},documentSymbol:_5570{dynamicRegistration:true,hierarchicalDocumentSymbolSupport:true,labelSupport:true,symbolKind:_5594{valueSet:[1|...]},tagSupport:_5620{valueSet:[1]}},foldingRange:_5442{dynamicRegistration:true,foldingRange:_5466{collapsedText:false},foldingRangeKind:_5474{valueSet:["comment"|...]},lineFoldingOnly:true,rangeLimit:5000},formatting:_5708{dynamicRegistration:true},hover:_5538{contentFormat:["markdown","plaintext"],dynamicRegistration:true},implementation:_5756{dynamicRegistration:true,linkSupport:true},inlayHint:_5500{dynamicRegistration:true,resolveSupport:_5512{properties:["tooltip"|...]}}},window:_5108{showDocument:_5140{support:true},showMessage:_5124{messageActionItem:_5132{additionalPropertiesSupport:true}},workDoneProgress:true},workspace:_5788{applyEdit:true,codeLens:_5988{refreshSupport:true},configuration:true,diagnostics:_6076{refreshSupport:true},didChangeConfiguration:_6004{dynamicRegistration:true},didChangeWatchedFiles:_5976{dynamicRegistration:true,relativePatternSupport:true},executeCommand:_5996{dynamicRegistration:true},fileOperations:_6028{didCreate:true,didDelete:true,didRename:true,dynamicRegistration:true,willCreate:true,willDelete:true,willRename:true},foldingRange:_6012{refreshSupport:true},inlayHint:_6068{refreshSupport:true},inlineValue:_6060{refreshSupport:true},semanticTokens:_6020{refreshSupport:true},symbol:_5852{dynamicRegistration:true,resolveSupport:_5912{properties:["location.range"]},symbolKind:_5872{valueSet:[1|...]},tagSupport:_5898{valueSet:[1]}},workspaceEdit:_5926{changeAnnotationSupport:_5968{groupsOnLabel:true},documentChanges:true,failureHandling:"textOnlyTransactional",normalizesLineEndings:true,resourceOperations:["create","rename"|...]},workspaceFolders:true}},clientInfo:_4974{name:"Visual Studio Code",version:"1.94.2"},locale:"en",processId:526092,rootPath:"/home/roy/prolog/metta-wam/grammar/metta-language",rootUri:"file:///home/roy/prolog/metta-wam/grammar/metta-language",trace:"off",workspaceFolders:[_4992{name:"metta-language",uri:"file:///home/roy/prolog/metta-wam/grammar/metta-language"}]}},_7528),error(existence_error(procedure,make:'$update_library_index'/0),context(system:'<meta-call>'/1,_8592)),lsp_server_metta:(error(existence_error(procedure,make:'$update_library_index'/0),context(system:'<meta-call>'/1,_8658))==canceled->throw(canceled);debug(server(high),"Error in:\n\n?- catch_with_backtrace(~q).\n\nHandling message:\n\n~@~n\n",[handle_msg("initialize",_4918{id:0,jsonrpc:"2.0",method:"initialize",params:_4938{capabilities:_5004{general: ...,notebookDocument: ...,textDocument: ...,window: ...,workspace: ...},clientInfo:_4974{name:"Visual Studio Code",version:"1.94.2"},locale:"en",processId:526092,rootPath:"/home/roy/prolog/metta-wam/grammar/metta-language",rootUri:"file:///home/roy/prolog/metta-wam/grammar/metta-language",trace:"off",workspaceFolders:[...]}},_8706),print_message(error,error(existence_error(procedure,...),context(...,_8834)))]),throw(error(existence_error(procedure,make:'$update_library_index'/0),context(system:'<meta-call>'/1,_8868))))) at /home/roy/lib/swipl/boot/init.pl:645
ERROR: 
ERROR: Note: some frames are missing due to last-call optimization.
ERROR: Re-run your program in debug mode (:- debug.) to get more detail.

TeamSPoon added a commit that referenced this issue Oct 21, 2024
@TeamSPoon TeamSPoon added bug Issues that represent errors in the code High Priority labels Oct 22, 2024
TeamSPoon added a commit that referenced this issue Dec 4, 2024
TeamSPoon added a commit that referenced this issue Dec 4, 2024
TeamSPoon added a commit that referenced this issue Dec 4, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Issues that represent errors in the code High Priority
Projects
None yet
Development

No branches or pull requests

2 participants