Bump Cabal library and cabal-install version to 3.7

[fendor]

Development version should not be equal to release version.

This is blocking development on #7489, as the flag --enable-build-info is guarded s.t. that it can not be accidentally used with older Cabal versions.

[Mikolaj]

@emilypi: am I right we can do that fine already?

[emilypi]

@Mikolaj yeah we're good.

[andreasabel]

Not sure why, but cabal-install is still thinking it is 3.6:

$ cabal --numeric-version
3.6

$ cabal --version
cabal-install version 3.6
compiled using version 3.7.0.0 of the Cabal library 

One half of the job seems to be missing still, or am I misunderstanding something?
Having both the released 3.6 and the master claiming they are 3.6 confuses me...

[jneira]

I think this issue is about Cabal the library and no cabal-install, note the
compiled using version 3.7.0.0 of the Cabal library
so this could be closed opening a new one specific to cabal-install (or add cabal-install in the description of this)

[emilypi]

There's a value in Distribution/Client/Utils.hs with the cabalInstallVersion you need to bump

cabal/cabal-install/src/Distribution/Client/Utils.hs

Line 400 in cb98024

cabalInstallVersion = mkVersion [3,6]

This is to do away with the paths module whose sole purpose was to do this, and it screwed up our ability to produce coverage. Right now, I think it deserves its own dedicated module. Just haven't had time.

[andreasabel]

@jneira:

I think this issue is about Cabal the library and no cabal-install,

Ah, I wasn't aware that "Cabal" (capital) refers to strictly the library only. I was going to report a new issue but then found this one and it matched in my mind.

@emilypi:

There's a value in Distribution/Client/Utils.hs with the cabalInstallVersion you need to bump

Thanks for the pointer, I give it a try.

[emilypi]

Thanks @andreasabel - I think as long as this sits in its own dedicated namespace so it doesn't get lost and we make sure it's on the release checklists, this should be sufficient.

[andreasabel]

PR at #7683.