let syntax_error loc msg =
Aorai_option.abort
"File %S, line %d, characters %d-%d:@\nSyntax error: %s"
(fst loc).Lexing.pos_fname (fst loc).Lexing.pos_lnum
((fst loc).Lexing.pos_cnum - (fst loc).Lexing.pos_bol)
((snd loc).Lexing.pos_cnum - (fst loc).Lexing.pos_bol)
msg