let set_parse_pos parse_pos buf_pos = let len = buf_pos - parse_pos.Parse_pos.buf_pos in parse_pos.Parse_pos.buf_pos <- buf_pos; parse_pos.Parse_pos.global_offset <- parse_pos.Parse_pos.global_offset + len