Version of the pretty-printing library in GHC 7.10.1

Fri Jan 9 18:23:26 UTC 2015

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