Source file lexer.ml

# 1 "src/lexer.mll"
 
let digit c =
  match c with
  | 'a' .. 'f' -> 10 + Char.code c - Char.code 'a'
  | 'A' .. 'F' -> 10 + Char.code c - Char.code 'A'
  | '0' .. '9' -> Char.code c - Char.code '0'
  | _ -> assert false (* XXX(dinosaure): should never occur! *)

let to_int lexbuf ~base ~first ~last =
  let c = ref 0 in
  for i = first to last do
    let v = digit (Lexing.lexeme_char lexbuf i) in
    assert (v < base);
    c := (base * !c) + v
  done; !c

let store_lexeme buf lexbuf =
  Buffer.add_string buf (Lexing.lexeme lexbuf)

let store_string_char _lexbuf buf chr =
  Buffer.add_char buf chr

let store_string_utf_8_uchar _lexbuf buf uchr =
  Buffer.add_utf_8_uchar buf uchr

let add_escaped_char lexbuf buf chr = store_string_char lexbuf buf chr
let add_escaped_uchar lexbuf buf uchr = store_string_utf_8_uchar lexbuf buf uchr

let char_for_backslash = function
  | 'n' -> '\010'
  | 'r' -> '\013'
  | 'b' -> '\008'
  | 't' -> '\009'
  | c -> c

let char_for_decimal_code lexbuf i =
  let code = to_int lexbuf ~base:10 ~first:i ~last:(i + 2) in
  if code < 0 || code > 255
  then invalid_arg "Invalid character"
  else Char.chr code

let char_for_octal_code lexbuf i =
  let code = to_int lexbuf ~base:8 ~first:i ~last:(i + 2) in
  if code < 0 || code > 255
  then invalid_arg "Invalid character"
  else Char.chr code

let char_for_hexadecimal_code lexbuf i =
  Char.chr (to_int lexbuf ~base:16 ~first:i ~last:(i + 1))

let uchar_for_uchar_escape lexbuf =
  let len = Lexing.lexeme_end lexbuf - Lexing.lexeme_start lexbuf in
  let first = 3 and last = len - 2 in
  let digit_count = last - first + 1 in
  match digit_count > 6 with
  | true -> invalid_arg "Invalid unicode character"
  | false ->
    let code = to_int lexbuf ~base:16 ~first ~last in
    if Uchar.is_valid code
    then Uchar.unsafe_of_int code
    else invalid_arg "Invalid unicode character"

