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 1.1.1.1.

* In GHC 7.10.1 RC1, the version of the pretty library is 1.1.1.3.

* I need to use conditional compilation when using GHC 7.10.1 RC1 because in the version 1.1.1.2 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. https://www.haskell.org/haskellwiki/Package_versioning_policy