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

Question

我正在编写以下简单程序（Agda.agda）：

module Agda where
  open import IO
  main = run (putStrLn "Hello, World!")

使用此命令：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