# 65 "src/lexer.ml"
let __ocaml_lex_tables = {
  Lexing.lex_base =
   "\000\000\253\255\012\000\036\000\109\000\124\000\139\000\149\000\
    \022\000\024\000\160\000\215\000\046\000\055\000\183\000\238\000\
    \019\001\253\255\029\001\104\001\184\001\199\001\255\255\060\000\
    \068\000\211\001\249\001\068\002\120\002\018\000\247\255\248\255\
    \211\002\249\255\002\000\245\002\248\000\039\001\114\001\255\255\
    \234\001\254\255\076\002\203\002\252\255\028\003\251\255\051\003\
    \089\003\250\255";
  Lexing.lex_backtrk =
   "\255\255\255\255\000\000\000\000\002\000\255\255\255\255\001\000\
    \255\255\255\255\255\255\000\000\000\000\000\000\001\000\255\255\
    \255\255\255\255\001\000\001\000\002\000\255\255\255\255\255\255\
    \000\000\000\000\001\000\001\000\001\000\255\255\255\255\255\255\
    \008\000\255\255\006\000\006\000\006\000\006\000\002\000\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255";
  Lexing.lex_default =
   "\001\000\000\000\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \017\000\000\000\255\255\255\255\255\255\255\255\000\000\255\255\
    \255\255\255\255\255\255\255\255\255\255\030\000\000\000\000\000\
    \033\000\000\000\255\255\255\255\255\255\255\255\255\255\000\000\
    \255\255\000\000\255\255\255\255\000\000\255\255\000\000\255\255\
    \255\255\000\000";
  Lexing.lex_trans =
   "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\004\000\000\000\004\000\000\000\000\000\
    \003\000\002\000\002\000\002\000\002\000\002\000\002\000\002\000\
    \002\000\002\000\007\000\000\000\002\000\002\000\002\000\002\000\
    \002\000\002\000\002\000\002\000\002\000\002\000\013\000\013\000\
    \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\
    \000\000\006\000\007\000\000\000\002\000\002\000\002\000\002\000\
    \002\000\002\000\002\000\002\000\002\000\002\000\012\000\012\000\
    \012\000\012\000\012\000\012\000\012\000\012\000\008\000\013\000\
    \013\000\006\000\000\000\002\000\028\000\028\000\032\000\000\000\
    \000\000\006\000\000\000\009\000\027\000\027\000\027\000\027\000\
    \027\000\027\000\027\000\027\000\010\000\047\000\000\000\000\000\
    \000\000\000\000\000\000\002\000\000\000\000\000\008\000\000\000\
    \000\000\006\000\000\000\000\000\000\000\012\000\000\000\000\000\
    \000\000\000\000\000\000\009\000\000\000\000\000\013\000\000\000\
    \005\000\000\000\005\000\000\000\010\000\003\000\002\000\002\000\
    \002\000\002\000\002\000\002\000\002\000\002\000\002\000\005\000\
    \000\000\005\000\000\000\000\000\003\000\002\000\002\000\002\000\
    \002\000\002\000\002\000\002\000\002\000\002\000\015\000\000\000\
    \015\000\000\000\000\000\014\000\014\000\014\000\014\000\014\000\
    \014\000\014\000\014\000\014\000\014\000\007\000\007\000\007\000\
    \007\000\007\000\007\000\007\000\007\000\007\000\007\000\000\000\
    \011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\
    \011\000\011\000\006\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\011\000\011\000\011\000\011\000\011\000\011\000\014\000\
    \014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\
    \014\000\000\000\000\000\000\000\007\000\000\000\000\000\000\000\
    \000\000\000\000\006\000\000\000\000\000\000\000\000\000\000\000\
    \255\255\011\000\011\000\011\000\011\000\011\000\011\000\011\000\
    \011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\
    \011\000\000\000\031\000\000\000\000\000\000\000\014\000\000\000\
    \011\000\011\000\011\000\011\000\011\000\011\000\014\000\014\000\
    \014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\
    \042\000\042\000\042\000\042\000\042\000\042\000\042\000\042\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\011\000\000\000\
    \011\000\011\000\011\000\011\000\011\000\011\000\020\000\000\000\
    \020\000\000\000\000\000\019\000\018\000\018\000\018\000\018\000\
    \018\000\018\000\018\000\018\000\018\000\018\000\018\000\018\000\
    \018\000\018\000\018\000\018\000\018\000\018\000\018\000\040\000\
    \040\000\040\000\040\000\040\000\040\000\040\000\040\000\000\000\
    \000\000\000\000\000\000\000\000\022\000\022\000\022\000\022\000\
    \022\000\022\000\022\000\022\000\022\000\022\000\022\000\022\000\
    \022\000\022\000\022\000\022\000\022\000\022\000\022\000\022\000\
    \000\000\000\000\000\000\000\000\018\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\022\000\022\000\022\000\022\000\
    \022\000\022\000\022\000\022\000\022\000\022\000\022\000\022\000\
    \022\000\022\000\022\000\022\000\022\000\022\000\022\000\022\000\
    \018\000\018\000\018\000\018\000\018\000\018\000\018\000\018\000\
    \018\000\018\000\040\000\040\000\040\000\040\000\040\000\040\000\
    \040\000\040\000\023\000\000\000\000\000\000\000\000\000\022\000\
    \022\000\022\000\022\000\022\000\022\000\022\000\022\000\024\000\
    \022\000\022\000\022\000\022\000\022\000\022\000\022\000\022\000\
    \025\000\022\000\022\000\000\000\000\000\000\000\000\000\018\000\
    \000\000\000\000\023\000\000\000\000\000\000\000\000\000\022\000\
    \022\000\022\000\022\000\022\000\022\000\022\000\022\000\024\000\
    \022\000\022\000\022\000\022\000\022\000\022\000\022\000\022\000\
    \025\000\022\000\022\000\021\000\000\000\021\000\000\000\000\000\
    \019\000\018\000\018\000\018\000\018\000\018\000\018\000\018\000\
    \018\000\018\000\021\000\000\000\021\000\000\000\000\000\019\000\
    \018\000\018\000\018\000\018\000\018\000\018\000\018\000\018\000\
    \018\000\000\000\000\000\026\000\026\000\026\000\026\000\026\000\
    \026\000\026\000\026\000\026\000\026\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\255\255\026\000\026\000\026\000\026\000\
    \026\000\026\000\041\000\041\000\041\000\041\000\041\000\041\000\
    \041\000\041\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\026\000\026\000\026\000\026\000\026\000\026\000\026\000\
    \026\000\026\000\026\000\000\000\026\000\026\000\026\000\026\000\
    \026\000\026\000\026\000\026\000\026\000\026\000\026\000\026\000\
    \022\000\022\000\022\000\022\000\022\000\022\000\022\000\022\000\
    \022\000\022\000\022\000\022\000\022\000\022\000\022\000\022\000\
    \022\000\022\000\022\000\022\000\000\000\000\000\000\000\000\000\
    \026\000\000\000\026\000\026\000\026\000\026\000\026\000\026\000\
    \022\000\022\000\022\000\022\000\022\000\022\000\022\000\022\000\
    \022\000\022\000\022\000\022\000\022\000\022\000\022\000\022\000\
    \022\000\022\000\022\000\022\000\027\000\027\000\027\000\027\000\
    \027\000\027\000\027\000\027\000\043\000\043\000\043\000\043\000\
    \043\000\043\000\043\000\043\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\022\000\022\000\022\000\022\000\022\000\
    \022\000\022\000\022\000\022\000\022\000\022\000\022\000\022\000\
    \022\000\022\000\022\000\022\000\022\000\022\000\022\000\000\000\
    \000\000\000\000\000\000\027\000\000\000\000\000\000\000\000\000\
    \028\000\028\000\000\000\022\000\022\000\022\000\022\000\022\000\
    \022\000\022\000\022\000\022\000\022\000\022\000\022\000\022\000\
    \022\000\022\000\022\000\022\000\022\000\022\000\022\000\022\000\
    \022\000\022\000\022\000\022\000\022\000\022\000\022\000\022\000\
    \022\000\022\000\022\000\022\000\022\000\022\000\022\000\022\000\
    \022\000\022\000\022\000\000\000\000\000\000\000\000\000\028\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\022\000\
    \022\000\022\000\022\000\022\000\022\000\022\000\022\000\022\000\
    \022\000\022\000\022\000\022\000\022\000\022\000\022\000\022\000\
    \022\000\022\000\022\000\039\000\000\000\039\000\000\000\000\000\
    \000\000\000\000\039\000\044\000\044\000\044\000\044\000\044\000\
    \044\000\044\000\044\000\038\000\037\000\037\000\037\000\037\000\
    \037\000\037\000\037\000\000\000\000\000\000\000\000\000\039\000\
    \000\000\039\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\045\000\045\000\045\000\
    \045\000\045\000\045\000\045\000\045\000\045\000\045\000\039\000\
    \000\000\039\000\000\000\000\000\000\000\039\000\045\000\045\000\
    \045\000\045\000\045\000\045\000\000\000\000\000\000\000\000\000\
    \000\000\039\000\036\000\000\000\000\000\039\000\000\000\039\000\
    \034\000\000\000\000\000\035\000\046\000\046\000\046\000\046\000\
    \046\000\046\000\046\000\046\000\046\000\046\000\045\000\045\000\
    \045\000\045\000\045\000\045\000\000\000\046\000\046\000\046\000\
    \046\000\046\000\046\000\048\000\048\000\048\000\048\000\048\000\
    \048\000\048\000\048\000\048\000\048\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\048\000\048\000\048\000\048\000\
    \048\000\048\000\000\000\000\000\000\000\046\000\046\000\046\000\
    \046\000\046\000\046\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\048\000\048\000\048\000\048\000\048\000\048\000\048\000\
    \048\000\048\000\048\000\000\000\048\000\048\000\048\000\048\000\
    \048\000\048\000\048\000\048\000\048\000\048\000\048\000\048\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\048\000\048\000\048\000\048\000\048\000\048\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\255\255\000\000\000\000\049\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000";
  Lexing.lex_check =
   "\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\000\000\255\255\000\000\255\255\255\255\
    \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
    \000\000\000\000\002\000\255\255\002\000\002\000\002\000\002\000\
    \002\000\002\000\002\000\002\000\002\000\002\000\008\000\008\000\
    \009\000\009\000\009\000\009\000\009\000\009\000\009\000\009\000\
    \255\255\002\000\003\000\255\255\003\000\003\000\003\000\003\000\
    \003\000\003\000\003\000\003\000\003\000\003\000\012\000\012\000\
    \012\000\012\000\012\000\012\000\012\000\012\000\003\000\013\000\
    \013\000\003\000\255\255\002\000\023\000\023\000\029\000\255\255\
    \255\255\002\000\255\255\003\000\024\000\024\000\024\000\024\000\
    \024\000\024\000\024\000\024\000\003\000\034\000\255\255\255\255\
    \255\255\255\255\255\255\003\000\255\255\255\255\003\000\255\255\
    \255\255\003\000\255\255\255\255\255\255\012\000\255\255\255\255\
    \255\255\255\255\255\255\003\000\255\255\255\255\013\000\255\255\
    \004\000\255\255\004\000\255\255\003\000\004\000\004\000\004\000\
    \004\000\004\000\004\000\004\000\004\000\004\000\004\000\005\000\
    \255\255\005\000\255\255\255\255\005\000\005\000\005\000\005\000\
    \005\000\005\000\005\000\005\000\005\000\005\000\006\000\255\255\
    \006\000\255\255\255\255\006\000\006\000\006\000\006\000\006\000\
    \006\000\006\000\006\000\006\000\006\000\007\000\007\000\007\000\
    \007\000\007\000\007\000\007\000\007\000\007\000\007\000\255\255\
    \010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\
    \010\000\010\000\007\000\255\255\255\255\255\255\255\255\255\255\
    \255\255\010\000\010\000\010\000\010\000\010\000\010\000\014\000\
    \014\000\014\000\014\000\014\000\014\000\014\000\014\000\014\000\
    \014\000\255\255\255\255\255\255\007\000\255\255\255\255\255\255\
    \255\255\255\255\007\000\255\255\255\255\255\255\255\255\255\255\
    \000\000\010\000\010\000\010\000\010\000\010\000\010\000\011\000\
    \011\000\011\000\011\000\011\000\011\000\011\000\011\000\011\000\
    \011\000\255\255\029\000\255\255\255\255\255\255\014\000\255\255\
    \011\000\011\000\011\000\011\000\011\000\011\000\015\000\015\000\
    \015\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\
    \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\
    \255\255\255\255\255\255\255\255\255\255\255\255\011\000\255\255\
    \011\000\011\000\011\000\011\000\011\000\011\000\016\000\255\255\
    \016\000\255\255\255\255\016\000\016\000\016\000\016\000\016\000\
    \016\000\016\000\016\000\016\000\016\000\018\000\018\000\018\000\
    \018\000\018\000\018\000\018\000\018\000\018\000\018\000\037\000\
    \037\000\037\000\037\000\037\000\037\000\037\000\037\000\255\255\
    \255\255\255\255\255\255\255\255\018\000\018\000\018\000\018\000\
    \018\000\018\000\018\000\018\000\018\000\018\000\018\000\018\000\
    \018\000\018\000\018\000\018\000\018\000\018\000\018\000\018\000\
    \255\255\255\255\255\255\255\255\018\000\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\018\000\018\000\018\000\018\000\
    \018\000\018\000\018\000\018\000\018\000\018\000\018\000\018\000\
    \018\000\018\000\018\000\018\000\018\000\018\000\018\000\018\000\
    \019\000\019\000\019\000\019\000\019\000\019\000\019\000\019\000\
    \019\000\019\000\038\000\038\000\038\000\038\000\038\000\038\000\
    \038\000\038\000\019\000\255\255\255\255\255\255\255\255\019\000\
    \019\000\019\000\019\000\019\000\019\000\019\000\019\000\019\000\
    \019\000\019\000\019\000\019\000\019\000\019\000\019\000\019\000\
    \019\000\019\000\019\000\255\255\255\255\255\255\255\255\019\000\
    \255\255\255\255\019\000\255\255\255\255\255\255\255\255\019\000\
    \019\000\019\000\019\000\019\000\019\000\019\000\019\000\019\000\
    \019\000\019\000\019\000\019\000\019\000\019\000\019\000\019\000\
    \019\000\019\000\019\000\020\000\255\255\020\000\255\255\255\255\
    \020\000\020\000\020\000\020\000\020\000\020\000\020\000\020\000\
    \020\000\020\000\021\000\255\255\021\000\255\255\255\255\021\000\
    \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
    \021\000\255\255\255\255\025\000\025\000\025\000\025\000\025\000\
    \025\000\025\000\025\000\025\000\025\000\255\255\255\255\255\255\
    \255\255\255\255\255\255\016\000\025\000\025\000\025\000\025\000\
    \025\000\025\000\040\000\040\000\040\000\040\000\040\000\040\000\
    \040\000\040\000\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\026\000\026\000\026\000\026\000\026\000\026\000\026\000\
    \026\000\026\000\026\000\255\255\025\000\025\000\025\000\025\000\
    \025\000\025\000\026\000\026\000\026\000\026\000\026\000\026\000\
    \026\000\026\000\026\000\026\000\026\000\026\000\026\000\026\000\
    \026\000\026\000\026\000\026\000\026\000\026\000\026\000\026\000\
    \026\000\026\000\026\000\026\000\255\255\255\255\255\255\255\255\
    \026\000\255\255\026\000\026\000\026\000\026\000\026\000\026\000\
    \026\000\026\000\026\000\026\000\026\000\026\000\026\000\026\000\
    \026\000\026\000\026\000\026\000\026\000\026\000\026\000\026\000\
    \026\000\026\000\026\000\026\000\027\000\027\000\027\000\027\000\
    \027\000\027\000\027\000\027\000\042\000\042\000\042\000\042\000\
    \042\000\042\000\042\000\042\000\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\027\000\027\000\027\000\027\000\027\000\
    \027\000\027\000\027\000\027\000\027\000\027\000\027\000\027\000\
    \027\000\027\000\027\000\027\000\027\000\027\000\027\000\255\255\
    \255\255\255\255\255\255\027\000\255\255\255\255\255\255\255\255\
    \028\000\028\000\255\255\027\000\027\000\027\000\027\000\027\000\
    \027\000\027\000\027\000\027\000\027\000\027\000\027\000\027\000\
    \027\000\027\000\027\000\027\000\027\000\027\000\027\000\028\000\
    \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\
    \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\
    \028\000\028\000\028\000\255\255\255\255\255\255\255\255\028\000\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\028\000\
    \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\
    \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\
    \028\000\028\000\028\000\032\000\255\255\032\000\255\255\255\255\
    \255\255\255\255\032\000\043\000\043\000\043\000\043\000\043\000\
    \043\000\043\000\043\000\032\000\032\000\032\000\032\000\032\000\
    \032\000\032\000\032\000\255\255\255\255\255\255\255\255\032\000\
    \255\255\032\000\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\035\000\035\000\035\000\
    \035\000\035\000\035\000\035\000\035\000\035\000\035\000\032\000\
    \255\255\032\000\255\255\255\255\255\255\032\000\035\000\035\000\
    \035\000\035\000\035\000\035\000\255\255\255\255\255\255\255\255\
    \255\255\032\000\032\000\255\255\255\255\032\000\255\255\032\000\
    \032\000\255\255\255\255\032\000\045\000\045\000\045\000\045\000\
    \045\000\045\000\045\000\045\000\045\000\045\000\035\000\035\000\
    \035\000\035\000\035\000\035\000\255\255\045\000\045\000\045\000\
    \045\000\045\000\045\000\047\000\047\000\047\000\047\000\047\000\
    \047\000\047\000\047\000\047\000\047\000\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\047\000\047\000\047\000\047\000\
    \047\000\047\000\255\255\255\255\255\255\045\000\045\000\045\000\
    \045\000\045\000\045\000\255\255\255\255\255\255\255\255\255\255\
    \255\255\048\000\048\000\048\000\048\000\048\000\048\000\048\000\
    \048\000\048\000\048\000\255\255\047\000\047\000\047\000\047\000\
    \047\000\047\000\048\000\048\000\048\000\048\000\048\000\048\000\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\048\000\048\000\048\000\048\000\048\000\048\000\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\032\000\255\255\255\255\048\000\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
    \255\255\255\255";
  Lexing.lex_base_code =
   "";
  Lexing.lex_backtrk_code =
   "";
  Lexing.lex_default_code =
   "";
  Lexing.lex_trans_code =
   "";
  Lexing.lex_check_code =
   "";
  Lexing.lex_code =
   "";
}

