[Agda] [ANNOUNCE] Agda 2.6.1 release candidate 1

mechvel at scico.botik.ru mechvel at scico.botik.ru
Mon Dec 30 16:35:23 CET 2019


On 2019-12-30 13:23, Jesper Cockx wrote:
> I expect the problem is because of the fix of
> https://github.com/agda/agda/issues/4189. In the Changelog, it says:
> 
> 	*
> 
>> Record constructors can no longer be qualified by the record module.
>> (See issue #4189 [1].)

Yes, it is.
Thank you.
I continue testing.

--
SM



> On Sun, Dec 29, 2019 at 10:55 PM <mechvel at scico.botik.ru> wrote:
> 
>> On 2019-12-22 14:41, Andres Sicard Ramirez wrote:
>>> Dear all,
>>> 
>>> The Agda Team is very pleased to announce the first release
>> candidate
>>> of Agda 2.6.1. We plan to release 2.6.1 in three weeks.
>>> [..]
>> 
>> Please, see the attached letter. This is a candidate for a bug
>> report.
>> 
>> If you do not guess what is the source of the effect, then I could
>> check
>> the
>> difference more precisely.
>> 
>> --
>> SM
>> _______________________________________________
>> Agda mailing list
>> Agda at lists.chalmers.se
>> https://lists.chalmers.se/mailman/listinfo/agda
> 
> 
> Links:
> ------
> [1] https://github.com/agda/agda/issues/4189
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda



More information about the Agda mailing list