cabal freeze fails with some GHC versions due to missing Distribution.Compat.Typeable

[debug-ito]

I used cabal-install-3.12.1.0, and found a problem in cabal freeze.

To reproduce

• Install ghc-9.2.1 and cabal-install-3.12.1.0 by ghcup.
• Clone https://github.com/debug-ito/greskell.git (if necessary, checkout commit 00e7be7a9f5efbeca149b801513151af224769e3 )
• Run cabal freeze.

Then I got the following error.

Error:
    Problem with module re-exports:
      - The module 'Distribution.Compat.Typeable'
        is not exported by any suitable package.
        It occurs in neither the 'exposed-modules' of this package,
        nor any of its 'build-depends' dependencies.
    In the stanza 'library'
    In the package 'Cabal-3.12.1.0'

It looked like cabal tried to evaluate metadata of Cabal-3.12.1.0 with Cabal-syntax-3.14.0.0 in mind, and complained that Distribution.Compat.Typeable was missing.

See also: One of my GitHub CI runs

System information

I used Xubuntu Linux 22.04 64-bit.

Affected GHC versions

According to my experiments, the following GHC versions had this bug.

• 9.2.1
• 9.6.1
• 9.8.1

The following GHC versions didn't have this bug.

• 9.4.1
• 9.10.1

Struggle

I tried running cabal freeze -c 'Cabal==3.12.0.0' -c 'Cabal-syntax==3.12.0.0' with ghc-9.2.1, but it had the same issue.
I also tried writing the equivalent constraints stanza in cabal.project.local or cabal.project.freeze, but it had the same issue.

Any ideas? Is there any way to run cabal freeze with ghc-9.2.1?

[effectfully]

I'm running into the same problem with the same cabal version (3.12.1.0) and GHC-9.6.6. Ubuntu 20.04.

[ulysses4ever]

Thanks for the report and independent reproduction!

Could you check if cabal-3.10 suffers the same?

[debug-ito]

I tried cabal-install-3.10.1.0 and cabal-install-3.10.3.0 with ghc-9.2.1, but had the same error.