Skip to content

WIP: Fix #12509: ghci -XSafe fails in an inscrutable way

Roland Senn requested to merge RolandSenn/ghc:T12509 into master

Improve the processing for Safe Haskell in compiler/rename/RnEnv.hs:lookupQualifiedNameGHCi .

To check SafeHaskell-compatibility of a qualified name, we no longer check the DynFlag safeDirectImpsReq. We compare now the value of DynFlags.safeHaskell with the mi-trust value of the corresponding compiler/main/HscTypes.hs:ModIface record.

Edited by Ben Gamari

Merge request reports