import UniqSupply
import Name
import NameEnv
-import OccName
import DynFlags
import ErrUtils
-import MonadUtils
import FastString
import Data.IORef
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