[Well-Typed Blog] GHC activities report: April–May 2023

10 Likes

In the process, the consistency checks between an hs-boot or hsig file and its implementation were tightened up a bit, fixing a couple of shortcomings of validity checking in Backpack (#23342, #23344).

I’m curious: is the consistency-checking code mostly shared between hs-boot / hsig, or are they different implementations?

1 Like

Sam is on holiday at the moment, so I can’t ask him, but I would guess there is quite a lot of overlap since hs-boot files and signatures are conceptually very similar. There’s a helpful Note [HscSource types] explaining the differences between the cases:

1 Like