VSCode使用Haskell时Go To Definition对部分符号不生效问题求助

• Haskell Language Server（HLS）对Template Haskell生成符号的跳转支持存在缺陷：Plutus项目大量使用Template Haskell动态生成类型、函数与别名，HLS的符号索引逻辑目前无法完整收录所有动态生成符号的源码映射关系，但悬停功能依赖编译阶段生成的类型缓存信息，因此会出现悬停可查看定义位置、跳转却失败的情况。你提到的同文件内同一AuctionSchema符号部分可跳转、部分不可跳转，就是因为可跳转的位置是源码中手写的引用，不可跳转的位置是Template Haskell拼接代码生成的引用。
• 多组件Cabal项目索引边界限制：plutus-pioneer-program仓库中每周的示例代码都是独立的Cabal组件，HLS默认仅索引当前打开文件所属组件内的符号，跨组件引用或属于Nix依赖包的符号默认不会触发跳转。
• Nix环境路径映射问题：旧版本HLS无法正确处理Nix Store内依赖包的只读路径映射，也会导致依赖包内符号跳转失败。

• 升级HLS版本：在你的nix-shell配置中使用最新稳定版的haskell-language-server-static包，或使用项目flake提供的预编译HLS版本，新版本已修复大量Template Haskell符号索引相关问题。
• 新增hie.yaml配置文件：在项目根目录创建hie.yaml文件，明确指定所有Cabal组件的路径与对应组件名，示例配置如下：

cradle:
  cabal:
    - path: "./code/week01"
      component: "week01:lib"
    - path: "./code/week02"
      component: "week02:lib"
    # 剩余周的组件按照以上格式依次补充

• 调整VSCode Haskell扩展配置：打开扩展设置，开启「Haskell > Check Project」选项，同时启用「Haskell > Plugin: Import Lenses: Code Action On」配置，允许HLS全量索引整个项目的所有组件。
• 正确启动VSCode：每次都在进入对应项目的nix-shell终端中执行code .命令启动VSCode，确保VSCode完整继承nix-shell的环境变量，HLS可正常识别所有依赖路径。
• 临时兼容方案：对于仍无法跳转的Template Haskell生成符号，可使用VSCode全局符号搜索（快捷键Ctrl+T/Cmd+T）直接搜索符号名跳转，或配合cabal haddock生成的项目文档查找定义。

内容的提问来源于stack exchange，提问作者Paymahn Moghadasian