解析错误：Agda与其标准库之间的版本不匹配

Question

我正在运行预先构建的Windows Agda版本2.4.2.2。在 Emacs / Agda2 Include Dirs 中，我已经识别出c：/agda-stdlib-0.13/src和下面一层的文件夹。 在加载仅包含这两行的模块时，我收到一条错误消息。

module test1 where

open import Integer

错误消息：

C:\agda-stdlib-0.13\src\Data\Empty.agda:13,5-5
C:\agda-stdlib-0.13\src\Data\Empty.agda:13,5: Parse error
HASKELL<ERROR> data AgdaEmpty #-} {-# COMPIL...

正确安装库是否缺少某些内容？

Answer 1

你的Agda已经老了。有关库兼容性，请参阅this page。这个库你需要Agda 2.5.2。