let rec int_or_float lexbuf =
   __ocaml_lex_int_or_float_rec lexbuf 0
and __ocaml_lex_int_or_float_rec lexbuf __ocaml_lex_state =
  match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with
      | 0 ->
let
# 80 "src/lexer.mll"
                                  lit
# 395 "src/lexer.ml"
= Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_start_pos lexbuf.Lexing.lex_curr_pos in
# 80 "src/lexer.mll"
                                      ( Ok (`Int lit) )
# 399 "src/lexer.ml"

  | 1 ->
let
# 81 "src/lexer.mll"
                                    lit
# 405 "src/lexer.ml"
= Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_start_pos lexbuf.Lexing.lex_curr_pos in
# 81 "src/lexer.mll"
                                        ( Ok (`Float lit) )
# 409 "src/lexer.ml"

  | 2 ->
# 82 "src/lexer.mll"
      ( Error `Malformed )
# 414 "src/lexer.ml"

  | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf;
      __ocaml_lex_int_or_float_rec lexbuf __ocaml_lex_state

and int lexbuf =
   __ocaml_lex_int_rec lexbuf 16
and __ocaml_lex_int_rec lexbuf __ocaml_lex_state =
  match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with
      | 0 ->
let
# 85 "src/lexer.mll"
                                   lit
# 427 "src/lexer.ml"
= Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_start_pos (lexbuf.Lexing.lex_curr_pos + -1) in
# 85 "src/lexer.mll"
                                                 ( Ok lit )
# 431 "src/lexer.ml"

  | 1 ->
let
# 86 "src/lexer.mll"
                                  lit
# 437 "src/lexer.ml"
= Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_start_pos lexbuf.Lexing.lex_curr_pos in
# 86 "src/lexer.mll"
                                      ( Ok lit )
# 441 "src/lexer.ml"

  | 2 ->
# 87 "src/lexer.mll"
      ( Error `Malformed )
