Description
Upon updating to version 2.6.1, I've noticed that Agda feels like it's lagging whenever I reload a file. To back this up, I tested version 2.6.0.1 against version 2.6.1 on the following file.
-- Scratch.agda
module Scratch whereWith version 2.6.0.1, I get:
$ rm Scratch.agdai; time agda Scratch.agda
Checking Scratch (/sharedhome/home/james/Documents/agda/Scratch.agda).
agda Scratch.agda 0.07s user 0.02s system 99% cpu 0.083 total
With version 2.6.1, I get:
$ rm Scratch.agdai; time agda Scratch.agda
Checking Scratch (/sharedhome/home/james/Documents/agda/Scratch.agda).
agda Scratch.agda 24.41s user 3.72s system 99% cpu 28.275 total
Version 2.6.1 also appears to allocate 1~2 GiB of memory, as opposed to the older version, which doesn't allocate much.
I compiled 2.6.0.1 with GHC 8.6.5. I've tried compiling 2.6.1 with both 8.6.5 and 8.8.3, and they both seem similar. I'm on NixOS, and installing packages via nixpkgs' haskell.packages.ghc*.Agda (which is using pretty recent Cabal under the hood, IIUC). I have to make modifications to nixpkgs to get stuff to work, which I'll get in a shareable state if desired.
Apologies if this is not an Agda issue per se, but I haven't noticed a similar change to any other programs.