@@ -200,7 +200,7 @@ getCoercionsTo i ty =
200 where findCoercions t [] = []
200 where findCoercions t [] = []
201 findCoercions t (n : ns) =
201 findCoercions t (n : ns) =
202 let ps = case lookupTy n (tt_ctxt i) of
202 let ps = case lookupTy n (tt_ctxt i) of
203− [ty'] -> case unApply (getRetTy ty') of
203+ [ty'] -> case unApply (getRetTy (normalise (tt_ctxt i) [] ty')) of
204 (t', _) ->
204 (t', _) ->
205 if t == t' then [n] else []
205 if t == t' then [n] else []
206 _ -> [] in
206 _ -> [] in