解析错误: Agda与其标准库之间的版本不匹配
解析错误: Agda与其标准库之间的版本不匹配
提问于 2017-07-15 14:50:49
我正在运行预置的Windows版本2.4.2.2。在Emacs/agda 2中，包括Dirs，我已经识别了c:/Agda2 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...图书馆的正确安装是不是缺少了什么？
回答 1
Stack Overflow用户
回答已采纳
发布于 2017-07-15 15:53:37
你的Agda很老了。有关库兼容性，请参见此页。这个库需要Agda 2.5.2。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/45119478
复制相关文章
相似问题
腾讯云开发者
