的更改日志 Agda-2.6.2.2型
Agda 2.6.2.2版的发行说明
集锦
-
Agda 2.6.2.2赶上Haskell生态系统的变化 ( 字节字符串-0.11.2.0 , mtl-2.3-rc3/4 , 文本-icu-0.8.0.1 , 堆叠 升-19.0 和 每晚 ). -
修复不一致性 #5838 在里面 --立方的 . -
修复了2.6.1中引入的一些回归: #5809 : 内部错误 --无关投影 .
-
修复了2.6.2中引入的一些回归: -
其他 修复 和改进(见下文)。
安装和基础设施
UTF-8编码现在用于 图书馆 和 可执行文件 配置文件(问题 #5741 ).
语言
-
宏 现在可以使用定义,即使它们被声明为已擦除 (公关 #5744 ). 例如,现在可以接受: 宏 @0琐碎:术语 → TC⊤ 平凡=统一(con(引号ref)[]) 测试:42 lect 42 test=次要 -
已修复不一致 --立方的 减少 运输 : 问题 #5838个 . -
修复了反射问题: -
修复了实例搜索的问题: -
固定问题 #5683 具有 泛化 让 .