[Agda] Maintain compatibility with ghc 7.8?

Andreas Abel andreas.abel at ifi.lmu.de
Tue Mar 28 16:46:44 CEST 2017


Ok, there seems to be interest in ghc 7.8 compatibility.  Thanks for 
your feedback!  --Andreas

On 28.03.2017 16:17, Martin Escardo wrote:
>
>
> On 28/03/17 14:27, G. Allais wrote:
>> 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
>
> If it is not much trouble, I would like Agda to run in Ubuntu 14.04, for
> several reasons (a machine I use for teaching needs 14.04 as some
> software I need is broken in 16.04 (yes, we do teach Agda here), a
> lightweight netbook I use for travelling doesn't like 16.04, and I tend
> to use Agda for in-flight entertainment :-) )
>
> Martin
>
>
>>
>> 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
>>>
>>
>>
>>
>> _______________________________________________
>> Agda mailing list
>> Agda at lists.chalmers.se
>> https://lists.chalmers.se/mailman/listinfo/agda
>>
>


-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/


More information about the Agda mailing list