@@ -468,8 +468,7 @@ resTC' tcs defaultOn topholes depth topg fn elab ist
468 xs -> error "The impossible happened - overloading is not expected here!"
468 xs -> error "The impossible happened - overloading is not expected here!"
469 ps <- get_probs
469 ps <- get_probs
470 tm <- get_term
470 tm <- get_term
471− args <- map snd <$> try' (apply (Var n) imps)
471+ args <- map snd <$> apply (Var n) imps
472− (match_apply (Var n) imps) True
473 solven lams -- close any implicit lambdas we introduced
472 solven lams -- close any implicit lambdas we introduced
474 ps' <- get_probs
473 ps' <- get_probs
475 when (length ps < length ps' || unrecoverable ps') $
474 when (length ps < length ps' || unrecoverable ps') $