Unison项目分支切换功能回归问题分析

问题背景

在Unison代码管理器的0.5.20版本中，当用户使用switch命令切换项目时，系统会记住用户在该项目中最后使用的分支。然而在0.5.21版本中，这一功能出现了退化（regression），无论用户之前在该项目中使用的是哪个分支，系统都会默认切换到main分支。

问题表现

通过对比0.5.20和0.5.21版本的行为差异可以清楚地看到这个问题：

1. 在0.5.20版本中：

   • 用户从@unison/base/main切换到testing分支
   • 然后切换到@unison/http项目（进入main分支）
   • 再切换回@unison/base项目时，系统正确地回到了之前的testing分支

2. 在0.5.21版本中：

   • 同样的操作流程
   • 最后切换回@unison/base项目时，系统却回到了main分支，而不是之前使用的testing分支

技术分析

通过代码审查和二分查找(bisect)确定了引入该问题的提交是49eeef37fb3848aee8858435dc054d9992e3。这个提交主要涉及upgrade.commit命令的实现，但意外地影响了分支切换功能。

问题出在ProjectSwitch.hs文件的修改上，该文件负责处理项目分支切换逻辑。在修改过程中，分支记忆功能的实现被无意中破坏，导致系统不再保存和恢复用户在每个项目中最后使用的分支信息。

影响范围

这个回归问题影响了所有从0.5.21版本开始使用Unison代码管理器的用户，特别是那些经常在多个项目和分支间切换的开发人员。它降低了工作效率，因为用户需要手动切换回之前工作的分支，而不是系统自动记住。

解决方案建议

修复此问题需要：

1. 恢复项目分支记忆功能的实现
2. 确保新的upgrade.commit功能不会干扰现有的分支切换逻辑
3. 添加相应的测试用例，防止未来再次出现类似回归

总结

这个案例展示了即使是看似不相关的功能修改，也可能意外影响系统的其他部分。它强调了全面测试的重要性，特别是在修改核心功能时。对于开发者来说，当发现行为变化时，及时使用版本对比和二分查找是定位问题的有效方法。