@@ -1195,7 +1195,8 @@ elabClauses info fc opts n_in cs = let n = liftname info n_in in
1195 force (normalisePats ctxt [] y))
1195 force (normalisePats ctxt [] y))
1196 simple_lhs ctxt t = t
1196 simple_lhs ctxt t = t
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)))
1200 -- this is so pattern types are in the right form for erasure
1201 -- this is so pattern types are in the right form for erasure
1201 normalisePats ctxt env (Bind n (PVar t) sc)
1202 normalisePats ctxt env (Bind n (PVar t) sc)