Haskell 标准库中的Agda编译错误。（可能是archlinux agda错误？）

我正在编译以下简单的程序（

Agda.Agda

）：

使用以下命令：

agda--compile--ghc flag=-dynamic agda.agda

。我使用

-dynamic

进行编译，因为我使用的是archlinux，因此没有此标志，Haskell无法找到任何标准库。这会给我以下错误消息：

Calling: ghc -O -o /storage/src/test/Agda -Werror -dynamic -i/storage/src/test -main-is MAlonzo.Code.Agda /storage/src/test/MAlonzo/Code/Agda.hs --make -fwarn-incomplete-patterns -fno-warn-overlapping-patterns
[60 of 75] Compiling MAlonzo.Code.Algebra.Properties.BooleanAlgebra ( MAlonzo/Code/Algebra/Properties/BooleanAlgebra.hs, MAlonzo/Code/Algebra/Properties/BooleanAlgebra.o )
Compilation error:

MAlonzo/Code/Algebra/Properties/BooleanAlgebra.hs:5278:70: error:
    parse error (possibly incorrect indentation or mismatched brackets)
     |
5278 |                            (coe MAlonzo.Code.Algebra.d1484 v0 v3 v4) 
     |                                                                      ^

这似乎是一致的，我不能编译任何需要这个标准库文件的东西。我只使用官方的arch软件包，其他什么都没有。如何解决此问题？我做错了什么

编辑：

Agda版本：2.5.3

GHC版本：8.2.2

---

Agda stdlib:0.14

请添加Agda、标准库和GHC版本。@asr编辑了我的问题以添加这些信息。这在Arch Linux中似乎是个错误。在Ubuntu中使用相同的版本，

MAlonzo/../BooleanAlgebra.hs

的第5278行是

（coe MAlonzo.code.Algebra.d1484 v0 v3）v5）

我认为archlinux更新agda-2.5.3-6解决了这个问题，因为更新后标准库确实编译了。很高兴知道@prover，谢谢分享！

Calling: ghc -O -o /storage/src/test/Agda -Werror -dynamic -i/storage/src/test -main-is MAlonzo.Code.Agda /storage/src/test/MAlonzo/Code/Agda.hs --make -fwarn-incomplete-patterns -fno-warn-overlapping-patterns
[60 of 75] Compiling MAlonzo.Code.Algebra.Properties.BooleanAlgebra ( MAlonzo/Code/Algebra/Properties/BooleanAlgebra.hs, MAlonzo/Code/Algebra/Properties/BooleanAlgebra.o )
Compilation error:

MAlonzo/Code/Algebra/Properties/BooleanAlgebra.hs:5278:70: error:
    parse error (possibly incorrect indentation or mismatched brackets)
     |
5278 |                            (coe MAlonzo.Code.Algebra.d1484 v0 v3 v4) 
     |                                                                      ^