let add_annot_pos { parse_pos; pstack } pos = pstack.Annot.positions <- mk_annot_pos parse_pos pos :: pstack.Annot.positions