diff options
| author | John Ericson <John.Ericson@Obsidian.Systems> | 2022-02-06 07:59:19 +0000 |
|---|---|---|
| committer | John Ericson <John.Ericson@Obsidian.Systems> | 2022-06-07 05:06:38 +0000 |
| commit | a1651a3afab9b195440436432385d839abb7d389 (patch) | |
| tree | 2ac9b0b97c663459ae1d4b259c7aee0813642e2c /compiler/GHC/Tc | |
| parent | a7fece19cb56b6aa3ae7f81d1a34276ad55fdf2a (diff) | |
| download | haskell-a1651a3afab9b195440436432385d839abb7d389.tar.gz | |
Core.Lint: Reduce `DynFlags` and `HscEnv`wip/no-state-core-lint
Co-Authored-By: Andre Marianiello <andremarianiello@users.noreply.github.com>
Diffstat (limited to 'compiler/GHC/Tc')
| -rw-r--r-- | compiler/GHC/Tc/Types.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/compiler/GHC/Tc/Types.hs b/compiler/GHC/Tc/Types.hs index 56c2b1b8a4..577fc4407c 100644 --- a/compiler/GHC/Tc/Types.hs +++ b/compiler/GHC/Tc/Types.hs @@ -102,6 +102,7 @@ import GHC.Prelude import GHC.Platform import GHC.Driver.Env +import GHC.Driver.Config.Core.Lint import GHC.Driver.Session import {-# SOURCE #-} GHC.Driver.Hooks @@ -1821,7 +1822,8 @@ getRoleAnnots bndrs role_env -- axioms, but should check other aspects, too. lintGblEnv :: Logger -> DynFlags -> TcGblEnv -> TcM () lintGblEnv logger dflags tcg_env = - liftIO $ lintAxioms logger dflags (text "TcGblEnv axioms") axioms + -- TODO empty list means no extra in scope from GHCi, is this correct? + liftIO $ lintAxioms logger (initLintConfig dflags []) (text "TcGblEnv axioms") axioms where axioms = typeEnvCoAxioms (tcg_type_env tcg_env) |