diff options
| author | Sylvain Henry <sylvain@haskus.fr> | 2020-09-07 19:48:03 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-11-06 03:46:08 -0500 |
| commit | c85f4928d4dbb2eb2cf906d08bfe7620d6f04ca5 (patch) | |
| tree | a61f2361be48b9878df3f1033cec2b2cb8f01c40 /compiler/GHC/Platform | |
| parent | e07e383a3250cb27a9128ad8d5c68def5c3df336 (diff) | |
| download | haskell-c85f4928d4dbb2eb2cf906d08bfe7620d6f04ca5.tar.gz | |
Refactor -dynamic-too handling
1) Don't modify DynFlags (too much) for -dynamic-too: now when we
generate dynamic outputs for "-dynamic-too", we only set "dynamicNow"
boolean field in DynFlags instead of modifying several other fields.
These fields now have accessors that take dynamicNow into account.
2) Use DynamicTooState ADT to represent -dynamic-too state. It's much
clearer than the undocumented "DynamicTooConditional" that was used
before.
As a result, we can finally remove the hscs_iface_dflags field in
HscRecomp. There was a comment on this field saying:
"FIXME (osa): I don't understand why this is necessary, but I spent
almost two days trying to figure this out and I couldn't .. perhaps
someone who understands this code better will remove this later."
I don't fully understand the details, but it was needed because of the
changes made to the DynFlags for -dynamic-too.
There is still something very dubious in GHC.Iface.Recomp: we have to
disable the "dynamicNow" flag at some point for some Backpack's "heinous
hack" to continue to work. It may be because interfaces for indefinite
units are always non-dynamic, or because we mix and match dynamic and
non-dynamic interfaces (#9176), or something else, who knows?
Diffstat (limited to 'compiler/GHC/Platform')
| -rw-r--r-- | compiler/GHC/Platform/Ways.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/compiler/GHC/Platform/Ways.hs b/compiler/GHC/Platform/Ways.hs index 9d01ffe878..3759df0021 100644 --- a/compiler/GHC/Platform/Ways.hs +++ b/compiler/GHC/Platform/Ways.hs @@ -24,6 +24,7 @@ module GHC.Platform.Ways ( Way(..) , Ways , hasWay + , addWay , allowed_combination , wayGeneralFlags , wayUnsetGeneralFlags @@ -77,6 +78,10 @@ type Ways = Set Way hasWay :: Ways -> Way -> Bool hasWay ws w = Set.member w ws +-- | Add a way +addWay :: Way -> Ways -> Ways +addWay = Set.insert + -- | Check if a combination of ways is allowed allowed_combination :: Ways -> Bool allowed_combination ways = not disallowed |