TyFamResKindCtxt (reference) in projects: dports

Searched refs:TyFamResKindCtxt (Results 1 – 6 of 6) 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	`111 \| TyFamResKindCtxt Name -- The result kind of a type family constructor 154 pprUserTypeCtxt (TyFamResKindCtxt n) = text "the result kind for" <+> quotes (ppr n)`
/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	`113 \| TyFamResKindCtxt Name -- The result kind of a type family constructor 156 pprUserTypeCtxt (TyFamResKindCtxt n) = text "the result kind for" <+> quotes (ppr n)`
/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	`111 \| TyFamResKindCtxt Name -- The result kind of a type family constructor 152 pprUserTypeCtxt (TyFamResKindCtxt n) = text "the result kind for" <+> quotes (ppr n)`
/dports/lang/ghc/ghc-8.10.7/compiler/typecheck/
H A D	TcOrigin.hs	`113 \| TyFamResKindCtxt Name -- The result kind of a type family constructor 156 pprUserTypeCtxt (TyFamResKindCtxt n) = text "the result kind for" <+> quotes (ppr n)`
H A D	TcValidity.hs	`376 TyFamResKindCtxt _ -> rank1 475 allConstraintsAllowed (TyFamResKindCtxt {}) = False 503 vdqAllowed (TyFamResKindCtxt {}) = True 1347 okIPCtxt (TyFamResKindCtxt {}) = False`
H A D	TcTyClsDecls.hs	`1339 ctxt = TyFamResKindCtxt name 1384 ctxt = TyFamResKindCtxt name 1403 ctxt = TyFamResKindCtxt name`