Where else do I need to register fixity declarations?

[Gergő Érdi]

I should add that I've also tried adding the just-loaded module to the EPS
but that also doesn't fix the issue.

On Tue, Jul 27, 2021, 15:14 Erdi, Gergo via ghc-devs <ghc-devs at haskell.org>
wrote:

>
>
> Hi,
>
>
>
> In the attached program, I am typechecking two Haskell modules with GHC
> 9.0.1: `Imported.hs` defines some infix operators, and `Importer.hs` uses
> them. After typechecking the first one, I put it in the
> moduleNameProvidersMap and the HPT. However, when I am typechecking the
> second one, the fixity declarations of the infix operators aren’t picked up
> correctly. I know they aren’t because I have defined operators that only
> typecheck if they are parsed right-associatively. In contrast, if I put
> both the definitions and the usage into the same file (`Standalone.hs`),
> typechecking succeeds (as I would expect it to).
>
>
>
> What am I doing wrong? Is filling the `mi_fixities` field of the
> `ModIface` not enough to let importers see the correct fixities?
>
>
>
> Thanks,
>
>             Gergo
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20210727/119345d7/attachment.html>