[Agda] [ANNOUNCE] Agda 2.5.1.1 release candidate 1
Ulf Norell
ulf.norell at gmail.com
Wed Jun 15 16:11:30 CEST 2016
Dear all,
The Agda Team is pleased to announce the first release candidate of Agda
2.5.1.1 available at
https://www.dropbox.com/s/vh55ll3tqg0h8k5/Agda-2.5.1.1-rc1.tar.gz?dl=1
GHC supported versions
======================
The RC has been tested with GHC 7.6.3, 7.8.4, 7.10.3 and 8.0.1.
Installation
============
The RC can be installed as follows:
$ tar xzf Agda-2.5.1.1-rc1.tar.gz
$ cd Agda-2.5.1.1
$ cabal install
What is new?
============
2.5.1.1 fixes a severe performance bug with instance arguments:
* https://github.com/agda/agda/issues/1952
* https://github.com/agda/agda/issues/1955
* https://github.com/agda/agda/issues/1998
* https://github.com/agda/agda/issues/2025
as well as the follwing minor issues:
* https://github.com/agda/agda/issues/1322 and
https://github.com/agda/agda/issues/2034 (function type instance goals)
* https://github.com/agda/agda/issues/1950 (case split in with-function)
* https://github.com/agda/agda/issues/1951 (mixfix binders not working in
'syntax')
* https://github.com/agda/agda/issues/1967 (too eager insteance search
error)
* https://github.com/agda/agda/issues/1974 (lost constraint dependencies)
* https://github.com/agda/agda/issues/1982 (internal error in unifier)
/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20160615/fc6328f5/attachment.html
More information about the Agda
mailing list