diff options
Diffstat (limited to 'compiler/iface')
| -rw-r--r-- | compiler/iface/TcIface.lhs | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/compiler/iface/TcIface.lhs b/compiler/iface/TcIface.lhs index d0ce1b7349..87fac027e3 100644 --- a/compiler/iface/TcIface.lhs +++ b/compiler/iface/TcIface.lhs @@ -1335,10 +1335,7 @@ bindIfaceTyVars bndrs thing_inside mk_iface_tyvar :: Name -> IfaceKind -> IfL TyVar mk_iface_tyvar name ifKind = do { kind <- tcIfaceType ifKind - ; if isCoercionKind kind then - return (Var.mkCoVar name kind) - else - return (Var.mkTyVar name kind) } + ; return (Var.mkTyVar name kind) } bindIfaceTyVars_AT :: [IfaceTvBndr] -> ([TyVar] -> IfL a) -> IfL a -- Used for type variable in nested associated data/type declarations |