let reraise_parse_error pe global_pos =
let ps = pe.parse_state in
let ppos = ps.parse_pos in
let new_ppos = { ppos with buf_pos = global_pos + ppos.buf_pos } in
let new_ps = { ps with parse_pos = new_ppos } in
let new_pe = { pe with parse_state = new_ps } in
raise (Parse_error new_pe)