Error message wibble
[ghc-hetmet.git] / compiler / deSugar / DsMonad.lhs
index 83a5d21..e275cb9 100644 (file)
@@ -53,10 +53,8 @@ import Type
 import UniqSupply
 import Name
 import NameEnv
-import OccName
 import DynFlags
 import ErrUtils
-import MonadUtils
 import FastString
 
 import Data.IORef
@@ -232,7 +230,7 @@ newPredVarDs :: PredType -> DsM Var
 newPredVarDs pred
  | isEqPred pred
  = do { uniq <- newUnique; 
-      ; let name = mkSystemName uniq (mkOccNameFS tcName (fsLit "co"))
+      ; let name = mkSystemName uniq (mkOccNameFS tcName (fsLit "co_pv"))
            kind = mkPredTy pred
       ; return (mkCoVar name kind) }
  | otherwise