# 446 "src/lexer.ml"

  | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf;
      __ocaml_lex_int_rec lexbuf __ocaml_lex_state

and string buf lexbuf =
   __ocaml_lex_string_rec buf lexbuf 29
and __ocaml_lex_string_rec buf lexbuf __ocaml_lex_state =
  match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with
      | 0 ->
let
# 90 "src/lexer.mll"
                                                                chr
# 459 "src/lexer.ml"
= Lexing.sub_lexeme_char lexbuf (lexbuf.Lexing.lex_start_pos + 1) in
# 92 "src/lexer.mll"
      ( add_escaped_char lexbuf buf (char_for_backslash chr)
      ; string buf lexbuf )
# 464 "src/lexer.ml"

  | 1 ->
# 95 "src/lexer.mll"
      ( add_escaped_char lexbuf buf (char_for_octal_code lexbuf 1)
      ; string buf lexbuf )
# 470 "src/lexer.ml"

  | 2 ->
# 98 "src/lexer.mll"
      ( store_string_char lexbuf buf '\000'
      ; string buf lexbuf )
# 476 "src/lexer.ml"

  | 3 ->
# 101 "src/lexer.mll"
      ( add_escaped_char lexbuf buf (char_for_octal_code lexbuf 2)
      ; string buf lexbuf )
