X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FbasicTypes%2FOccName.lhs;h=bc11cbd6ad5a03e75bd6fc6f3aac09212fb19334;hb=6758ba711a3f9f3100a9dba1818b131c32e62106;hp=d3047a9427daead81804c4054ba16fc237a3c2ad;hpb=b3e6904fd44613ff06c31afc0e3c0e03b59f07f9;p=ghc-hetmet.git diff --git a/compiler/basicTypes/OccName.lhs b/compiler/basicTypes/OccName.lhs index d3047a9..bc11cbd 100644 --- a/compiler/basicTypes/OccName.lhs +++ b/compiler/basicTypes/OccName.lhs @@ -32,7 +32,7 @@ module OccName ( mkDataTOcc, mkDataCOcc, mkDataConWorkerOcc, mkSuperDictSelOcc, mkLocalOcc, mkMethodOcc, mkInstTyTcOcc, mkInstTyCoOcc, mkEqPredCoOcc, - mkCloOcc, mkCloTyConOcc, mkCloDataConOcc, + mkCloOcc, mkCloTyConOcc, mkCloDataConOcc, mkCloIsoOcc, -- ** Deconstruction occNameFS, occNameString, occNameSpace, @@ -445,7 +445,7 @@ 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 +mkInstTyCoOcc = mk_simple_deriv tcName ":CoF" -- derived from rep ty mkEqPredCoOcc = mk_simple_deriv tcName "$co" -- Generic derivable classes @@ -462,6 +462,7 @@ mkDataCOcc = mk_simple_deriv varName "$c" mkCloOcc = mk_simple_deriv varName "$CC_" mkCloTyConOcc = mk_simple_deriv tcName ":CC_" mkCloDataConOcc = mk_simple_deriv dataName ":CD_" +mkCloIsoOcc = mk_simple_deriv varName "$CCiso_" mk_simple_deriv sp px occ = mk_deriv sp px (occNameString occ)