diff options
Diffstat (limited to 'compiler/typecheck/TcInteract.hs')
| -rw-r--r-- | compiler/typecheck/TcInteract.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcInteract.hs b/compiler/typecheck/TcInteract.hs index b7a96d9f63..90f7243b25 100644 --- a/compiler/typecheck/TcInteract.hs +++ b/compiler/typecheck/TcInteract.hs @@ -2027,7 +2027,7 @@ onlyNamedBndrsApplied tc ks = all isNamedBinder used_bndrs && not (any isNamedBinder leftover_bndrs) where - (bndrs, _) = splitPiTys (tyConKind tc) + bndrs = tyConBinders tc (used_bndrs, leftover_bndrs) = splitAtList ks bndrs doTyApp :: Class -> Type -> Type -> KindOrType -> TcS LookupInstResult |