diff options
author | John Ericson <John.Ericson@Obsidian.Systems> | 2021-10-27 03:12:01 +0000 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-10-27 13:30:15 -0400 |
commit | 9d577ea118e362a50db5713378e097f4f92aa77f (patch) | |
tree | 6df3a1cfd8f04cb248ad30646195fe242e89ef21 /compiler/GHC/Platform.hs | |
parent | 9bd6daa4af5893b9da97e75060248a8c2faf3b0b (diff) | |
download | haskell-9d577ea118e362a50db5713378e097f4f92aa77f.tar.gz |
Compiler dosen't need to know about certain settings from file
- RTS and libdw
- SMP
- RTS ways
I am leaving them in the settings file because `--info` currently prints
all the fields in there, but in the future I do believe we should
separate the info GHC actually needs from "extra metadata". The latter
could go in `+RTS --info` and/or a separate file that ships with the RTS
for compile-time inspection instead.
Diffstat (limited to 'compiler/GHC/Platform.hs')
-rw-r--r-- | compiler/GHC/Platform.hs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/compiler/GHC/Platform.hs b/compiler/GHC/Platform.hs index 027a772759..4faf20d24e 100644 --- a/compiler/GHC/Platform.hs +++ b/compiler/GHC/Platform.hs @@ -254,10 +254,7 @@ data PlatformMisc = PlatformMisc { -- TODO Recalculate string from richer info? platformMisc_targetPlatformString :: String , platformMisc_ghcWithInterpreter :: Bool - , platformMisc_ghcWithSMP :: Bool - , platformMisc_ghcRTSWays :: String , platformMisc_libFFI :: Bool - , platformMisc_ghcRtsWithLibdw :: Bool , platformMisc_llvmTarget :: String } |