我应该将 src/MAlonzo 添加到 .gitignore 吗？

Question

编译我的 Agda 代码会导致创建 src/MAlonzo 目录。 （src/MyProject 是我的 Agda 代码所在的位置。）它包含一堆 .hs（Haskell）和 .o（对象）文件。

此目录中是否有任何我应该提交的内容，或者人们通常将 /src/MAlonzo 添加到他们的 .gitignore 中？

我问这个问题是因为我很惊讶构建工件被放在 src 目录而不是 _build 目录中。我想知道是否有这样的原因。

Answer 1

是的。 MAlonzo 是 GHC backend 用于编译和 运行 Agda 程序。那里的所有内容都是从您的 Agda 源文件自动生成的。