# 482 "src/lexer.ml"

  | 4 ->
# 104 "src/lexer.mll"
      ( add_escaped_char lexbuf buf (char_for_hexadecimal_code lexbuf 2)
      ; string buf lexbuf )
# 488 "src/lexer.ml"

  | 5 ->
# 107 "src/lexer.mll"
      ( add_escaped_uchar lexbuf buf (uchar_for_uchar_escape lexbuf)
      ; string buf lexbuf )
# 494 "src/lexer.ml"

  | 6 ->
# 109 "src/lexer.mll"
           ( store_lexeme buf lexbuf ; string buf lexbuf )
# 499 "src/lexer.ml"

  | 7 ->
# 110 "src/lexer.mll"
        ( Buffer.contents buf )
# 504 "src/lexer.ml"

  | 8 ->
let
# 111 "src/lexer.mll"
         chr
# 510 "src/lexer.ml"
= Lexing.sub_lexeme_char lexbuf lexbuf.Lexing.lex_start_pos in
# 111 "src/lexer.mll"
             ( store_string_char lexbuf buf chr
             ; string buf lexbuf )
# 515 "src/lexer.ml"

  | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf;
      __ocaml_lex_string_rec buf lexbuf __ocaml_lex_state

;;

# 114 "src/lexer.mll"
 


# 526 "src/lexer.ml"