[Agda] [ANNOUNCE] Agda 2.6.2 release candidate

[mechvel at scico.botik.ru]

On 2021-05-25 18:40, Andrés Sicard-Ramírez wrote:
> Dear all,
> 
> The Agda Team is very pleased to announce a release candidate of Agda
> 2.6.2. We plan to release 2.6.2 in a few days.
> 


Please, consider
   http://www.botik.ru/pub/local/Mechveliani/docon-A/3.2rc/

and apply there

   > cd source
   > agda $agdaLibOpt --guardedness +RTS -M24G -RTS Pol/Karatsuba.agda

In  Agda-2.6.1 (where --guardedness is the default)  +  ghc-8.8.3, 
Ubuntu Linux 18.04

it was sufficient  7G  to type-check this in 15 minutes on a 3 GHz 
machine.

And in this candidate for Agda-2.6.2 + ghc-9.0.1
24G is not sufficient to type-check this in any reasonable time.

What can be the source of this?
I do not know, does it inline things that were not inlined in 2.6.1 ?

Regards,

------
Sergei