Searched refs:ConArgCtxt (Results 1 – 6 of 6) sorted by relevance
76 | ConArgCtxt Name -- Data constructor argument constructor134 pprUserTypeCtxt (ConArgCtxt c) = text "the type of the constructor" <+> quotes (ppr c)158 isSigMaybe (ConArgCtxt n) = Just n
78 | ConArgCtxt Name -- Data constructor argument constructor136 pprUserTypeCtxt (ConArgCtxt c) = text "the type of the constructor" <+> quotes (ppr c)160 isSigMaybe (ConArgCtxt n) = Just n
79 | ConArgCtxt Name -- Data constructor argument constructor134 pprUserTypeCtxt (ConArgCtxt c) = text "the type of the constructor" <+> quotes (ppr c)156 isSigMaybe (ConArgCtxt n) = Just n
364 ConArgCtxt _ -> rank1 -- We are given the type of the entire505 vdqAllowed (ConArgCtxt {}) = False1326 okIPCtxt (ConArgCtxt {}) = True
3860 ctxt = ConArgCtxt (dataConName con)