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@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 > >
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
