[Agda] Maintain compatibility with ghc 7.8?

[G. Allais]

Debian stable is still on 7.6 (altough backports make it
possible to upgrade to 7.10):

https://packages.debian.org/search?keywords=ghc&searchon=names&suite=all&section=all

On 28/03/17 14:34, Andreas Abel wrote:
> Ubuntu 16.04 LTS has ghc-7.10, maybe we can phase out the support of ghc
> 7.8 as a platform to compile Agda on?!
> 
> If you wish for support of 7.8 still, please raise your voice and give a
> reason.
> 
> Best,
> Andreas
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20170328/3be4b7fb/attachment.sig>