[Agda] [ANNOUNCE] Agda 2.6.2.1 release candidate

[mechvel at scico.botik.ru]

On 2021-12-06 15:48, Nils Anders Danielsson wrote:
> 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?


Before installing Agda, I always command (in Linux)

  $ ghc -V
  $ which ghc

to see the GHC version and to see where does it reside.
I do the same before running `agda' to type-check, and then to compile 
my library.
Is it possible for another GHC version to intrude?

--
SM