<div dir="ltr"><div>and it looks like the language pragmas slurped from the in-memory buffer is empty</div><div><br></div><div>  tmod <- GHC.typecheckModule (trace (showGhc . GHC.extensions $ GHC.ms_hspp_opts modSum) pmod)</div><div><br></div><div>gives me [] on 8.8 but is [Off ImplicitPrelude, On PackageImports] on 8.6.5... that looks like an 8.8 regression to me.<br></div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 27 Feb 2020 at 15:02, Tseen She <<a href="mailto:ts33n.sh3@gmail.com">ts33n.sh3@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>Quick followup with trace debugging:<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 27 Feb 2020 at 14:50, Tseen She <<a href="mailto:ts33n.sh3@gmail.com" target="_blank">ts33n.sh3@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">> typecheckModule will just use the ParsedSource parseModule produced so it<br>> shouldn't do any more file reading.<br><div><br></div><div>This is where I am not so sure. I am fairly certain that something has broken in the typechecking line. I will try again with debug tracing to confirm what the ParsedSource looks like.<br></div></div></blockquote><div><br></div><div>I can confirm that a showPpr on `pm_parsed_source` has the in-memory version.</div><div><br></div><div>But, perhaps, the problem might be that pragmas are not carried over? In my test the "importsOnly" version of the file is preserving two LANGUAGE pragmas that are necessary in order to parse the imports section (one of my tests uses PackageImports). Just a guess, but does 8.8.x now require more manual passing of the dynflags? This seems like a regression / bug to me but I'd be willing to workaround it if it is an intentional behaviour change.</div><div><br></div></div></div>
</blockquote></div>