Searched refs:SkolemInfo (Results 1 – 14 of 14) sorted by relevance
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Tc/Types/ |
| H A D | Origin.hs | 14 SkolemInfo(..), pprSigSkolInfo, pprSkolInfo,
174 data SkolemInfo type
242 instance Outputable SkolemInfo where
245 pprSkolInfo :: SkolemInfo -> SDoc
346 = GivenOrigin SkolemInfo
|
| H A D | Constraint.hs | 1105 ic_info :: SkolemInfo, -- See Note [Skolems in an implication]
1807 mkGivenLoc :: TcLevel -> SkolemInfo -> TcLclEnv -> CtLoc
|
| /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 | TcOrigin.hs | 15 SkolemInfo(..), pprSigSkolInfo, pprSkolInfo,
176 data SkolemInfo type
239 instance Outputable SkolemInfo where
242 pprSkolInfo :: SkolemInfo -> SDoc
341 = GivenOrigin SkolemInfo
|
| H A D | Constraint.hs | 1072 ic_info :: SkolemInfo, -- See Note [Skolems in an implication]
1786 mkGivenLoc :: TcLevel -> SkolemInfo -> TcLclEnv -> CtLoc
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Tc/Types/ |
| H A D | Origin.hs | 14 SkolemInfo(..), pprSigSkolInfo, pprSkolInfo,
172 data SkolemInfo type
239 instance Outputable SkolemInfo where
242 pprSkolInfo :: SkolemInfo -> SDoc
343 = GivenOrigin SkolemInfo
|
| H A D | Constraint.hs | 1262 ic_info :: SkolemInfo, -- See Note [Skolems in an implication]
1410 checkTelescopeSkol :: SkolemInfo -> Bool
2079 mkGivenLoc :: TcLevel -> SkolemInfo -> TcLclEnv -> CtLoc
|
| /dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
| H A D | TcOrigin.hs | 15 SkolemInfo(..), pprSigSkolInfo, pprSkolInfo,
176 data SkolemInfo type
239 instance Outputable SkolemInfo where
242 pprSkolInfo :: SkolemInfo -> SDoc
341 = GivenOrigin SkolemInfo
|
| H A D | TcUnify.hs | 1172 checkConstraints :: SkolemInfo
1194 checkTvConstraints :: SkolemInfo
1204 emitResidualTvConstraint :: SkolemInfo -> Maybe SDoc -> [TcTyVar]
1234 implicationNeeded :: SkolemInfo -> [TcTyVar] -> [EvVar] -> TcM Bool
1254 alwaysBuildImplication :: SkolemInfo -> Bool
1271 buildImplicationFor :: TcLevel -> SkolemInfo -> [TcTyVar]
|
| H A D | TcMType.hs | 2075 zonkSkolemInfo :: SkolemInfo -> TcM SkolemInfo
2274 tidySkolemInfo :: TidyEnv -> SkolemInfo -> SkolemInfo
2282 -> TcType -> [(Name,TcTyVar)] -> SkolemInfo
|
| H A D | Constraint.hs | 1072 ic_info :: SkolemInfo, -- See Note [Skolems in an implication]
1786 mkGivenLoc :: TcLevel -> SkolemInfo -> TcLclEnv -> CtLoc
|
| H A D | TcHsType.hs | 196 kcClassSigType :: SkolemInfo -> [Located Name] -> LHsSigType GhcRn -> TcM ()
210 tcClassSigType :: SkolemInfo -> [Located Name] -> LHsSigType GhcRn -> TcM Type
263 tc_hs_sig_type :: SkolemInfo -> LHsSigType GhcRn
|
| H A D | TcSMonad.hs | 2895 emitImplicationTcS :: TcLevel -> SkolemInfo
2916 emitTvImplicationTcS :: TcLevel -> SkolemInfo
|
| H A D | TcErrors.hs | 459 warnRedundantConstraints :: ReportErrCtxt -> TcLclEnv -> SkolemInfo -> [EvVar] -> TcM ()
2653 usefulContext :: [Implication] -> PredType -> [SkolemInfo]
|
| H A D | TcSimplify.hs | 1826 warnRedundantGivens :: SkolemInfo -> Bool
|