8.8.x change in lookupModule / findModule semantics?

Tseen She ts33n.sh3 at gmail.com
Thu Feb 27 15:18:49 UTC 2020


and it looks like the language pragmas slurped from the in-memory buffer is
empty

  tmod <- GHC.typecheckModule (trace (showGhc . GHC.extensions $
GHC.ms_hspp_opts modSum) pmod)

gives me [] on 8.8 but is [Off ImplicitPrelude, On PackageImports] on
8.6.5... that looks like an 8.8 regression to me.


On Thu, 27 Feb 2020 at 15:02, Tseen She <ts33n.sh3 at gmail.com> wrote:

> Quick followup with trace debugging:
>
> On Thu, 27 Feb 2020 at 14:50, Tseen She <ts33n.sh3 at gmail.com> wrote:
>
>> > typecheckModule will just use the ParsedSource parseModule produced so
>> it
>> > shouldn't do any more file reading.
>>
>> 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.
>>
>
> I can confirm that a showPpr on `pm_parsed_source` has the in-memory
> version.
>
> 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.
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20200227/1951b13d/attachment.html>


More information about the ghc-devs mailing list