Re: Version of the pretty-printing library in GHC 7.10.1
On Fri, 9 Jan 2015, Andrés Sicard-Ramírez wrote:
> While preparing Agda for supporting GHC 7.10.1, I found the following situation:
> * In GHC 7.8.4, the version of the pretty library is 188.8.131.52.
> * In GHC 7.10.1 RC1, the version of the pretty library is 184.108.40.206.
> * I need to use conditional compilation when using GHC 7.10.1 RC1 because in the version 220.127.116.11 of the
> pretty library was added a new Eq instance which is currently defined in the Agda source code.
Adding an Eq instance is an addition to the API and requires to increment
version to 1.1.2 according to the PVP.