search

dhall-lang / vscode-dhall-lsp-server

VSCode pluging that provides LSP support for the Dhall programming language
MIT License
17 stars 8 forks source link

"command 'dhall.annotateLet' not found" #44

Closed samuela closed 1 year ago

samuela commented 1 year ago

When attempting to invoke "dhall > Annotate Let binding with its type" via the Command Pallette, I'm seeing an error dialog:

command 'dhall.annotateLet' not found
Screen Shot 2023-02-03 at 9 27 31 PM
samuela commented 1 year ago

Same for all the other commands:

samuela commented 1 year ago

moving this issue over to https://github.com/dhall-lang/vscode-language-dhall/issues/13