Searched refs:tcg_inst_env (Results 1 – 13 of 13) sorted by relevance
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/plugins/hls-tactics-plugin/src/Wingman/ |
H A D | Context.hs | 47 (tcg_inst_env tcg)
|
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/plugins/hls-tactics-plugin/src/Wingman/ |
H A D | Context.hs | 47 (tcg_inst_env tcg)
|
/dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
H A D | TcBackpack.hs | 126 setGblEnv tcg_env { tcg_inst_env = emptyInstEnv, 832 (tcg_insts tcg_env, tcg_inst_env tcg_env) 841 tcg_inst_env = inst_env, function
|
H A D | Inst.hs | 720 (tcg_inst_env env, tcg_insts env) 723 , tcg_inst_env = inst_env' } function
|
H A D | TcDerivUtils.hs | 1027 ; let inst_env' = extendInstEnvList (tcg_inst_env env) dfuns 1028 env' = env { tcg_inst_env = inst_env' }
|
H A D | TcRnDriver.hs | 359 tcg_inst_env = extendInstEnvList (tcg_inst_env gbl) home_insts, function 1881 , tcg_inst_env = extendInstEnvList function 1882 (extendInstEnvList (tcg_inst_env gbl_env) ic_insts)
|
H A D | TcRnTypes.hs | 442 tcg_inst_env :: !InstEnv, function
|
H A D | TcEnv.hs | 325 , ie_local = tcg_inst_env env
|
H A D | TcRnMonad.hs | 274 tcg_inst_env = emptyInstEnv, function
|
/dports/lang/ghc/ghc-8.10.7/compiler/deSugar/ |
H A D | Desugar.hs | 95 tcg_inst_env = inst_env, function
|
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/typecheck/ |
H A D | TcRnTypes.hs | 442 tcg_inst_env :: !InstEnv, function
|
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Tc/ |
H A D | Types.hs | 445 tcg_inst_env :: !InstEnv, function
|
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Tc/ |
H A D | Types.hs | 414 tcg_inst_env :: !InstEnv, function
|