如何通过GHCup+cabal管理XMonad及相关组件？附系列技术疑问

1. 该命令为何能解决问题？ #

cabal install --package-env=$HOME/.config/xmonad --lib base xmonad xmonad-contrib 核心作用有两点：

• 指定将依赖包安装到~/.config/xmonad对应的本地包环境，而非全局包数据库
• 把xmonad、xmonad-contrib等编译XMonad必需的包，注入到这个专属环境中，让编译工具在处理XMonad配置时，优先读取该环境的包数据库。

更新GHC后，新版本的全局包数据库是空的（没有迁移旧版本的依赖），XMonad编译时默认读取当前GHC的全局库，自然找不到模块。这个命令相当于给XMonad配置单独绑定了一个包含所需依赖的环境，编译时就能定位到对应模块了。

2. 为何通过GHCup更新GHC会“破坏”模块？ #

不是GHCup“破坏”了模块，而是每个GHC版本都有独立的全局包数据库。更新并切换到新GHC版本后，旧版本下安装的xmonad、xmonad-contrib等包不会自动迁移到新GHC的数据库中。新GHC的全局库中没有这些依赖，编译XMonad时就会出现模块找不到的错误。

3. 此处的“破坏”是否应表述为“隐藏”？ #

不准确。“隐藏”指的是包存在但被标记为不可见，而这里的情况是新GHC的包数据库中根本没有这些依赖包，属于“缺失”而非“隐藏”。更准确的描述是“依赖包不在当前GHC环境的可见范围内”。

4. 什么是隐藏包？ #

隐藏包是指已存在于GHC包数据库中，但默认不会被ghc、cabal等工具纳入模块搜索路径的包。常见原因包括：

• 包版本与当前GHC版本不兼容，被工具自动标记为隐藏
• 包是其他包的间接依赖，不需要直接暴露给用户
• 用户通过cabal或ghc-pkg命令手动将其标记为隐藏

5. 执行cabal install --lib 被HLS标记为隐藏的包是否为错误操作？ #

不一定是错误操作，但要分场景：

• 如果HLS标记隐藏是因为该包不在当前项目/环境的可见范围内，针对特定环境（比如XMonad配置目录的环境，加上--package-env参数）执行该命令是合理的，能解决模块找不到的问题。
• 但不建议不加--package-env直接全局安装，这会污染全局包数据库，容易引发不同项目间的依赖版本冲突。

6. 使用GHCup进行更新的正确方式是什么？ #

遵循以下步骤可避免大部分依赖问题：

1. 先更新GHCup本身：

   ghcup upgrade
   

2. 查看版本列表，安装并切换到目标版本：

   # 查看已安装和可安装的版本
   ghcup list
   # 安装目标GHC版本并切换
   ghcup install ghc 9.4.8
   ghcup set ghc 9.4.8
   # 同理更新并切换Cabal版本
   ghcup install cabal 3.10.2.1
   ghcup set cabal 3.10.2.1
   

3. 为工具/项目创建独立包环境：
   以XMonad为例，不要依赖全局包数据库，给配置目录单独创建环境：

   cd ~/.config/xmonad
   # 初始化环境（无cabal配置文件时执行）
   cabal init --minimal --package-name xmonad-config --non-interactive
   # 安装所需依赖到该环境
   cabal install --lib xmonad xmonad-contrib
   

4. 切换GHC版本后，重新安装对应环境的依赖：
   每个GHC版本的包数据库相互独立，切换版本后需要给对应的工具/项目环境重新安装依赖。

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