Changes to HIE File due to ApplicativeDo going via HsExpansions

[Zubin Duggal]

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 Syntax<https://gitlab.haskell.org/ghc/ghc/-/wikis/Rebindable-syntax>, specifically on expanding ApplicativeDo (#24406, MR !12066<https://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 at haskell.org
>http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs