Include hash in names generated for anonymous nodes
Closed this issue · 0 comments
mjambon commented
Instead of anon_choice_type, anon_choice_type_, anon_choice_type2, generate names like anon_choice_type_3af1, anon_choice_type_49ba, anon_choice_type_2a37 so as to avoid mix-ups when a new name with the same prefix is introduced.