我正在做一个涉及对 Haskell 进行程序分析的项目。我认为在 Cminusminus (C--) 级别上实施程序分析是个好主意。我知道，使用 ghc，Haskell 首先编译为核心，然后编译为 stg，然后编译为 cmm。然后将生成的 cmm 转换为可执行文件。
为了正确理解和使用 C--，我需要一个 cminusminus (C--) 编译器。但是，根据我的信息，编译成 C-- 的编译器早已停产，并且不能编译成 x86_64（例如 QuickC--）。我错过了什么吗？是否有编译为 x64 的 C-- 编译器？
顺便说一句，在 2008 年 9 月之后是否有关于 Cminusminus 的进一步工作？有 Cminusminus 社区吗？
编辑1：根据this GHC可以编译非常基本的cmm（cmm是ghc的c--风格，与c--有一些区别，但是根据我项目的需要，我应该更关心cmm）文件。此外，-ddump-cmm 包含许多 ghc 无法解析的项目。