where tyCon = GHC.dataConTyCon dataCon
pprDataConDecl exts gadt_style show_label dataCon
- = error "kevind stub"
-{-
| not gadt_style = ppr_fields tys_w_strs
| otherwise = ppr_bndr dataCon <+> dcolon <+>
sep [ ppr_tvs, GHC.pprThetaArrow theta, pp_tau ]
where
- (tyvars, theta, argTypes, tyCon) = GHC.dataConSig dataCon
+ (tyvars, theta, argTypes) = GHC.dataConSig dataCon
+ tyCon = GHC.dataConTyCon dataCon
labels = GHC.dataConFieldLabels dataCon
res_tys = dataConResTys dataCon
qualVars = filter (flip notElem (GHC.tyConTyVars tyCon)) tyvars
-- printing out the dataCon as a type signature, in GADT style
pp_tau = foldr add pp_res_ty tys_w_strs
- pp_res_ty = ppr_bndr tyCon <+> hsep (map GHC.pprParendType res_tys)
+ pp_res_ty = GHC.pprTypeApp (ppr_bndr tyCon) res_tys
add (str,ty) pp_ty = pprBangTy str ty <+> arrow <+> pp_ty
pprParendBangTy (strict,ty)
= ppr_bndr dataCon <+>
braces (sep (punctuate comma (ppr_trim maybe_show_label
(zip labels fields))))
--}
+
pprClass exts cls
| null methods =
pprClassHdr exts cls