Andreas Abel

Let's wait until after 2.6.4 with this change.

We should be forward-compatible if possible, meaning we should not fail hard on unexpected content in configuration files. I am already annoyed that our `.agda-lib` file handling is not forward-compatible....

> Here's the only other use: Indeed, and this is dead code since we replaced the record pattern translation by some other implementation.

I am experiencing a looping Agda when I prefix the following call to `warning` with a `setCurrentRange`: https://github.com/agda/agda/blob/df44b12dd50aa897bf52508335c884bb18a3be15/src/full/Agda/TypeChecking/Warnings.hs#L217-L220 I _suspect_ this is again to the cycles in `Range` generation. ATTN:...

Currently our ranges are a _coinductive type_: `Agda.Syntax.Position`: ```haskell type Range = Range' SrcFile data Range' a = NoRange | Range !a (Seq IntervalWithoutFile) type SrcFile = Strict.Maybe RangeFile data...

I am removing this from the 2.8.0 milestone since it looks like this PR is stalled @TOTBWF @plt-amy .

> 8.0.2 is still in the validate-old-ghcs job and seems to pass. But does this suite cover installing custom-setup packages with old versions of Cabal? > There should have been...

Here is another instance when trying to build `HTTP` with ghc-8.0.2: https://github.com/haskell/HTTP/actions/runs/10947125731/job/30395160142#step:17:206 > Failed to build entropy-0.4.1.10 (which is required by pureMD5-2.1.4). See the build log above for details. >...

The error > setup: Unrecognised flags: lib:entropy suggests that the target syntax "lib:FOO" isn't understood by the generated setup. Internal libraries entered `Cabal` in version 2.0: - https://github.com/haskell/cabal/blob/d988732a2ad03b35a749af5940743cb9c9ca7035/Cabal/ChangeLog.md#2002-mikhail-glushenkov-july-2017 - #269...

> I'm looking at our support window: If I read this text correctly, it only talks about buildability of `Cabal` and `cabal-install`. It does not say which versions of `Cabal`...