Give pi bindings unique names
commit1309a42ba491ea1bf090410c7959e231543583e7
authorEdwin Brady <eb@cs.st-andrews.ac.uk>
dateThu 17 Nov 2011, 14:33 (15 years ago)
parent048e2a7
src/Idris/ElabDecls.hs+2−1
@@ -556,7 +556,8 @@ elab ist info pattern tm
556556 elab' (PPi _ n ty sc)
557557 = do attack; tyn <- unique_hole (MN 0 "ty")
558558 claim tyn (RSet 0)
559− forall n (Var tyn)
559+ n' <- unique_hole n
560+ forall n' (Var tyn)
560561 focus tyn
561562 elabE ty
562563 elabE sc