DataKindCtxt (reference) in projects: dports

Searched refs:DataKindCtxt (Results 1 – 7 of 7) 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	`109 \| DataKindCtxt Name -- The kind of a data/newtype (instance) constructor 152 pprUserTypeCtxt (DataKindCtxt n) = text "the kind annotation on the declaration for" <+> quotes (p…`
/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	`111 \| DataKindCtxt Name -- The kind of a data/newtype (instance) constructor 154 pprUserTypeCtxt (DataKindCtxt n) = text "the kind annotation on the declaration for" <+> quotes (p…`
/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	`109 \| DataKindCtxt Name -- The kind of a data/newtype (instance) constructor 150 pprUserTypeCtxt (DataKindCtxt n) = text "the kind annotation on the declaration for" <+> quotes (p…`
/dports/lang/ghc/ghc-8.10.7/compiler/typecheck/
H A D	TcOrigin.hs	`111 \| DataKindCtxt Name -- The kind of a data/newtype (instance) constructor 154 pprUserTypeCtxt (DataKindCtxt n) = text "the kind annotation on the declaration for" <+> quotes (p…`
H A D	TcValidity.hs	`374 DataKindCtxt _ -> rank1 473 allConstraintsAllowed (DataKindCtxt {}) = False 501 vdqAllowed (DataKindCtxt {}) = True 1345 okIPCtxt (DataKindCtxt {}) = False`
H A D	TcInstDcls.hs	`895 data_ctxt = DataKindCtxt fam_name`
H A D	TcTyClsDecls.hs	`1322 ctxt = DataKindCtxt name`