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