Use ":Co", not "Co" to prefix coercion TyCon names

[ghc-hetmet.git] / compiler / basicTypes / OccName.lhs

diff --git a/compiler/basicTypes/OccName.lhs b/compiler/basicTypes/OccName.lhs
index 1440525..0d1cb37 100644 (file)
--- a/compiler/basicTypes/OccName.lhs
+++ b/compiler/basicTypes/OccName.lhs
@@ -442,8 +442,8 @@ mkDictOcc       = mk_simple_deriv varName  "$d"
 mkIPOcc                    = mk_simple_deriv varName  "$i"
 mkSpecOcc          = mk_simple_deriv varName  "$s"
 mkForeignExportOcc  = mk_simple_deriv varName  "$f"
-mkNewTyCoOcc        = mk_simple_deriv tcName  "Co"
-mkInstTyCoOcc       = mk_simple_deriv tcName  "Co"      -- derived from rep ty
+mkNewTyCoOcc        = mk_simple_deriv tcName  ":Co"
+mkInstTyCoOcc       = mk_simple_deriv tcName  ":Co"      -- derived from rep ty
 
 -- Generic derivable classes
 mkGenOcc1           = mk_simple_deriv varName  "$gfrom"
@@ -487,7 +487,7 @@ mkInstTyTcOcc :: Int                        -- Index
              -> OccName                -- Family name (e.g. "Map")
              -> OccName                -- Nice unique version (":R23Map")
 mkInstTyTcOcc index occ
-   = mk_deriv varName (":R" ++ show index) (occNameString occ)
+   = mk_deriv tcName (":R" ++ show index) (occNameString occ)
 \end{code}
 
 \begin{code}