Searched refs:ic_tythings (Results 1 – 10 of 10) sorted by relevance
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Runtime/ |
| H A D | Context.hs | 211 ic_tythings :: [TyThing], function
273 ic_tythings = [], function
291 icInScopeTTs = ic_tythings
314 , ic_tythings = new_tythings ++ old_tythings function
325 old_tythings = filterOut (shadowed_by new_ids) (ic_tythings ictxt)
337 , ic_tythings = new_tythings ++ old_tythings function
341 old_tythings = filterOut (shadowed_by new_ids) (ic_tythings ictxt)
385 substInteractiveContext ictxt@InteractiveContext{ ic_tythings = tts } subst
387 | otherwise = ictxt { ic_tythings = map subst_ty tts }
|
| /dports/lang/ghc/ghc-8.10.7/compiler/main/ |
| H A D | InteractiveEval.hs | 229 bindings = (ic_tythings ic, ic_rn_gbl_env ic)
407 ic' = ic { ic_tythings = resume_tmp_te,
415 new_names = [ n | thing <- ic_tythings ic
615 let tmp_ids = [id | AnId id <- ic_tythings ic]
625 let tmp_ids = [id | AnId id <- ic_tythings ic]
756 !final_rdr_env = all_env `icExtendGblRdrEnv` ic_tythings old_ic
|
| H A D | HscTypes.hs | 1672 ic_tythings :: [TyThing], function
1730 ic_tythings = [], function
1746 icInScopeTTs = ic_tythings
1769 , ic_tythings = new_tythings ++ old_tythings function
1780 old_tythings = filterOut (shadowed_by new_ids) (ic_tythings ictxt)
1792 , ic_tythings = new_tythings ++ old_tythings function
1796 old_tythings = filterOut (shadowed_by new_ids) (ic_tythings ictxt)
1844 substInteractiveContext ictxt@InteractiveContext{ ic_tythings = tts } subst
1846 | otherwise = ictxt { ic_tythings = map subst_ty tts }
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/main/ |
| H A D | HscTypes.hs | 1672 ic_tythings :: [TyThing], function
1730 ic_tythings = [], function
1746 icInScopeTTs = ic_tythings
1769 , ic_tythings = new_tythings ++ old_tythings function
1780 old_tythings = filterOut (shadowed_by new_ids) (ic_tythings ictxt)
1792 , ic_tythings = new_tythings ++ old_tythings function
1796 old_tythings = filterOut (shadowed_by new_ids) (ic_tythings ictxt)
1844 substInteractiveContext ictxt@InteractiveContext{ ic_tythings = tts } subst
1846 | otherwise = ictxt { ic_tythings = map subst_ty tts }
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Driver/ |
| H A D | Types.hs | 1719 ic_tythings :: [TyThing], function
1777 ic_tythings = [], function
1793 icInScopeTTs = ic_tythings
1816 , ic_tythings = new_tythings ++ old_tythings function
1827 old_tythings = filterOut (shadowed_by new_ids) (ic_tythings ictxt)
1839 , ic_tythings = new_tythings ++ old_tythings function
1843 old_tythings = filterOut (shadowed_by new_ids) (ic_tythings ictxt)
1891 substInteractiveContext ictxt@InteractiveContext{ ic_tythings = tts } subst
1893 | otherwise = ictxt { ic_tythings = map subst_ty tts }
|
| /dports/lang/ghc/ghc-8.10.7/compiler/ghci/ |
| H A D | Debugger.hs | 102 let env_tvs = tyThingsTyCoVars $ ic_tythings $ hsc_IC hsc_env
|
| /dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
| H A D | TcRnDriver.hs | 1854 vcat [ text "ic_tythings:" <+> vcat (map ppr (ic_tythings icxt))
1906 (lcl_ids, top_ty_things) = partitionWith is_closed (ic_tythings icxt)
|
| /dports/lang/ghc/ghc-8.10.7/compiler/coreSyn/ |
| H A D | CoreLint.hs | 403 te1 = mkTypeEnvWithImplicits (ic_tythings ictxt)
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Core/ |
| H A D | Lint.hs | 451 te1 = mkTypeEnvWithImplicits (ic_tythings ictxt)
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Core/ |
| H A D | Lint.hs | 462 te1 = mkTypeEnvWithImplicits (ic_tythings ictxt)
|