This looks like a genuine regression, that test attempts to print out the evidence of the monad constraint necessary to call the implicit (>>=) in the do block. I think to fix this you need to ensure that GHC.Iface.Ext.Ast is able to traverse into the part of the typechecked AST that corresponds to the desugared/expanded statements, so that it can see the calls to (>>=) that are implicit in the AST. On 24/06/07 22:08, Ingle, Apoorv N via ghc-devs wrote:

Dear ghc-devs,

For past few months I’ve been working on Rebindable Syntaxhttps://gitlab.haskell.org/ghc/ghc/-/wikis/Rebindable-syntax, specifically on expanding ApplicativeDo (#24406, MR !12066https://gitlab.haskell.org/ghc/ghc/-/merge_requests/12066) statements before type checking. I noticed that there is a failing test case related to HIE files (T23540). I have been unsuccessful in debugging why this happens and/or if this has any effect on the users of HIE files.

Can anyone who has experience in this area be able to take a look and guide me?

Thanks! Apoorv

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs