ITADN

Hole-driven development not working

#526Closedaronjohanns 创建于 2026-01-24
bug
A
aronjohannscommented
### Neovim version (nvim -v) v0.11.5 ### Operating system/version MacOS 26.2 ### Output of :checkhealth haskell-tools ```console ============================================================================== haskell-tools: 2 ⚠️ Checking for Lua dependencies ~ - ✅ OK [nvim-telescope/telescope.nvim](https://github.com/nvim-telescope/telescope.nvim) installed. Checking external dependencies ~ - ✅ OK haskell-language-server: found haskell-language-server version: 2.12.0.0 (GHC: 9.10.3) (PATH: /Users/aronj/.local/share/nvim/mason/packages/haskell-language-server/lib/haskell-language-server-2.12.0.0/bin/haskell-language-server-wrapper) - ✅ OK hoogle: found Hoogle 5.0.18.4, https://hoogle.haskell.org/ - ✅ OK fast-tags: found fast-tags, version 2.0.3 - ✅ OK curl: found curl 8.7.1 (x86_64-apple-darwin25.0) libcurl/8.7.1 (SecureTransport) LibreSSL/3.3.6 zlib/1.2.12 nghttp2/1.67.1 - ⚠️ WARNING haskell-debug-adapter: not found. Install [haskell-debug-adapter](https://github.com/phoityne/haskell-debug-adapter) for extended capabilities. Optional, for `dap` support. - ⚠️ WARNING ghci-dap: not found. Install [ghci-dap](https://github.com/phoityne/ghci-dap) for extended capabilities. Optional, for `dap` support. Checking config ~ - ✅ OK No errors found in config. Checking for conflicting plugins ~ - ✅ OK No conflicting plugins detected. ``` ### How to reproduce the issue mkdir -p /tmp/minimal NVIM_DATA_MINIMAL=/tmp/minimal NVIM_APP_NAME=&quot;ht-nvim-minimal&quot; -u minimal.lua :edit Main.sh i main :: IO () main = getLine >>= _ <Esc> -- Having the cursor on the hole :lua require('haskell-tools').hoogle_signature() ### Expected behaviour I expected the signature searched for to be String -> IO () ### Actual behaviour The name is used and the name being the "_" and not the type signature. ### Log files ```console ``` ### The minimal config used to reproduce this issue. ```Lua use the minimal config ```
关闭于 2026-01-24 0 条评论