Fix ":i Maybe", noticed by Claus Reinke
[ghc-hetmet.git] / compiler / main / PprTyThing.hs
index 4d7fd8e..ea97495 100644 (file)
@@ -139,13 +139,12 @@ pprDataCon exts dataCon = pprAlgTyCon exts tyCon (== dataCon) (const True)
   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
@@ -184,7 +183,7 @@ pprDataConDecl exts gadt_style show_label dataCon
        = ppr_bndr dataCon <+> 
                braces (sep (punctuate comma (ppr_trim maybe_show_label 
                                        (zip labels fields))))
--}
+
 pprClass exts cls
   | null methods = 
        pprClassHdr exts cls