Changing hs-boot doesn't trigger a consistency check
Ticket extracted from #24776 (closed).
- Create
A.hs-boot
module A where
A.hs
module A where
- Compile
ghc A
. It succeeds. - Add
data T
toA.hs-boot
only. - Compile
ghc A
. This unexpectedly succeeds: it recompilesA.hs-boot
, but does not check thatA.hs
is consistent with the boot file. - If you remove
A.hi
or use-fforce-recomp
, thenghc A
fails, as expected.