lean.nvim emits logs on other files to ~/.local/state/nvim.log

Assessment

Research direction

Description

[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	"N"
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	"o 'hie.yaml' found. Try to discover the project type!\n"
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	"Run entered for "
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	"haskell-language-server-wrapper(haskell-language-server-wrapper) Version 2"
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	".8.0.0 x86_64 ghc-9.8.2"
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	"\nCurrent direc"
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	"tory: /home/mangoi"
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	"v/Devel/hs\nOperating system: linux\nArg"
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	'uments: ["--lsp","--l'
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	'ogfile","/tmp/nix-'
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	"shell.yzvVWi/nvi"
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	"m.mangoiv/BJ7D7"
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	"Q/0-haskell-langu"
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	"age-server.l"
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	'og"]\nCradle di'
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	"rectory: /home/ma"
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	"ngoiv/Devel/hs\nCrad"
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	"le type: Default\n"
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	"\nTool version"
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	"s found on the $PATH\ncabal:       "
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	"   "
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	"3."
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	"10.3."
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	"0\nstack: "
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	"         No"
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	"t found\nghc"
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	":            "
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	"9.8.2\n\n\nConsulting "
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	"the cradle t"
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	"o get pr"
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	"oject "
[ERROR][2024-07-04 10:54:16] .../lean/stderr.lua:74	"rpc"	"haskell-language-server-wrapper"	"stderr"	"GHC ve"

Getting set up

First steps

1. Read the whole issue, then the project's contributing guide.
2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
3. Fork the repository and make your change on a branch.
4. Open a pull request that references the issue number.

More from Julian/lean.nvim

• Non-tactic `stop` shouldn't be highlighted in red

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 2/5 1-3 hours Newbie friendliness 70/100

  Julian/lean.nvim#564 · Opened Oct 13, 2026

• Telescope lean_abbreviations fails: abbreviations.load() resolves abbreviations.json relative to its caller

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 2/5 1-3 hours Newbie friendliness 88/100

  Julian/lean.nvim#555 · Opened Oct 3, 2026

• Show the current range of `expected type` as a highlight on the Lean buffer

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 3/5 1-2 days Newbie friendliness 56/100

  Julian/lean.nvim#567 · Opened Oct 17, 2026

• LSP does not restart on version upgrade

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 48/100

  Julian/lean.nvim#554 · 7 comments · Opened Sep 27, 2026

• ProofWidgets GraphDisplay Not working

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 3/5 1-2 days Newbie friendliness 58/100

  Julian/lean.nvim#524 · Opened Jun 20, 2026

All issues in Julian/lean.nvim

Similar issues

• fix(polls): answer-poll with more answers than poll options crashes the handler

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 2/5 1-3 hours Newbie friendliness 88/100

  jitsi/jitsi-meet#18020 · Opened Oct 18, 2026

  Maintainers usually reply within 1 day

• GTK4 apps (Nautilus) aren't blurred: GTK 4.24's ext-background-effect makes Hyprland 0.56 skip blur

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 1/5 Under an hour Newbie friendliness 94/100

  omacom/omarchy#15793 · Opened Oct 18, 2026

  Maintainers usually reply within 2 days

• lx update does not persist the new version to the workspace lockfile

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 2/5 1-3 hours Newbie friendliness 90/100

  lumen-oss/lux#2041 · Opened Oct 17, 2026

  Maintainers usually reply within 1 day

• Changing a buffer's filetype keeps the setup of the first filetype

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 2/5 1-3 hours Newbie friendliness 78/100

  windwp/nvim-ts-autotag#266 · Opened Oct 17, 2026

• bug: E5002 Cannot find window number in Context.ctx() when chosen window is in another tab

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 2/5 1-3 hours Newbie friendliness 78/100

  folke/sidekick.nvim#362 · Opened Oct 17, 2026

More Lua issues