mirage/mirage: PR #1539: internal: reset the lexer location before applying functors in the ge…

@ddc09d1

Stages:

• 🟡 x86_64-debian-10-4.13
• ✔️ arm64-debian-10-4.13 (5m34s)

History:

• 17/05/2024 15:03 🟡 @ddc09d1 (5m34s)
• 17/05/2024 14:56 🟡 @8c5197a (5m15s)
• 17/05/2024 13:25 ✔️ @62c2941 (9m25s)