X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Fmain%2FMkIface.lhs;h=224e31ee4da468d65611ffee5faec29dc38df13a;hb=39262efa1c066d97547ac72d8bd16a145ac3f359;hp=9995ca3c48cf95d00cd57c634bce00a78aa67b97;hpb=30b5ebe424ebae69b162ac3fc547eb14d898535f;p=ghc-hetmet.git

diff --git a/ghc/compiler/main/MkIface.lhs b/ghc/compiler/main/MkIface.lhs
index 9995ca3..224e31e 100644
--- a/ghc/compiler/main/MkIface.lhs
+++ b/ghc/compiler/main/MkIface.lhs
@@ -46,7 +46,7 @@ import OccName		( OccName, pprOccName )
 import TyCon		( TyCon, getSynTyConDefn, isSynTyCon, isNewTyCon, isAlgTyCon,
 			  tyConTheta, tyConTyVars, tyConDataCons
 			)
-import Class		( Class, classBigSig )
+import Class		( Class, classExtraBigSig )
 import FieldLabel	( fieldLabelName, fieldLabelType )
 import Type		( mkSigmaTy, splitSigmaTy, mkDictTy, tidyTopType, deNoteType,
 			  Type, ThetaType
@@ -54,6 +54,7 @@ import Type		( mkSigmaTy, splitSigmaTy, mkDictTy, tidyTopType, deNoteType,
 
 import PprType
 import PprCore		( pprIfaceUnfolding, pprCoreRule )
+import FunDeps		( pprFundeps )
 import Rules		( pprProtoCoreRule, ProtoCoreRule(..) )
 
 import Bag		( bagToList, isEmptyBag )
@@ -90,7 +91,7 @@ endIface    :: Maybe Handle -> IO ()
 \end{code}
 
 \begin{code}
-startIface mod (has_orphans, import_usages, ExportEnv avails fixities)
+startIface mod (has_orphans, import_usages, ExportEnv avails fixities _)
   = case opt_ProduceHi of
       Nothing -> return Nothing ; -- not producing any .hi file
 
@@ -549,21 +550,22 @@ ifaceClass clas
 	   ppr_decl_context sc_theta,
 	   ppr clas,			-- Print the name
 	   pprTyVarBndrs clas_tyvars,
+	   pprFundeps clas_fds,
 	   pp_ops,
 	   semi
 	  ]
    where
-     (clas_tyvars, sc_theta, _, sel_ids, defms) = classBigSig clas
+     (clas_tyvars, clas_fds, sc_theta, _, op_stuff) = classExtraBigSig clas
 
-     pp_ops | null sel_ids  = empty
-	    | otherwise = hsep [ptext SLIT("where"),
-				 braces (hsep (punctuate semi (zipWith ppr_classop sel_ids defms)))
-			  ]
+     pp_ops | null op_stuff  = empty
+	    | otherwise      = hsep [ptext SLIT("where"),
+				     braces (hsep (punctuate semi (map ppr_classop op_stuff)))
+			       ]
 
-     ppr_classop sel_id maybe_defm
+     ppr_classop (sel_id, dm_id, explicit_dm)
 	= ASSERT( sel_tyvars == clas_tyvars)
 	  hsep [ppr (getOccName sel_id),
-		if maybeToBool maybe_defm then equals else empty,
+		if explicit_dm then equals else empty,
 	        dcolon,
 		ppr op_ty
 	  ]