X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FbasicTypes%2FOccName.lhs;h=9319c6762921cf4f81507e2a26c8e72c2d5d082f;hp=3465f554bb4eb395738f17a80c5f1a21c99a489d;hb=d76c18e05f6366c23144624b696a02fbaa6d26e8;hpb=a1899edb87b3192f192980f392680df05f50f104 diff --git a/compiler/basicTypes/OccName.lhs b/compiler/basicTypes/OccName.lhs index 3465f55..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 (":R23Map") -mkInstTyTcOcc uniq occ - = mk_deriv varName (":R" ++ show uniq) (occNameString occ) +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}