Cabal无法安装指定版本template-haskell包，提示‘only already installed instances can be used’的含义是什么？

问题背景 #

我尝试安装指定版本的template-haskell包时执行了以下命令：

PS C:\Users\Neo> cabal install template-haskell-2.15.0.0

得到的错误输出如下：

解析依赖关系...
cabal-3.6.2.0.exe: 无法解析依赖关系:
[__0] 下一个目标：template-haskell（用户目标）
[__0] 拒绝：template-haskell-2.19.0.0、template-haskell-2.18.0.0、template-haskell-2.17.0.0、template-haskell-2.16.0.0（用户目标约束要求 ==2.15.0.0）
[__0] 拒绝：template-haskell-2.15.0.0（only already installed instances can be used）
[__0] 拒绝：template-haskell-2.14.0.0、template-haskell-2.13.0.0、template-haskell-2.12.0.0、template-haskell-2.11.1.0、template-haskell-2.11.0.0、template-haskell-2.10.0.0、template-haskell-2.9.0.0、template-haskell-2.8.0.0、template-haskell-2.7.0.0、template-haskell-2.6.0.0、template-haskell-2.5.0.0、template-haskell-2.4.0.1、template-haskell-2.4.0.0、template-haskell-2.3.0.1、template-haskell-2.3.0.0、template-haskell-2.2.0.0（用户目标约束要求 ==2.15.0.0）
[__0] 失败（回溯，冲突集合：template-haskell）
在彻底搜索依赖树的其余部分后，最难实现的目标是：template-haskell

我想知道提示信息only already installed instances can be used实际是什么意思？

回答 #

这个提示的核心意思很直白：你指定的template-haskell-2.15.0.0版本，Cabal无法从软件源下载并重新编译安装它，只能使用你系统里已经存在的这个包的副本。

为什么会出现这种情况？主要和Haskell生态里的核心包机制有关：

• template-haskell是GHC编译器的核心依赖包，不同版本的GHC会绑定固定版本的template-haskell——比如GHC 8.8.x系列对应的正好就是template-haskell-2.15.0.0。这类核心包是随GHC一起安装的，和编译器深度耦合，Cabal不会允许你单独重新安装它们（强行操作会破坏整个Haskell环境的稳定性）。
• 你的Cabal配置或者当前使用的环境快照（比如Nix环境、Cabal的全局配置）可能限制了这个包只能使用本地已安装的版本，禁止从远程仓库获取。

给你几个实用的建议：

1. 先检查当前的GHC版本：执行ghc --version，如果输出是GHC 8.8.x，那template-haskell-2.15.0.0本来就是编译器自带的，完全不需要额外安装。
2. 如果是因为项目依赖冲突才指定这个版本，那你需要调整项目的依赖约束，或者切换到匹配这个包版本的GHC环境（比如安装GHC 8.8.x版本）——毕竟核心包的版本和GHC是强绑定的，没法单独拆分更换。

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