
#9718: Avoid TidyPgm predicting what CorePrep will do -------------------------------------+------------------------------------- Reporter: simonpj | Owner: (none) Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Resolution: | Keywords: CodeGen, CAFs Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by osa1): Aha, found the problem. We run the code generator twice with `-dynamic- too`, but normally we write the interface files only once (`hscWriteIface` generates two interfaces, a `.hi` and a `.dyn-hi`). Now if I call `hscWriteIface` again after STG generation I end up calling `hscWriteIface` two more times, one for the normal compilation and one for `-dynamic-too`. The first call correctly updates both interface files, then before the second call we update the `DynFlags` to add `WayDyn` way and remove `Opt_BuildDynamicToo` (in `dynamicTooMkDynamicDynFlags`), so the second call to `hscWriteIface` updates the normal iface file (not the dyn iface), but updates it with `WayDyn`. Correct behavior: in the first codegen we should only update the normal iface file, in the second only the dyn iface file. Not sure how to implement this yet. (I'll look at comment:39 later) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9718#comment:40 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler