[ghc-steering-committee] #682: Explicit Level Imports, recommendation: accept

[Malte Ott]

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