-- sensible location. Note: we have to do this odd
-- ann-grabbing, because we don't always have annotations in
-- hand when we call tcMatchesFun...
-- sensible location. Note: we have to do this odd
-- ann-grabbing, because we don't always have annotations in
-- hand when we call tcMatchesFun...
-- ToDo: Don't use "expected" stuff if there ain't a type signature
-- because inconsistency between branches
-- ToDo: Don't use "expected" stuff if there ain't a type signature
-- because inconsistency between branches
-- Ensure that every old binder of type b is linked up with its new binder which should have type [b]
; let list_bndr_ids = zipWith mk_list_bndr list_bndr_names bndr_ids
bindersMap' = bndr_ids `zip` list_bndr_ids
-- Ensure that every old binder of type b is linked up with its new binder which should have type [b]
; let list_bndr_ids = zipWith mk_list_bndr list_bndr_names bndr_ids
bindersMap' = bndr_ids `zip` list_bndr_ids