# 17 "debugger/debugger_lexer.mll" open Debugger_parser let ident_for_extended raw_name = match Misc.Utf8_lexeme.normalize raw_name with | Error _ -> raise Parsing.Parse_error | Ok name -> match Misc.Utf8_lexeme.validate_identifier name with | Misc.Utf8_lexeme.Valid -> name | Misc.Utf8_lexeme.Invalid_character _ | Misc.Utf8_lexeme.Invalid_beginning _ -> raise Parsing.Parse_error exception Int_overflow # 21 "debugger/debugger_lexer.ml" let __ocaml_lex_tables = { Lexing.lex_base = "\000\000\253\255\001\000\255\255\002\000\005\000\253\255\000\000\ \007\000\001\000\254\255\003\000\072\000\235\255\236\255\040\001\ \238\255\239\255\240\255\241\255\075\001\243\255\110\001\145\001\ \246\255\247\255\180\001\215\001\000\000\232\001\004\000\049\002\ \010\003\227\003\008\000\227\004\060\005\251\255\097\000\010\000\ \012\000\151\000\085\003\020\000\028\000"; Lexing.lex_backtrk = "\001\000\255\255\000\000\255\255\001\000\255\255\255\255\001\000\ \000\000\000\000\255\255\000\000\255\255\255\255\255\255\018\000\ \255\255\255\255\255\255\255\255\013\000\255\255\011\000\010\000\ \255\255\255\255\007\000\006\000\005\000\005\000\020\000\003\000\ \002\000\001\000\000\000\003\000\003\000\255\255\255\255\255\255\ \255\255\255\255\005\000\005\000\005\000"; Lexing.lex_default = "\004\000\000\000\255\255\000\000\004\000\008\000\000\000\255\255\ \008\000\011\000\000\000\011\000\013\000\000\000\000\000\255\255\ \000\000\000\000\000\000\000\000\255\255\000\000\255\255\255\255\ \000\000\000\000\255\255\255\255\255\255\255\255\038\000\255\255\ \255\255\255\255\255\255\035\000\255\255\000\000\038\000\255\255\ \255\255\255\255\255\255\255\255\255\255"; Lexing.lex_trans = "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\007\000\003\000\003\000\003\000\002\000\007\000\002\000\ \255\255\034\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \007\000\000\000\000\000\000\000\000\000\007\000\037\000\255\255\ \034\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\044\000\044\000\043\000\043\000\043\000\043\000\ \043\000\043\000\043\000\043\000\043\000\043\000\043\000\043\000\ \043\000\043\000\043\000\043\000\044\000\044\000\000\000\000\000\ \000\000\034\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \034\000\020\000\030\000\024\000\022\000\015\000\015\000\000\000\ \019\000\018\000\027\000\015\000\000\000\026\000\025\000\015\000\ \029\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\021\000\037\000\015\000\015\000\015\000\015\000\ \023\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\017\000\000\000\016\000\015\000\033\000\ \000\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\ \033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\ \033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\ \033\000\033\000\033\000\000\000\015\000\000\000\015\000\042\000\ \042\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\000\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\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \042\000\042\000\042\000\042\000\042\000\042\000\000\000\000\000\ \001\000\010\000\255\255\255\255\255\255\006\000\000\000\255\255\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \014\000\015\000\000\000\000\000\015\000\015\000\015\000\000\000\ \000\000\000\000\015\000\015\000\000\000\015\000\015\000\015\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\255\255\015\000\000\000\015\000\015\000\015\000\015\000\ \015\000\000\000\000\000\000\000\015\000\000\000\000\000\015\000\ \015\000\015\000\000\000\000\000\000\000\015\000\015\000\000\000\ \015\000\015\000\015\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\015\000\015\000\015\000\ \015\000\015\000\015\000\015\000\000\000\000\000\000\000\015\000\ \000\000\000\000\015\000\015\000\015\000\000\000\000\000\000\000\ \015\000\015\000\000\000\015\000\015\000\015\000\000\000\000\000\ \000\000\000\000\000\000\000\000\015\000\000\000\015\000\000\000\ \015\000\015\000\015\000\015\000\015\000\015\000\015\000\000\000\ \000\000\000\000\015\000\000\000\000\000\015\000\015\000\015\000\ \000\000\000\000\000\000\015\000\015\000\000\000\015\000\015\000\ \015\000\000\000\000\000\000\000\000\000\000\000\000\000\015\000\ \000\000\015\000\000\000\015\000\015\000\015\000\015\000\015\000\ \015\000\015\000\000\000\000\000\000\000\015\000\000\000\000\000\ \015\000\015\000\015\000\000\000\000\000\000\000\015\000\015\000\ \000\000\015\000\015\000\015\000\000\000\000\000\000\000\000\000\ \000\000\000\000\015\000\000\000\015\000\000\000\015\000\015\000\ \015\000\015\000\015\000\015\000\015\000\000\000\000\000\000\000\ \015\000\000\000\000\000\015\000\015\000\015\000\000\000\000\000\ \000\000\015\000\015\000\000\000\015\000\015\000\015\000\000\000\ \000\000\000\000\000\000\000\000\000\000\015\000\000\000\015\000\ \000\000\015\000\015\000\015\000\015\000\015\000\015\000\015\000\ \028\000\028\000\028\000\028\000\028\000\028\000\028\000\028\000\ \028\000\028\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\039\000\000\000\000\000\000\000\000\000\000\000\ \015\000\000\000\015\000\000\000\000\000\015\000\000\000\040\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \041\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\039\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\015\000\000\000\015\000\000\000\040\000\ \036\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \041\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\000\000\000\000\000\000\000\000\ \036\000\000\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\000\000\000\000\000\000\000\000\ \000\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\032\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\000\000\000\000\000\000\ \000\000\032\000\000\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\042\000\042\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\000\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\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\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\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\033\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\033\000\033\000\033\000\033\000\033\000\ \033\000\033\000\033\000\033\000\033\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\033\000\033\000\033\000\033\000\ \033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\ \033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\ \033\000\033\000\033\000\033\000\033\000\033\000\000\000\000\000\ \000\000\000\000\033\000\000\000\033\000\033\000\033\000\033\000\ \033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\ \033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\ \033\000\033\000\033\000\033\000\033\000\033\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\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\036\000\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\036\000\036\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\255\255\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\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\036\000\255\255\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\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\036\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\000\000\ \000\000\000\000\000\000\036\000\000\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\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\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\000\000"; Lexing.lex_check = "\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\007\000\000\000\002\000\004\000\000\000\005\000\004\000\ \008\000\034\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\ \007\000\255\255\255\255\255\255\255\255\005\000\030\000\008\000\ \034\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\039\000\039\000\040\000\040\000\040\000\040\000\ \040\000\040\000\040\000\040\000\043\000\043\000\043\000\043\000\ \043\000\043\000\043\000\043\000\044\000\044\000\255\255\255\255\ \255\255\012\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\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\255\255\ \012\000\012\000\012\000\012\000\255\255\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\038\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\255\255\012\000\012\000\012\000\ \255\255\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\255\255\012\000\255\255\012\000\041\000\ \041\000\041\000\041\000\041\000\041\000\041\000\041\000\041\000\ \041\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \041\000\041\000\041\000\041\000\041\000\041\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\ \041\000\041\000\041\000\041\000\041\000\041\000\255\255\255\255\ \000\000\009\000\004\000\011\000\030\000\005\000\255\255\008\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\012\000\012\000\012\000\012\000\012\000\012\000\012\000\ \012\000\015\000\255\255\255\255\015\000\015\000\015\000\255\255\ \255\255\255\255\015\000\015\000\255\255\015\000\015\000\015\000\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\038\000\015\000\255\255\015\000\015\000\015\000\015\000\ \015\000\255\255\255\255\255\255\020\000\255\255\255\255\020\000\ \020\000\020\000\255\255\255\255\255\255\020\000\020\000\255\255\ \020\000\020\000\020\000\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\020\000\015\000\020\000\ \020\000\020\000\020\000\020\000\255\255\255\255\255\255\022\000\ \255\255\255\255\022\000\022\000\022\000\255\255\255\255\255\255\ \022\000\022\000\255\255\022\000\022\000\022\000\255\255\255\255\ \255\255\255\255\255\255\255\255\015\000\255\255\015\000\255\255\ \022\000\020\000\022\000\022\000\022\000\022\000\022\000\255\255\ \255\255\255\255\023\000\255\255\255\255\023\000\023\000\023\000\ \255\255\255\255\255\255\023\000\023\000\255\255\023\000\023\000\ \023\000\255\255\255\255\255\255\255\255\255\255\255\255\020\000\ \255\255\020\000\255\255\023\000\022\000\023\000\023\000\023\000\ \023\000\023\000\255\255\255\255\255\255\026\000\255\255\255\255\ \026\000\026\000\026\000\255\255\255\255\255\255\026\000\026\000\ \255\255\026\000\026\000\026\000\255\255\255\255\255\255\255\255\ \255\255\255\255\022\000\255\255\022\000\255\255\026\000\023\000\ \026\000\026\000\026\000\026\000\026\000\255\255\255\255\255\255\ \027\000\255\255\255\255\027\000\027\000\027\000\255\255\255\255\ \255\255\027\000\027\000\255\255\027\000\027\000\027\000\255\255\ \255\255\255\255\255\255\255\255\255\255\023\000\255\255\023\000\ \255\255\027\000\026\000\027\000\027\000\027\000\027\000\027\000\ \029\000\029\000\029\000\029\000\029\000\029\000\029\000\029\000\ \029\000\029\000\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\029\000\255\255\255\255\255\255\255\255\255\255\ \026\000\255\255\026\000\255\255\255\255\027\000\255\255\029\000\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \029\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\029\000\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\027\000\255\255\027\000\255\255\029\000\ \031\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \029\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\255\255\255\255\255\255\255\255\ \031\000\255\255\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\255\255\255\255\255\255\255\255\ \255\255\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\ \031\000\032\000\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\032\000\032\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\ \255\255\255\255\255\255\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\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\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\042\000\042\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\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\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\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\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\032\000\032\000\032\000\032\000\032\000\032\000\ \032\000\032\000\033\000\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\033\000\033\000\033\000\033\000\033\000\ \033\000\033\000\033\000\033\000\033\000\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\033\000\033\000\033\000\033\000\ \033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\ \033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\ \033\000\033\000\033\000\033\000\033\000\033\000\255\255\255\255\ \255\255\255\255\033\000\255\255\033\000\033\000\033\000\033\000\ \033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\ \033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\ \033\000\033\000\033\000\033\000\033\000\033\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\033\000\033\000\033\000\033\000\033\000\ \033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\ \033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\ \033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\ \033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\ \033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\ \033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\ \033\000\033\000\033\000\033\000\033\000\033\000\033\000\033\000\ \033\000\033\000\033\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\ \035\000\035\000\035\000\036\000\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\036\000\036\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\255\255\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\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\036\000\255\255\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\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\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\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\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\ \036\000\036\000\036\000\036\000\255\255"; Lexing.lex_base_code = "\000\000\000\000\000\000\004\000\001\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\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_backtrk_code = "\000\000\000\000\004\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\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_default_code = "\001\000\000\000\000\000\000\000\001\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\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_trans_code = "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\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_code = "\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\000\000\004\000\255\255\000\000\004\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\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\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\004\000"; Lexing.lex_code = "\255\001\255\255\000\001\255"; } let rec line lexbuf = lexbuf.Lexing.lex_mem <- Array.make 2 (-1);(* L=1 [1] <- p ; *) lexbuf.Lexing.lex_mem.(1) <- lexbuf.Lexing.lex_curr_pos ; __ocaml_lex_line_rec lexbuf 0 and __ocaml_lex_line_rec lexbuf __ocaml_lex_state = match Lexing.new_engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> let # 47 "debugger/debugger_lexer.mll" s # 549 "debugger/debugger_lexer.ml" = Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_start_pos lexbuf.Lexing.lex_mem.(0) in # 48 "debugger/debugger_lexer.mll" ( s ) # 553 "debugger/debugger_lexer.ml" | 1 -> # 50 "debugger/debugger_lexer.mll" ( Lexing.lexeme lexbuf ) # 558 "debugger/debugger_lexer.ml" | 2 -> # 52 "debugger/debugger_lexer.mll" ( raise Exit ) # 563 "debugger/debugger_lexer.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_line_rec lexbuf __ocaml_lex_state and argument lexbuf = __ocaml_lex_argument_rec lexbuf 5 and __ocaml_lex_argument_rec lexbuf __ocaml_lex_state = match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 57 "debugger/debugger_lexer.mll" ( ARGUMENT (Lexing.lexeme lexbuf) ) # 575 "debugger/debugger_lexer.ml" | 1 -> # 59 "debugger/debugger_lexer.mll" ( argument lexbuf ) # 580 "debugger/debugger_lexer.ml" | 2 -> # 61 "debugger/debugger_lexer.mll" ( EOL ) # 585 "debugger/debugger_lexer.ml" | 3 -> # 63 "debugger/debugger_lexer.mll" ( raise Parsing.Parse_error ) # 590 "debugger/debugger_lexer.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_argument_rec lexbuf __ocaml_lex_state and line_argument lexbuf = __ocaml_lex_line_argument_rec lexbuf 9 and __ocaml_lex_line_argument_rec lexbuf __ocaml_lex_state = match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 68 "debugger/debugger_lexer.mll" ( ARGUMENT (Lexing.lexeme lexbuf) ) # 602 "debugger/debugger_lexer.ml" | 1 -> # 70 "debugger/debugger_lexer.mll" ( EOL ) # 607 "debugger/debugger_lexer.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_line_argument_rec lexbuf __ocaml_lex_state and lexeme lexbuf = __ocaml_lex_lexeme_rec lexbuf 12 and __ocaml_lex_lexeme_rec lexbuf __ocaml_lex_state = match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 75 "debugger/debugger_lexer.mll" ( lexeme lexbuf ) # 619 "debugger/debugger_lexer.ml" | 1 -> # 77 "debugger/debugger_lexer.mll" ( LIDENT(Lexing.lexeme lexbuf) ) # 624 "debugger/debugger_lexer.ml" | 2 -> # 79 "debugger/debugger_lexer.mll" ( UIDENT(Lexing.lexeme lexbuf) ) # 629 "debugger/debugger_lexer.ml" | 3 -> let # 80 "debugger/debugger_lexer.mll" raw_name # 635 "debugger/debugger_lexer.ml" = Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_start_pos lexbuf.Lexing.lex_curr_pos in # 81 "debugger/debugger_lexer.mll" ( let name = ident_for_extended raw_name in if Misc.Utf8_lexeme.is_capitalized name then UIDENT name else LIDENT name ) # 644 "debugger/debugger_lexer.ml" | 4 -> # 88 "debugger/debugger_lexer.mll" ( let s = Lexing.lexeme lexbuf in LIDENT(String.sub s 1 (String.length s - 2)) ) # 650 "debugger/debugger_lexer.ml" | 5 -> # 94 "debugger/debugger_lexer.mll" ( try INTEGER (Int64.of_string (Lexing.lexeme lexbuf)) with Failure _ -> raise Int_overflow ) # 657 "debugger/debugger_lexer.ml" | 6 -> # 98 "debugger/debugger_lexer.mll" ( STAR ) # 662 "debugger/debugger_lexer.ml" | 7 -> # 100 "debugger/debugger_lexer.mll" ( MINUS ) # 667 "debugger/debugger_lexer.ml" | 8 -> # 102 "debugger/debugger_lexer.mll" ( DOT ) # 672 "debugger/debugger_lexer.ml" | 9 -> # 104 "debugger/debugger_lexer.mll" ( HASH ) # 677 "debugger/debugger_lexer.ml" | 10 -> # 106 "debugger/debugger_lexer.mll" ( AT ) # 682 "debugger/debugger_lexer.ml" | 11 -> # 108 "debugger/debugger_lexer.mll" ( DOLLAR ) # 687 "debugger/debugger_lexer.ml" | 12 -> # 110 "debugger/debugger_lexer.mll" ( COLON ) # 692 "debugger/debugger_lexer.ml" | 13 -> # 112 "debugger/debugger_lexer.mll" ( BANG ) # 697 "debugger/debugger_lexer.ml" | 14 -> # 114 "debugger/debugger_lexer.mll" ( LPAREN ) # 702 "debugger/debugger_lexer.ml" | 15 -> # 116 "debugger/debugger_lexer.mll" ( RPAREN ) # 707 "debugger/debugger_lexer.ml" | 16 -> # 118 "debugger/debugger_lexer.mll" ( LBRACKET ) # 712 "debugger/debugger_lexer.ml" | 17 -> # 120 "debugger/debugger_lexer.mll" ( RBRACKET ) # 717 "debugger/debugger_lexer.ml" | 18 -> # 123 "debugger/debugger_lexer.mll" ( OPERATOR (Lexing.lexeme lexbuf) ) # 722 "debugger/debugger_lexer.ml" | 19 -> # 125 "debugger/debugger_lexer.mll" ( EOL ) # 727 "debugger/debugger_lexer.ml" | 20 -> # 127 "debugger/debugger_lexer.mll" ( raise Parsing.Parse_error ) # 732 "debugger/debugger_lexer.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_lexeme_rec lexbuf __ocaml_lex_state ;;