X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FcoreSyn%2FSubst.hi-boot;h=fe12bad7b654c79f3da84b5b13102bab33c7178e;hb=e4f0e4adfb32f0f562dc2dda9fc2c1c7fe71b202;hp=fcc7b826c3d5a35793f78b9dbde67a01ff2cab73;hpb=69e14f75a4b031e489b7774914e5a176409cea78;p=ghc-hetmet.git diff --git a/ghc/compiler/coreSyn/Subst.hi-boot b/ghc/compiler/coreSyn/Subst.hi-boot index fcc7b82..fe12bad 100644 --- a/ghc/compiler/coreSyn/Subst.hi-boot +++ b/ghc/compiler/coreSyn/Subst.hi-boot @@ -2,6 +2,6 @@ _interface_ Subst 1 _exports_ Subst Subst mkTyVarSubst substTy ; _declarations_ 1 data Subst; -1 mkTyVarSubst _:_ [Var.TyVar] -> [Type.Type] -> Subst ;; -1 substTy _:_ Subst -> Type.Type -> Type.Type ;; +1 mkTyVarSubst _:_ [Var.TyVar] -> [TypeRep.Type] -> Subst ;; +1 substTy _:_ Subst -> TypeRep.Type -> TypeRep.Type ;;