let mk_annot_pos ({ Parse_pos.text_line = line; text_char = col } as parse_pos) pos = { Annot.line; col; offset = get_glob_ofs parse_pos pos }