[Agda] [ANNOUNCE] Agda 2.5.1 release candidate

Andrés Sicard-Ramírez asr at eafit.edu.co
Sat Feb 13 19:20:41 CET 2016


Dear all,

The Agda Team is very pleased to announce a release candidate of Agda
2.5.1 available at

  http://www1.eafit.edu.co/asr/tmp/Agda-2.5.0.20160213.tar.gz


GHC supported versions
===============

This RC has been tested with GHC 7.6.3, 7.8.4 and 7.10.3.


Installation
=======

This RC can be installed using the following instructions:

  $ tar xzf Agda-2.5.0.20160213.tar.gz
  $ cd Agda-2.5.0.20160213.tar.gz
  $ cabal install


Standard library
==========

For the time being, a version (the master branch) of the standard
library compatible with this RC is available via

  $ git clone https://github.com/agda/agda-stdlib.git


What is new?
========

The RC includes various new features and changes:

* A new library management

* The reflection framework has received a massive overhaul.

* Instance search performance has been improved.

* A new backend targeting the Utrecht Haskell Compiler (UHC) is available.

* The new agda-ghc-names tool for handling profiling files generate
from MAlonzo-compiled code.

There also are new options, pragmas and built-ins, and changes related
to modules, records, operators syntax, literals, instance search, type
checking, compiler/LaTeX/HTML backends and the Emacs mode. More
information about the changes included in this RC can be found in

  https://raw.githubusercontent.com/agda/agda/2.5.0.20160213/CHANGELOG


Incompatibilities
==========

This RC is not full compatible with Agda 2.4.2.5. The main
incompatibilities are:

* A long-standing operator fixity bug has been fixed. As a consequence
some programs that used to parse no longer do.

* Emacs mode: Removed the agda-include-dirs customization parameter.

* Removed pragma {-# ETA R #-}

More information about the incompatibilities included in this RC can
be found in the above CHANGELOG.


Fixed issues
=======

Approximately 90 bugs/enhancements were fixed/closed, some of them
long-standing ones:

* https://github.com/agda/agda/issues/480

* https://github.com/agda/agda/issues/520

* https://github.com/agda/agda/issues/576

* https://github.com/agda/agda/issues/727

* https://github.com/agda/agda/issues/896


Know regressions
===========

* https://github.com/agda/agda/issues/1605

* https://github.com/agda/agda/issues/1770

* https://github.com/agda/agda/issues/1775

* https://github.com/agda/agda/issues/1821


Know issues
========

  https://github.com/agda/agda/issues?utf8=%E2%9C%93&q=is%3Aopen+milestone%3A2.5.1+label%3Abug+


Enjoy this RC and please test as much as possible.

-- 
Andrés, on behalf of the Agda Team


More information about the Agda mailing list