@@ -1195,7 +1195,8 @@ elabClauses info fc opts n_in cs = let n = liftname info n_in in
11951195 force (normalisePats ctxt [] y))
11961196 simple_lhs ctxt t = t
11971197
1198− simple_rt ctxt (p, x, y) = (p, x, force (rt_simplify ctxt [] y))
1198+ simple_rt ctxt (p, x, y) = (p, x, force (uniqueBinders p
1199+ (rt_simplify ctxt [] y)))
11991200
12001201 -- this is so pattern types are in the right form for erasure
12011202 normalisePats ctxt env (Bind n (PVar t) sc)