| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Core/TyCo/ |
| H A D | Subst.hs | 17 emptyTCvSubst, mkEmptyTCvSubst, isEmptyTCvSubst,
258 isEmptyTCvSubst :: TCvSubst -> Bool
662 | isEmptyTCvSubst subst = ty function
673 | isEmptyTCvSubst subst = ty function
687 | isEmptyTCvSubst subst = tys function
692 | isEmptyTCvSubst subst = scaled_tys function
703 | isEmptyTCvSubst subst = tys function
708 | isEmptyTCvSubst subst = tys function
787 | isEmptyTCvSubst subst = co function
797 | isEmptyTCvSubst subst = co function
[all …]
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Core/TyCo/ |
| H A D | Subst.hs | 17 emptyTCvSubst, mkEmptyTCvSubst, isEmptyTCvSubst,
260 isEmptyTCvSubst :: TCvSubst -> Bool
668 | isEmptyTCvSubst subst = ty function
679 | isEmptyTCvSubst subst = ty function
693 | isEmptyTCvSubst subst = tys function
698 | isEmptyTCvSubst subst = scaled_tys function
709 | isEmptyTCvSubst subst = tys function
714 | isEmptyTCvSubst subst = tys function
794 | isEmptyTCvSubst subst = co function
804 | isEmptyTCvSubst subst = co function
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/types/ |
| H A D | TyCoSubst.hs | 16 emptyTCvSubst, mkEmptyTCvSubst, isEmptyTCvSubst,
255 isEmptyTCvSubst :: TCvSubst -> Bool
257 isEmptyTCvSubst (TCvSubst _ tenv cenv) = isEmptyVarEnv tenv && isEmptyVarEnv cenv function
657 | isEmptyTCvSubst subst = ty function
668 | isEmptyTCvSubst subst = ty function
676 | isEmptyTCvSubst subst = tys function
686 | isEmptyTCvSubst subst = tys function
761 | isEmptyTCvSubst subst = co function
771 | isEmptyTCvSubst subst = co function
779 | isEmptyTCvSubst subst = cos function
|
| H A D | Coercion.hs | 402 | not (isEmptyTCvSubst subst1) || not (isEmptyTCvSubst subst2)
|
| H A D | Type.hs | 188 isEmptyTCvSubst, unionTCvSubst,
1121 | not (isEmptyTCvSubst subst) -- See Note [Care with kind instantiation]
|
| /dports/lang/ghc/ghc-8.10.7/compiler/types/ |
| H A D | TyCoSubst.hs | 16 emptyTCvSubst, mkEmptyTCvSubst, isEmptyTCvSubst,
255 isEmptyTCvSubst :: TCvSubst -> Bool
257 isEmptyTCvSubst (TCvSubst _ tenv cenv) = isEmptyVarEnv tenv && isEmptyVarEnv cenv function
657 | isEmptyTCvSubst subst = ty function
668 | isEmptyTCvSubst subst = ty function
676 | isEmptyTCvSubst subst = tys function
686 | isEmptyTCvSubst subst = tys function
761 | isEmptyTCvSubst subst = co function
771 | isEmptyTCvSubst subst = co function
779 | isEmptyTCvSubst subst = cos function
|
| H A D | Coercion.hs | 402 | not (isEmptyTCvSubst subst1) || not (isEmptyTCvSubst subst2)
|
| H A D | Type.hs | 188 isEmptyTCvSubst, unionTCvSubst,
1121 | not (isEmptyTCvSubst subst) -- See Note [Care with kind instantiation]
|
| /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 | 386 | isEmptyTCvSubst subst = ictxt function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/iface/ |
| H A D | ToIface.hs | 350 | not (isEmptyTCvSubst env)
|
| /dports/lang/ghc/ghc-8.10.7/compiler/iface/ |
| H A D | ToIface.hs | 350 | not (isEmptyTCvSubst env)
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/ |
| H A D | CoreToIface.hs | 356 | not (isEmptyTCvSubst env)
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/ |
| H A D | CoreToIface.hs | 362 | not (isEmptyTCvSubst env)
|
| /dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
| H A D | TcHsType.hs | 1243 | not (isEmptyTCvSubst subst)
3138 | not (isEmptyTCvSubst subst)
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Core/ |
| H A D | Coercion.hs | 416 | not (isEmptyTCvSubst subst1) || not (isEmptyTCvSubst subst2)
|
| H A D | Type.hs | 205 isEmptyTCvSubst, unionTCvSubst,
1191 | not (isEmptyTCvSubst subst) -- See Note [Care with kind instantiation]
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Core/ |
| H A D | Coercion.hs | 490 | not (isEmptyTCvSubst subst1) || not (isEmptyTCvSubst subst2)
|
| H A D | Type.hs | 208 isEmptyTCvSubst, unionTCvSubst,
1349 | not (isEmptyTCvSubst subst) -- See Note [Care with kind instantiation]
|
| /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 | 1845 | isEmptyTCvSubst subst = ictxt function
|
| /dports/lang/ghc/ghc-8.10.7/compiler/main/ |
| H A D | HscTypes.hs | 1845 | isEmptyTCvSubst subst = ictxt function
|
| /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 | 1892 | isEmptyTCvSubst subst = ictxt function
|