You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Depending on GhcSessionDeps means we do not need to reload all the module
dependencies in the GHC session. On the other hand, with the GhcSession
dependency we *do* have to reload them (from interface files, hopefully)
Unfortunately, the ModSummary objects that GhcSessionDeps puts in the GHC
session are not suitable for reuse since they clear out the timestamps to avoid
internal bugs. This can probably be relaxed so that plugins like Eval can reuse
them.
0 commit comments