splitForAllTy, instantiateTy, matchTy, SYN_IE(ThetaType) )
import TyVar ( GenTyVar )
import Unique ( Unique )
-import Util ( equivClasses, zipWithEqual, panic )
+import Util ( equivClasses, zipWithEqual, panic{-, pprTrace-} )
+--import PprStyle
import IdInfo ( noIdInfo )
--import TcPragmas ( tcDictFunPragmas, tcGenPragmas )
returnTc (mkDictFunId dfun_uniq clas inst_ty dfun_ty from_here src_loc inst_mod dfun_id_info)
) `thenTc` \ dfun_id ->
+-- pprTrace "DFUN: " (ppr PprDebug dfun_id) $
+
-- MAKE THE CONSTANT-METHOD IDS
-- if there are no type variables involved
(if (null inst_decl_theta)