X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypes%2FCoercion.lhs;h=3bc5d84541e201edeecfa5338efdde1bb318cb76;hb=0adb306aceaea7c10c67ff90e559eeea3ba5f19a;hp=9ebd00e7603ff78d7978a8d29b5cee78909fe220;hpb=467f588c25e6d7825a11eff018a67727b3dea71b;p=ghc-hetmet.git diff --git a/compiler/types/Coercion.lhs b/compiler/types/Coercion.lhs index 9ebd00e..3bc5d84 100644 --- a/compiler/types/Coercion.lhs +++ b/compiler/types/Coercion.lhs @@ -70,7 +70,7 @@ import Util import Unique import BasicTypes import Outputable - +import FastString type Coercion = Type type CoercionKind = Kind -- A CoercionKind is always of form (ty1 :=: ty2) @@ -438,18 +438,18 @@ unsafeCoercionTyCon -------------------------------------- -- ...and their names -mkCoConName :: FS.FastString -> Unique -> TyCon -> Name +mkCoConName :: FastString -> Unique -> TyCon -> Name mkCoConName occ key coCon = mkWiredInName gHC_PRIM (mkOccNameFS tcName occ) key (ATyCon coCon) BuiltInSyntax transCoercionTyConName, symCoercionTyConName, leftCoercionTyConName, rightCoercionTyConName, instCoercionTyConName, unsafeCoercionTyConName :: Name -transCoercionTyConName = mkCoConName FSLIT("trans") transCoercionTyConKey transCoercionTyCon -symCoercionTyConName = mkCoConName FSLIT("sym") symCoercionTyConKey symCoercionTyCon -leftCoercionTyConName = mkCoConName FSLIT("left") leftCoercionTyConKey leftCoercionTyCon -rightCoercionTyConName = mkCoConName FSLIT("right") rightCoercionTyConKey rightCoercionTyCon -instCoercionTyConName = mkCoConName FSLIT("inst") instCoercionTyConKey instCoercionTyCon -unsafeCoercionTyConName = mkCoConName FSLIT("CoUnsafe") unsafeCoercionTyConKey unsafeCoercionTyCon +transCoercionTyConName = mkCoConName (fsLit "trans") transCoercionTyConKey transCoercionTyCon +symCoercionTyConName = mkCoConName (fsLit "sym") symCoercionTyConKey symCoercionTyCon +leftCoercionTyConName = mkCoConName (fsLit "left") leftCoercionTyConKey leftCoercionTyCon +rightCoercionTyConName = mkCoConName (fsLit "right") rightCoercionTyConKey rightCoercionTyCon +instCoercionTyConName = mkCoConName (fsLit "inst") instCoercionTyConKey instCoercionTyCon +unsafeCoercionTyConName = mkCoConName (fsLit "CoUnsafe") unsafeCoercionTyConKey unsafeCoercionTyCon