向Stack项目添加QuickCheck库遇模块导入问题求助

别混用Cabal和Stack命令 #

Stack会自主管理项目依赖，完全不需要手动执行cabal install——你收到的警告也明确说了，这个命令不会将库暴露给你的项目，反而可能打乱Stack的依赖环境，直接弃用这个操作就行。

检查.cabal文件的配置细节 #

• 确认依赖位置正确：要把QuickCheck加到对应目标的build-depends字段里：
  • 如果是库代码，加在library段的build-depends下；
  • 如果是可执行程序，加在executable段的build-depends下；
  • 如果是测试代码，加在test-suite段的build-depends下。
    示例配置：

  library
    build-depends:
      base >= 4.14 && < 5,
      QuickCheck >= 2.14
  

• 注意缩进规范：Cabal文件对缩进敏感，每个依赖项必须和build-depends字段保持相同缩进层级，否则Stack可能无法识别该依赖。

刷新Stack环境并重新构建 #

1. 清理旧构建缓存：

   stack clean
   

2. 重新生成项目环境配置：

   stack setup
   

3. 完整构建项目（包含测试依赖）：

   stack build --test --bench --no-run-tests --no-run-benchmarks
   

核对模块导入语句 #

QuickCheck的核心模块是Test.QuickCheck，不是直接写QuickCheck，确保导入语句正确：

-- 导入部分函数
import Test.QuickCheck (property, arbitrary)
-- 或导入整个模块
import Test.QuickCheck

编辑器环境刷新 #

如果你用VS Code+HLS或其他Haskell IDE，重启编辑器让它重新读取Stack生成的环境配置，就能识别到QuickCheck模块了。

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