X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FbasicTypes%2FOccName.lhs;h=9319c6762921cf4f81507e2a26c8e72c2d5d082f;hb=d76c18e05f6366c23144624b696a02fbaa6d26e8;hp=13a7f81cd3ef77230745bd4cb61bf192cb95ef40;hpb=909d2dd885f5eebaf7c12cf15d5ac153d646566e;p=ghc-hetmet.git diff --git a/compiler/basicTypes/OccName.lhs b/compiler/basicTypes/OccName.lhs index 13a7f81..9319c67 100644 --- a/compiler/basicTypes/OccName.lhs +++ b/compiler/basicTypes/OccName.lhs @@ -483,20 +483,19 @@ mkLocalOcc uniq occ -- Derive a name for the representation type constructor of a data/newtype -- instance. -- -mkInstTyTcOcc :: Unique -- Unique +mkInstTyTcOcc :: Int -- Index -> OccName -- Local name (e.g. "Map") - -> OccName -- Nice unique version (":T23Map") -mkInstTyTcOcc uniq occ - = mk_deriv varName (":T" ++ show uniq) (occNameString occ) + -> OccName -- Nice unique version (":R23Map") +mkInstTyTcOcc index occ + = mk_deriv varName (":R" ++ show index) (occNameString occ) -- Derive a name for the coercion of a data/newtype instance. -- -mkInstTyCoOcc :: Unique -- Unique +mkInstTyCoOcc :: Int -- Index -> OccName -- Local name (e.g. "Map") - -> OccName -- Nice unique version ("Co23Map") -mkInstTyCoOcc uniq occ - = mk_deriv varName ("Co" ++ show uniq) (occNameString occ) - + -> OccName -- Nice unique version (":Co23Map") +mkInstTyCoOcc index occ + = mk_deriv varName (":Co" ++ show index) (occNameString occ) \end{code} \begin{code}