10 Likes
In the process, the consistency checks between an
hs-boot
orhsig
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