search

agda / cornelis

agda-mode for neovim
BSD 3-Clause "New" or "Revised" License
135 stars 23 forks source link

Update to GHC 9.2.7 #118

Closed malob closed 1 year ago

isovector commented 1 year ago

Hi! Thanks for the patch. Out of curiosity, is there any value being gained in re-pinning to the newest GHCs? I have a bad habit of still running 8.10.7

malob commented 1 year ago

My main motivation for submitting these PRs that update the "default" GHC version that cornelis uses to be the latest stable version, is that when building with Nix, I'm much more likely to get Nix binary cache hits for all the projects Haskell dependencies, which speeds up the build.

(Personally, when I'm developing a Haskell project, I like to keep up with the latest stable GHC, so I can get any benefits that might have been added, and also be on top of any API changes that might effect my project.)

isovector commented 1 year ago

Makes sense to me!