Regression in cabal-install-3.12.1.0: cabal check disregards inherited bound on `base` about cabal

[andreasabel]

Oh, my apologies, my bad. I did not notice that the testsuite does not depend on map-syntax the library.
Of course, the new check is absolutely right about the complaint!

[ffaf1]

This is because build-depends for Testsuite does not import map-syntax (i.e. the library). Instead adding src to hs-source-dirs/, alongside with test/.

https://github.com/andreasabel/map-syntax/blob/1ca83570980dd3a3b7c114c1ce55af307b4babe5/map-syntax.cabal#L63-L70

As far as cabal is concerned, those are two separate entities.

---

I think it violates the semantics of bounds for testsuites: they should be inherited from the library.

There is no indication the testsuite is testing a specific library.
Adding a default inheritance in the age of multi-libraries for cabal leads to the question: “What library?”.

I am inclined to say asking the user to add a build-depends: my-library or missing that a bound is correct. Does this make sense?

---

How to solve this for map-syntax?

• principled solution: add a map-syntax-internal library, expose everything in there; import it in Testsuite, import and re-export what appropriate in main library.
• two-lines solution: in Testsuite import map-syntax, axe Data.Map.Syntax from other-modules.