diff options
| author | Max Bolingbroke <batterseapower@hotmail.com> | 2011-08-14 08:06:17 +0100 |
|---|---|---|
| committer | Max Bolingbroke <batterseapower@hotmail.com> | 2011-09-06 17:16:55 +0100 |
| commit | 6bad38a40ce042bec554b0e4efe17c8c965416bc (patch) | |
| tree | d9a8890efd3fcd0c8761b681771cffe54d6cc844 /compiler/iface | |
| parent | fedb6a991c5acfa6988ee5e28db15f1d259b78da (diff) | |
| download | haskell-6bad38a40ce042bec554b0e4efe17c8c965416bc.tar.gz | |
Remove bogus isCoercionKind function and its sole use
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 |