Searched refs:isTyVarTyVar (Results 1 – 9 of 9) sorted by relevance
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Tc/Utils/ |
| H A D | TcType.hs | 41 tcIsTcTyVar, isTyVarTyVar, isOverlappableTyVar, isTyConableTyVar,
1088 isTyVarTyVar :: Var -> Bool
1089 isTyVarTyVar tv 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 | TcType.hs | 42 tcIsTcTyVar, isTyVarTyVar, isOverlappableTyVar, isTyConableTyVar,
1040 isTyVarTyVar :: Var -> Bool
1041 isTyVarTyVar tv function
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Tc/Utils/ |
| H A D | TcType.hs | 44 tcIsTcTyVar, isTyVarTyVar, isOverlappableTyVar, isTyConableTyVar,
1110 isTyVarTyVar :: Var -> Bool
1111 isTyVarTyVar tv function
|
| /dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
| H A D | TcType.hs | 42 tcIsTcTyVar, isTyVarTyVar, isOverlappableTyVar, isTyConableTyVar,
1040 isTyVarTyVar :: Var -> Bool
1041 isTyVarTyVar tv function
|
| H A D | TcSimplify.hs | 2113 , not (isTyVarTyVar the_tv)
2447 && (not (isTyVarTyVar tv1) || isTyVarTy ty2)
|
| H A D | TcMType.hs | 1627 | isTyVarTyVar tyvar
1669 | isTyVarTyVar tv
|
| H A D | TcFlatten.hs | 1826 && not (isTyVarTyVar rhs_tv))
|
| H A D | TcErrors.hs | 661 || (isTyVarTyVar tv && isTouchableMetaTyVar tc_lvl tv)
1637 || isTyVarTyVar tv1 && not (isTyVarTy ty2)
|
| H A D | TcUnify.hs | 1283 = ASSERT2( all (isSkolemTyVar <||> isTyVarTyVar) skol_tvs, ppr skol_tvs )
|