手动测试正常但cabal repl报错：类型不匹配问题求助

我之前也碰到过类似的情况，手动用alex/happy生成解析器后跑ghci一切正常，但一用cabal repl就报类型不匹配的错，大概率是Cabal的构建环境和你手动运行时的环境没对齐，下面是几个靠谱的排查和解决方向：

1. 确认Cabal是否正确生成了Parser.hs #

很多时候问题出在Cabal没有按照你手动的方式生成解析器文件：

• 先检查你的.cabal配置文件，确保build-tools字段包含了alex和happy，而且在对应的executable或library块里，other-modules和autogen-modules都正确列出了Parser模块。
• 手动清理Cabal的缓存和构建产物：运行cabal clean，然后再执行cabal repl，让Cabal从头生成Parser.hs，这样能确保它用的是最新的语法定义文件，和你手动生成的版本一致。

2. 对比两种环境的模块导入和作用域 #

手动跑ghci main和cabal repl的模块加载顺序、导入规则可能不一样：

• 在cabal repl里输入:show imports，看看当前导入的模块列表，再和手动ghci里的导入情况对比（同样用:show imports），看有没有缺失或多余的导入导致类型解析歧义。
• 检查Parser.hs里用到的Expression类型，确认它所在的模块已经被正确导出，并且Parser.hs里也正确导入了该模块——有时候Cabal会限制模块的导出范围，导致类型引用出问题。

3. 检查GHC版本和编译扩展的差异 #

Cabal可能用了和你手动ghci不同的GHC版本，或者不同的语言扩展，这会直接影响类型推断：

• 分别运行ghc --version和cabal exec ghc -- --version，看看版本是否一致。如果不一样，在cabal.project文件里添加with-compiler: ghc-xx.x.x（把xx.x.x换成你手动用的版本）来统一环境。
• 在手动ghci里输入:show language，查看启用的语言扩展，再对比.cabal文件里的default-extensions字段，确保两者的扩展集完全一致。比如你手动开了-XOverloadedStrings但Cabal没开，就可能引发类型不匹配。

4. 对比手动和Cabal生成的Parser.hs代码 #

如果上面都没问题，就直接对比两个版本的Parser.hs：

• 手动生成的Parser.hs是你本地的文件，Cabal生成的通常在dist-newstyle/build/目录下（根据你的项目结构找对应的路径）。
• 看看两者的代码差异，如果是因为alex/happy的参数不同导致的，就在.cabal文件里配置自定义的构建步骤，加上你手动用的参数。比如happy的-g参数会生成调试信息，要是Cabal没加，生成的代码可能就不一样。

举个.cabal配置的例子，确保正确集成alex/happy：

executable my-project
  build-depends:       base ^>=4.16.0.0
  build-tools:         alex, happy
  main-is:             Main.hs
  other-modules:       Parser
  autogen-modules:     Parser
  hs-source-dirs:      src
  default-language:    Haskell2010

要是这些方法都没解决问题，可以把你的.cabal相关配置和happy语法文件（比如Parser.y）的关键部分贴出来，方便进一步排查。

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