使用GHC -fllvm编译Haskell代码遇LLVM 3.8.0兼容错误求助

我来帮你拆解一下这个问题——你遇到的核心矛盾是GHC的LLVM后端和LLVM 3.8.0的语法不兼容，虽然LLVM 3.8现在不算特别新，但你当时用的GHC版本大概率还没完成对这个LLVM版本的适配，才会出现警告+编译错误的情况。

为什么会出现这个错误？ #

你看到的unexpected type in metadata definition是关键线索：LLVM 3.8对IR（中间表示）里的元数据格式做了改动，而你的GHC版本生成的还是旧版的LLVM IR语法（比如metadata !{metadata !"top"}这种写法），LLVM 3.8的opt工具已经不认这种旧格式了，所以直接报错。而GHC弹出的"new version of LLVM that hasn't been tested yet"警告，说明当时这个GHC版本的官方测试还没覆盖LLVM 3.8，相当于提前给你打了个“版本不匹配”的预防针。

几个可行的解决办法 #

• 匹配GHC和LLVM的官方兼容版本：不同GHC版本对LLVM有明确的支持范围，举几个常见的对应关系：
  • GHC 7.10.x 推荐用LLVM 3.5或3.6
  • GHC 8.0.x 开始支持LLVM 3.7/3.8，但早期的GHC 8.0.1可能适配不完全
    你可以查一下自己GHC版本的官方文档，找到对应的LLVM版本，然后降级或升级LLVM就行。
• 暂时不用LLVM后端：如果不需要LLVM带来的优化效果，直接去掉-fllvm参数，用默认的原生代码生成器编译：

  ghc quicksort.hs
  

  这样就能绕开LLVM的兼容性问题，快速完成编译。
• 升级GHC到更稳定的版本：如果你的GHC版本比较老，升级到对LLVM 3.8支持更完善的版本（比如GHC 8.0.2及以后），应该就能解决元数据格式不兼容的问题。

快速验证方案 #

先试试不带LLVM参数编译你的代码：

ghc quicksort.hs

如果编译成功，那就坐实了是GHC和LLVM 3.8的兼容性问题，再根据自己的需求选上面的解决办法就行。

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