Haskell语言服务器中记录通配符提示显示生成名称的问题分析

在Haskell语言服务器(HLS)项目中，用户报告了一个关于记录通配符(Record Wildcards)功能提示显示问题的bug。该问题主要出现在使用记录模式匹配时，提示信息中会显示GHC生成的内部名称而非用户友好的字段名称。

问题现象

当开发者使用记录通配符进行模式匹配时，HLS提供的类型提示会显示类似$sel:shakeDb这样的生成名称，而不是开发者预期的原始字段名shakeDb。这种情况在GHC 9.6.7版本中出现，但在记录构造场景下工作正常。

技术背景

这个问题源于GHC的DisambiguateRecordFields扩展功能。该扩展在处理记录字段时会自动对所有记录选择器名称进行转换(mangle)，生成内部使用的唯一标识符。这种转换虽然保证了编译的正确性，但却导致了开发者工具中显示不友好的名称。

解决方案分析

解决这个问题的关键在于如何从GHC生成的内部名称中还原出原始的用户友好名称。代码贡献者kozak提出了一个可行的方案：参考HLS项目中已有的名称处理逻辑，通过剥离前缀的方式来恢复原始名称。

在HLS的代码补全逻辑中，已经有类似的名称处理机制，可以识别并去除GHC添加的前缀部分。这种方案已经被证明在代码补全场景下工作良好，可以迁移应用到类型提示功能中。

实现与修复

仓库协作者fendor采纳了这个解决方案，并通过PR #4593修复了这个问题。修复后的版本能够正确显示原始字段名称，提升了开发者的使用体验。

这个问题的解决展示了HLS项目如何协调GHC内部实现与开发者友好界面之间的关系，也体现了开源社区协作解决问题的典型流程：从问题报告、技术讨论到最终实现。