6 Mar
2025
6 Mar
'25
8:35 a.m.
On 2025-03-06 21:55, Arnaud Spiwack wrote:
My dream would be to rename ImportQualifiedPost to ImportAnnotationsPost or something similar and then treat splice exactly as qualified. Seeing that that’s much too much trouble I would consider doing that but not changing the extension name.
(aside: with ImportQualifiedPost turned, both the `qualified` keyword before and the `qualified` keyword after are accepted).
Oh, thank you. And I see now that that it has to be that way since we enabled it with GHC2021. This makes me less sceptical about the proposed solution. Great, let’s accept it. Best Malte