Searched refs:cvt_datainst_hdr (Results 1 – 1 of 1) sorted by relevance
312 = do { (ctxt', tc', bndrs', typats') <- cvt_datainst_hdr ctxt bndrs tys333 = do { (ctxt', tc', bndrs', typats') <- cvt_datainst_hdr ctxt bndrs tys488 cvt_datainst_hdr :: TH.Cxt -> Maybe [TH.TyVarBndr] -> TH.Type493 cvt_datainst_hdr cxt bndrs tys function