Cabal构建报错：不可升级包约束需已安装实例问题咨询

1. 什么是“不可升级包”？ #

• 在Haskell生态里，base是和GHC编译器强绑定的核心包——每个GHC版本对应唯一的base版本，比如GHC 9.4.7就对应base-4.17.2.1，GHC 9.2.x则对应base-4.16.x。
• 这类和编译器深度绑定的包就是“不可升级包”：你没法单独安装或升级base的其他版本，必须通过更换GHC版本才能切换对应的base。Cabal会把这类包标记为non-upgradeable，因为它们的版本完全由当前GHC决定，无法独立调整。

2. 为什么Cabal不自动安装base-4.17.2.1？ #

• 核心原因是你当前用的GHC版本和base-4.17.2.1不匹配。base的代码和GHC内部实现深度耦合，跨版本根本不兼容——比如你用GHC 9.2.x的话，只能用base-4.16.x，哪怕Cabal找到了base-4.17.2.1的包，也没法在当前环境下安装使用。
• 冻结配置解决不了这个问题，因为冻结文件只是锁定依赖版本，但突破不了GHC和base的绑定限制。如果冻结文件里指定的base版本和当前GHC不匹配，Cabal照样报错。

可行的解决步骤 #

• 先查当前GHC版本：运行ghc --version，确认它对应的base版本是否符合^>=4.17.2.1（需要GHC 9.4系列版本）。
• 安装对应GHC版本：用ghcup install ghc 9.4.7（或其他9.4.x版本），然后切换过去：ghcup set ghc 9.4.7。
• 重新构建项目：切换GHC后，Cabal会自动使用匹配的base-4.17.2.1，不需要单独安装base。

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