let get_annot_range { parse_pos; pstack } pos =
let start_pos =
match pstack.Annot.positions with
| [] -> assert false (* impossible *)
| h :: t -> pstack.Annot.positions <- t; h
in
let end_pos =
{
Annot.
line = parse_pos.Parse_pos.text_line;
col = parse_pos.Parse_pos.text_char;
offset = get_glob_ofs parse_pos pos;
}
in
{ Annot.start_pos; end_pos }