<div dir="auto">I should add that I've also tried adding the just-loaded module to the EPS but that also doesn't fix the issue.<br><br><div class="gmail_quote" dir="auto"><div dir="ltr" class="gmail_attr">On Tue, Jul 27, 2021, 15:14 Erdi, Gergo via ghc-devs <<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">





<div lang="EN-GB" link="#525355" vlink="#0473EA" style="word-wrap:break-word">
<p align="Left" style="margin:0"><br></p>
<br>
<div class="m_7478062402418157100WordSection1">
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif">Hi,<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif">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).<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif">What am I doing wrong? Is filling the `mi_fixities` field of the `ModIface` not enough to let importers see the correct fixities?<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif">Thanks,<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif">            Gergo<u></u><u></u></span></p>
</div>
<br clear="both"></div>
</blockquote></div></div>