[Agda] [ANNOUNCE] Agda 2.6.2.1 release candidate

[Nils Anders Danielsson]

On 2021-12-06 12:24, mechvel at scico.botik.ru wrote:
> The second was reported about an year ago:
>    Agda-2.6.2 with ghc-9.*  produces 25% slower code  than Agda-2.6.2 with ghc-8.8.3.
> 
> I mean the performance of the executable produced by
>    agda -c $agdaLibOpt $agdaFlags Foo.agda  +RTS -M7G -RTS --ghc-flag="-rtsopts",
> 
>    $agdaFlags = --auto-inline --guardedness
> 
> Similarly
>    Agda-2.6.2.0.20211129 with ghc-9.*  is 25% slower than  Agda-2.6.2 with ghc-8.8.3.

Did you use "--with-compiler=<GHC>" to ensure that Agda used a specific
version of GHC to compile your code?

-- 
/NAD