X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypes%2FCoercion.lhs;h=674e2a70bdd3c1d423291669d6a4e20e5ac14c93;hb=30c122df62ec75f9ed7f392f24c2925675bf1d06;hp=9ebd00e7603ff78d7978a8d29b5cee78909fe220;hpb=7c7104a51d477c18f8950112c4bc22c4800367f3;p=ghc-hetmet.git diff --git a/compiler/types/Coercion.lhs b/compiler/types/Coercion.lhs index 9ebd00e..674e2a7 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,7 +438,7 @@ 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