# 19 "tsl_lexer.mll" open Tsl_parser let comment_start_pos = ref [] let lexer_error message = failwith (Printf.sprintf "Tsl lexer: %s" message) # 11 "tsl_lexer.ml" let __ocaml_lex_tables = { Lexing.lex_base = "\000\000\241\255\242\255\243\255\084\000\246\255\001\000\249\255\ \016\000\084\000\017\000\254\255\001\000\006\000\006\000\198\000\ \022\000\009\000\009\000\253\255\018\000\250\255\252\255\199\000\ \025\000\200\000\013\000\040\000\251\255\247\255\141\000\252\255\ \007\000\142\000\204\000\011\000\205\000\254\255\102\000\252\255\ \253\255\000\000\021\000\255\255\254\255\006\001\252\255\003\000\ \001\000\100\001\198\001\066\000\002\000\003\000\144\000\094\000\ \191\000\192\000\026\002"; Lexing.lex_backtrk = "\000\000\255\255\255\255\255\255\010\000\255\255\013\000\255\255\ \013\000\007\000\013\000\255\255\013\000\000\000\255\255\255\255\ \255\255\255\255\255\255\255\255\007\000\255\255\255\255\011\000\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \002\000\000\000\001\000\255\255\255\255\255\255\255\255\255\255\ \255\255\003\000\003\000\255\255\255\255\255\255\255\255\003\000\ \003\000\003\000\000\000\255\255\255\255\255\255\001\000\255\255\ \255\255\002\000\255\255"; Lexing.lex_default = "\002\000\000\000\000\000\000\000\255\255\000\000\255\255\000\000\ \255\255\255\255\255\255\000\000\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\000\000\255\255\000\000\000\000\255\255\ \255\255\255\255\255\255\255\255\000\000\000\000\033\000\000\000\ \255\255\033\000\255\255\255\255\255\255\000\000\039\000\000\000\ \000\000\255\255\255\255\000\000\000\000\046\000\000\000\255\255\ \255\255\255\255\255\255\255\255\255\255\053\000\053\000\255\255\ \056\000\056\000\255\255"; Lexing.lex_trans = "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\013\000\011\000\011\000\013\000\012\000\014\000\013\000\ \011\000\034\000\013\000\014\000\035\000\034\000\000\000\000\000\ \035\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \013\000\000\000\003\000\053\000\053\000\054\000\013\000\004\000\ \008\000\044\000\009\000\006\000\007\000\004\000\004\000\010\000\ \004\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\ \004\000\004\000\023\000\015\000\020\000\005\000\029\000\043\000\ \055\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\ \004\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\ \004\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\ \004\000\004\000\004\000\017\000\018\000\019\000\026\000\004\000\ \027\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\ \004\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\ \004\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\ \004\000\004\000\004\000\004\000\028\000\021\000\020\000\055\000\ \056\000\004\000\004\000\022\000\004\000\004\000\004\000\004\000\ \004\000\004\000\004\000\004\000\004\000\004\000\042\000\000\000\ \041\000\000\000\000\000\000\000\000\000\004\000\004\000\004\000\ \004\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\ \004\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\ \004\000\004\000\004\000\004\000\004\000\004\000\004\000\031\000\ \255\255\000\000\054\000\004\000\000\000\004\000\004\000\004\000\ \004\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\ \004\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\ \004\000\004\000\004\000\004\000\004\000\004\000\004\000\015\000\ \025\000\025\000\015\000\025\000\025\000\034\000\037\000\000\000\ \034\000\037\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\057\000\057\000\000\000\000\000\000\000\015\000\025\000\ \025\000\032\000\255\255\000\000\034\000\037\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \001\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\016\000\024\000\024\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \036\000\000\000\000\000\000\000\000\000\049\000\000\000\000\000\ \000\000\047\000\000\000\050\000\049\000\000\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\ \000\000\000\000\000\000\048\000\000\000\000\000\000\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\ \049\000\000\000\000\000\000\000\000\000\049\000\040\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\ \049\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\058\000\000\000\255\255\255\255\051\000\ \255\255\058\000\058\000\000\000\058\000\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\058\000\058\000\000\000\000\000\ \000\000\052\000\000\000\000\000\000\000\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\058\000\058\000\058\000\255\255\ \255\255\000\000\000\000\058\000\000\000\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\058\000\058\000\058\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\050\000\000\000\000\000\ \000\000\051\000\000\000\050\000\050\000\000\000\050\000\050\000\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \000\000\000\000\000\000\052\000\000\000\000\000\255\255\050\000\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\000\000\000\000\000\000\000\000\050\000\000\000\050\000\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\058\000\000\000\000\000\000\000\051\000\000\000\058\000\ \058\000\000\000\058\000\058\000\058\000\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\000\000\000\000\000\000\052\000\ \000\000\000\000\000\000\058\000\058\000\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\058\000\000\000\000\000\000\000\ \000\000\058\000\000\000\058\000\058\000\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\058\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\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\000\000\000\000\012\000\000\000\000\000\012\000\013\000\ \014\000\032\000\013\000\014\000\032\000\035\000\255\255\255\255\ \035\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \000\000\255\255\000\000\048\000\052\000\053\000\013\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\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\008\000\010\000\020\000\000\000\006\000\042\000\ \047\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\016\000\017\000\018\000\024\000\000\000\ \026\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\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\027\000\009\000\009\000\051\000\ \055\000\004\000\004\000\009\000\004\000\004\000\004\000\004\000\ \004\000\004\000\004\000\004\000\004\000\004\000\038\000\255\255\ \038\000\255\255\255\255\255\255\255\255\004\000\004\000\004\000\ \004\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\ \004\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\ \004\000\004\000\004\000\004\000\004\000\004\000\004\000\030\000\ \033\000\255\255\054\000\004\000\255\255\004\000\004\000\004\000\ \004\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\ \004\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\ \004\000\004\000\004\000\004\000\004\000\004\000\004\000\015\000\ \023\000\025\000\015\000\023\000\025\000\034\000\036\000\255\255\ \034\000\036\000\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\056\000\057\000\255\255\255\255\255\255\015\000\023\000\ \025\000\030\000\033\000\255\255\034\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\ \000\000\255\255\255\255\053\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\015\000\023\000\025\000\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \034\000\255\255\255\255\255\255\255\255\045\000\255\255\255\255\ \255\255\045\000\255\255\045\000\045\000\255\255\045\000\045\000\ \045\000\045\000\045\000\045\000\045\000\045\000\045\000\045\000\ \255\255\255\255\255\255\045\000\255\255\255\255\255\255\045\000\ \045\000\045\000\045\000\045\000\045\000\045\000\045\000\045\000\ \045\000\045\000\045\000\045\000\045\000\045\000\045\000\045\000\ \045\000\045\000\045\000\045\000\045\000\045\000\045\000\045\000\ \045\000\255\255\255\255\255\255\255\255\045\000\038\000\045\000\ \045\000\045\000\045\000\045\000\045\000\045\000\045\000\045\000\ \045\000\045\000\045\000\045\000\045\000\045\000\045\000\045\000\ \045\000\045\000\045\000\045\000\045\000\045\000\045\000\045\000\ \045\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\049\000\255\255\030\000\033\000\049\000\ \054\000\049\000\049\000\255\255\049\000\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\255\255\255\255\ \255\255\049\000\255\255\255\255\255\255\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\000\056\000\ \057\000\255\255\255\255\049\000\255\255\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\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\050\000\255\255\255\255\ \255\255\050\000\255\255\050\000\050\000\255\255\050\000\050\000\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \255\255\255\255\255\255\050\000\255\255\255\255\045\000\050\000\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\255\255\255\255\255\255\255\255\050\000\255\255\050\000\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\058\000\255\255\255\255\255\255\058\000\255\255\058\000\ \058\000\255\255\058\000\058\000\058\000\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\255\255\255\255\255\255\058\000\ \255\255\255\255\255\255\058\000\058\000\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\058\000\255\255\255\255\255\255\ \255\255\058\000\255\255\058\000\058\000\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\058\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"; Lexing.lex_base_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\007\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\084\000\168\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\252\000"; Lexing.lex_backtrk_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\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\007\000\000\000\ \000\000\015\000\000\000"; Lexing.lex_default_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"; 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\010\000\ \000\000\000\000\000\000\000\000\000\000\010\000\010\000\000\000\ \010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\ \010\000\010\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\ \010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\ \010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\ \010\000\010\000\010\000\000\000\004\000\000\000\000\000\010\000\ \000\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\ \010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\ \010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\ \010\000\010\000\010\000\010\000\000\000\000\000\000\000\000\000\ \000\000\010\000\010\000\000\000\010\000\010\000\010\000\010\000\ \010\000\010\000\010\000\010\000\010\000\010\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\010\000\010\000\010\000\ \010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\ \010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\ \010\000\010\000\010\000\010\000\010\000\010\000\010\000\000\000\ \000\000\000\000\000\000\010\000\000\000\010\000\010\000\010\000\ \010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\ \010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\ \010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\ \000\000\000\000\000\000\000\000\000\000\010\000\010\000\000\000\ \010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\ \010\000\010\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\ \010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\ \010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\ \010\000\010\000\010\000\000\000\000\000\000\000\000\000\010\000\ \000\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\ \010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\ \010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\ \010\000\010\000\010\000\010\000\000\000\000\000\000\000\000\000\ \000\000\010\000\010\000\000\000\010\000\010\000\010\000\010\000\ \010\000\010\000\010\000\010\000\010\000\010\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\010\000\010\000\010\000\ \010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\ \010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\ \010\000\010\000\010\000\010\000\010\000\010\000\010\000\000\000\ \000\000\000\000\000\000\010\000\000\000\010\000\010\000\010\000\ \010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\ \010\000\010\000\010\000\010\000\010\000\010\000\010\000\010\000\ \010\000\010\000\010\000\010\000\010\000\010\000\010\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\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\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\045\000\ \255\255\255\255\255\255\255\255\255\255\045\000\045\000\255\255\ \045\000\045\000\045\000\045\000\045\000\045\000\045\000\045\000\ \045\000\045\000\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\045\000\045\000\045\000\045\000\045\000\045\000\045\000\ \045\000\045\000\045\000\045\000\045\000\045\000\045\000\045\000\ \045\000\045\000\045\000\045\000\045\000\045\000\045\000\045\000\ \045\000\045\000\045\000\255\255\034\000\255\255\255\255\045\000\ \255\255\045\000\045\000\045\000\045\000\045\000\045\000\045\000\ \045\000\045\000\045\000\045\000\045\000\045\000\045\000\045\000\ \045\000\045\000\045\000\045\000\045\000\045\000\045\000\045\000\ \045\000\045\000\045\000\049\000\255\255\255\255\255\255\255\255\ \255\255\049\000\049\000\255\255\049\000\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\000\255\255\ \255\255\255\255\255\255\049\000\255\255\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\000\049\000\ \049\000\049\000\049\000\049\000\049\000\049\000\049\000\050\000\ \255\255\255\255\255\255\255\255\255\255\050\000\050\000\255\255\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\050\000\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\050\000\050\000\255\255\255\255\255\255\255\255\050\000\ \255\255\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\050\000\050\000\050\000\050\000\050\000\050\000\050\000\ \050\000\050\000\050\000\058\000\255\255\255\255\255\255\255\255\ \255\255\058\000\058\000\255\255\058\000\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\058\000\058\000\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\058\000\058\000\058\000\255\255\ \255\255\255\255\255\255\058\000\255\255\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\058\000\058\000\058\000\058\000\ \058\000\058\000\058\000\058\000\058\000\058\000\058\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"; Lexing.lex_code = "\255\000\255\255\001\255\255\000\001\255\002\255\001\255\255\000\ \002\255"; } let rec token lexbuf = __ocaml_lex_token_rec lexbuf 0 and __ocaml_lex_token_rec lexbuf __ocaml_lex_state = match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 33 "tsl_lexer.mll" ( token lexbuf ) # 411 "tsl_lexer.ml" | 1 -> # 34 "tsl_lexer.mll" ( Lexing.new_line lexbuf; token lexbuf ) # 416 "tsl_lexer.ml" | 2 -> # 35 "tsl_lexer.mll" ( TSL_BEGIN_C_STYLE ) # 421 "tsl_lexer.ml" | 3 -> # 36 "tsl_lexer.mll" ( TSL_END_C_STYLE ) # 426 "tsl_lexer.ml" | 4 -> # 37 "tsl_lexer.mll" ( TSL_BEGIN_OCAML_STYLE ) # 431 "tsl_lexer.ml" | 5 -> # 38 "tsl_lexer.mll" ( TSL_END_OCAML_STYLE ) # 436 "tsl_lexer.ml" | 6 -> # 39 "tsl_lexer.mll" ( COMMA ) # 441 "tsl_lexer.ml" | 7 -> # 40 "tsl_lexer.mll" ( TEST_DEPTH (String.length (Lexing.lexeme lexbuf)) ) # 446 "tsl_lexer.ml" | 8 -> # 41 "tsl_lexer.mll" ( PLUSEQUAL ) # 451 "tsl_lexer.ml" | 9 -> # 42 "tsl_lexer.mll" ( EQUAL ) # 456 "tsl_lexer.ml" | 10 -> # 44 "tsl_lexer.mll" ( let s = Lexing.lexeme lexbuf in match s with | "include" -> INCLUDE | "set" -> SET | "with" -> WITH | _ -> IDENTIFIER s ) # 467 "tsl_lexer.ml" | 11 -> # 52 "tsl_lexer.mll" ( comment_start_pos := [Lexing.lexeme_start_p lexbuf]; comment lexbuf ) # 475 "tsl_lexer.ml" | 12 -> # 57 "tsl_lexer.mll" ( STRING (string "" lexbuf) ) # 480 "tsl_lexer.ml" | 13 -> # 59 "tsl_lexer.mll" ( let pos = Lexing.lexeme_start_p lexbuf in let file = pos.Lexing.pos_fname in let line = pos.Lexing.pos_lnum in let column = pos.Lexing.pos_cnum - pos.Lexing.pos_bol in let message = Printf.sprintf "%s:%d:%d: unexpected character %s" file line column (Lexing.lexeme lexbuf) in lexer_error message ) # 493 "tsl_lexer.ml" | 14 -> # 69 "tsl_lexer.mll" ( lexer_error "unexpected eof" ) # 498 "tsl_lexer.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_token_rec lexbuf __ocaml_lex_state and string acc lexbuf = lexbuf.Lexing.lex_mem <- Array.make 2 (-1); __ocaml_lex_string_rec acc lexbuf 30 and __ocaml_lex_string_rec acc lexbuf __ocaml_lex_state = match Lexing.new_engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 82 "tsl_lexer.mll" ( string (acc ^ Lexing.lexeme lexbuf) lexbuf ) # 510 "tsl_lexer.ml" | 1 -> let # 83 "tsl_lexer.mll" blank # 516 "tsl_lexer.ml" = Lexing.sub_lexeme_char_opt lexbuf lexbuf.Lexing.lex_mem.(0) in # 84 "tsl_lexer.mll" ( let space = match blank with None -> "" | Some blank -> String.make 1 blank in string (acc ^ space) lexbuf ) # 523 "tsl_lexer.ml" | 2 -> # 89 "tsl_lexer.mll" (string (acc ^ "\\") lexbuf) # 528 "tsl_lexer.ml" | 3 -> # 91 "tsl_lexer.mll" (acc) # 533 "tsl_lexer.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_string_rec acc lexbuf __ocaml_lex_state and comment lexbuf = __ocaml_lex_comment_rec lexbuf 38 and __ocaml_lex_comment_rec lexbuf __ocaml_lex_state = match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 94 "tsl_lexer.mll" ( comment_start_pos := (Lexing.lexeme_start_p lexbuf) :: !comment_start_pos; comment lexbuf ) # 549 "tsl_lexer.ml" | 1 -> # 100 "tsl_lexer.mll" ( comment_start_pos := List.tl !comment_start_pos; if !comment_start_pos = [] then token lexbuf else comment lexbuf ) # 557 "tsl_lexer.ml" | 2 -> # 105 "tsl_lexer.mll" ( let pos = List.hd !comment_start_pos in let file = pos.Lexing.pos_fname in let line = pos.Lexing.pos_lnum in let column = pos.Lexing.pos_cnum - pos.Lexing.pos_bol in let message = Printf.sprintf "%s:%d:%d: unterminated comment" file line column in lexer_error message ) # 570 "tsl_lexer.ml" | 3 -> # 115 "tsl_lexer.mll" ( comment lexbuf ) # 577 "tsl_lexer.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_comment_rec lexbuf __ocaml_lex_state and modifier lexbuf = lexbuf.Lexing.lex_mem <- Array.make 3 (-1);(* L=2 [2] <- p ; [1] <- p ; *) lexbuf.Lexing.lex_mem.(2) <- lexbuf.Lexing.lex_curr_pos ; lexbuf.Lexing.lex_mem.(1) <- lexbuf.Lexing.lex_curr_pos ; __ocaml_lex_modifier_rec lexbuf 45 and __ocaml_lex_modifier_rec lexbuf __ocaml_lex_state = match Lexing.new_engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> let # 121 "tsl_lexer.mll" variable # 593 "tsl_lexer.ml" = Lexing.sub_lexeme lexbuf (lexbuf.Lexing.lex_start_pos + 1) lexbuf.Lexing.lex_curr_pos in # 122 "tsl_lexer.mll" ( variable, `Remove ) # 597 "tsl_lexer.ml" | 1 -> let # 123 "tsl_lexer.mll" variable # 603 "tsl_lexer.ml" = Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_start_pos lexbuf.Lexing.lex_mem.(0) and # 123 "tsl_lexer.mll" str # 608 "tsl_lexer.ml" = Lexing.sub_lexeme lexbuf (lexbuf.Lexing.lex_mem.(0) + 2) (lexbuf.Lexing.lex_curr_pos + -1) in # 124 "tsl_lexer.mll" ( variable, `Add str ) # 612 "tsl_lexer.ml" | 2 -> let # 125 "tsl_lexer.mll" variable # 618 "tsl_lexer.ml" = Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_start_pos lexbuf.Lexing.lex_mem.(0) and # 125 "tsl_lexer.mll" str # 623 "tsl_lexer.ml" = Lexing.sub_lexeme lexbuf (lexbuf.Lexing.lex_mem.(0) + 3) (lexbuf.Lexing.lex_curr_pos + -1) in # 126 "tsl_lexer.mll" ( variable, `Append str ) # 627 "tsl_lexer.ml" | 3 -> # 128 "tsl_lexer.mll" ( failwith "syntax error in script response file" ) # 632 "tsl_lexer.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_modifier_rec lexbuf __ocaml_lex_state ;;