dhall-lang/vscode-dhall-lsp-server

"command 'dhall.annotateLet' not found"

samuela opened this issue · 2 comments

samuela commented

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

Same for all the other commands:

  • Freeze import
  • Freeze all imports
  • Lint and format
samuela commented

moving this issue over to dhall-lang/vscode-language-dhall#13