Source file parser.ml

module MenhirBasics = struct
  
  exception Error
  
  let _eRR =
    fun _s ->
      raise Error
  
  type token = Tokens.token
  
end

include MenhirBasics

# 7 "src/lib/parser.mly"
  
   open Ast

# 21 "src/lib/parser.ml"

type ('s, 'r) _menhir_state = 
  | MenhirState00 : ('s, _menhir_box_prog) _menhir_state
    (** State 00.
        Stack shape : .
        Start symbol: prog. *)

  | MenhirState01 : (('s, _menhir_box_prog) _menhir_cell1_VLPR, _menhir_box_prog) _menhir_state
    (** State 01.
        Stack shape : VLPR.
        Start symbol: prog. *)

  | MenhirState05 : (('s, _menhir_box_prog) _menhir_cell1_LSQ, _menhir_box_prog) _menhir_state
    (** State 05.
        Stack shape : LSQ.
        Start symbol: prog. *)

  | MenhirState06 : (('s, _menhir_box_prog) _menhir_cell1_LPR, _menhir_box_prog) _menhir_state
    (** State 06.
        Stack shape : LPR.
        Start symbol: prog. *)

  | MenhirState07 : (('s, _menhir_box_prog) _menhir_cell1_LCL, _menhir_box_prog) _menhir_state
    (** State 07.
        Stack shape : LCL.
        Start symbol: prog. *)

  | MenhirState17 : (('s, _menhir_box_prog) _menhir_cell1_sexpr, _menhir_box_prog) _menhir_state
    (** State 17.
        Stack shape : sexpr.
        Start symbol: prog. *)

  | MenhirState26 : ((('s, _menhir_box_prog) _menhir_cell1_LSQ, _menhir_box_prog) _menhir_cell1_sexpr, _menhir_box_prog) _menhir_state
    (** State 26.
        Stack shape : LSQ sexpr.
        Start symbol: prog. *)

  | MenhirState27 : (((('s, _menhir_box_prog) _menhir_cell1_LSQ, _menhir_box_prog) _menhir_cell1_sexpr, _menhir_box_prog) _menhir_cell1_DOT, _menhir_box_prog) _menhir_state
    (** State 27.
        Stack shape : LSQ sexpr DOT.
        Start symbol: prog. *)


and ('s, 'r) _menhir_cell1_sexpr = 
  | MenhirCell1_sexpr of 's * ('s, 'r) _menhir_state * (Ast.sexpr)

and ('s, 'r) _menhir_cell1_DOT = 
  | MenhirCell1_DOT of 's * ('s, 'r) _menhir_state

and ('s, 'r) _menhir_cell1_LCL = 
  | MenhirCell1_LCL of 's * ('s, 'r) _menhir_state

and ('s, 'r) _menhir_cell1_LPR = 
  | MenhirCell1_LPR of 's * ('s, 'r) _menhir_state

and ('s, 'r) _menhir_cell1_LSQ = 
  | MenhirCell1_LSQ of 's * ('s, 'r) _menhir_state

and ('s, 'r) _menhir_cell1_VLPR = 
  | MenhirCell1_VLPR of 's * ('s, 'r) _menhir_state

and _menhir_box_prog = 
  | MenhirBox_prog of (Ast.sexpr) [@@unboxed]

let _menhir_action_01 =
  fun _2 ->
    (
# 48 "src/lib/parser.mly"
                            ( Alist(_2) )
# 91 "src/lib/parser.ml"
     : (Ast.sexpr))

let _menhir_action_02 =
  fun _1 ->
    (
# 56 "src/lib/parser.mly"
               ( Atom(Bool,_1) )
# 99 "src/lib/parser.ml"
     : (Ast.sexpr))

let _menhir_action_03 =
  fun _1 ->
    (
# 57 "src/lib/parser.mly"
               ( Atom(Ident,_1) )
# 107 "src/lib/parser.ml"
     : (Ast.sexpr))

let _menhir_action_04 =
  fun _1 ->
    (
# 58 "src/lib/parser.mly"
               ( Atom(Tident,_1) )
# 115 "src/lib/parser.ml"
     : (Ast.sexpr))

let _menhir_action_05 =
  fun _1 ->
    (
# 59 "src/lib/parser.mly"
               ( Atom(Keyword,_1) )
# 123 "src/lib/parser.ml"
     : (Ast.sexpr))

let _menhir_action_06 =
  fun _1 ->
    (
# 60 "src/lib/parser.mly"
               ( Atom(Int,_1) )
# 131 "src/lib/parser.ml"
     : (Ast.sexpr))

let _menhir_action_07 =
  fun _1 ->
    (
# 61 "src/lib/parser.mly"
               ( Atom(Float,_1) )
# 139 "src/lib/parser.ml"
     : (Ast.sexpr))

let _menhir_action_08 =
  fun _1 ->
    (
# 62 "src/lib/parser.mly"
               ( Atom(Op,_1) )
# 147 "src/lib/parser.ml"
     : (Ast.sexpr))

let _menhir_action_09 =
  fun _1 ->
    (
# 63 "src/lib/parser.mly"
               ( Atom(Char,_1) )
# 155 "src/lib/parser.ml"
     : (Ast.sexpr))

let _menhir_action_10 =
  fun _1 ->
    (
# 64 "src/lib/parser.mly"
               ( Atom(String,_1) )
# 163 "src/lib/parser.ml"
     : (Ast.sexpr))

let _menhir_action_11 =
  fun () ->
    (
# 216 "<standard.mly>"
    ( [] )
# 171 "src/lib/parser.ml"
     : (Ast.sexpr list))

let _menhir_action_12 =
  fun x xs ->
    (
# 219 "<standard.mly>"
    ( x :: xs )
# 179 "src/lib/parser.ml"
     : (Ast.sexpr list))

let _menhir_action_13 =
  fun _2 _4 ->
    (
# 36 "src/lib/parser.mly"
                               ( Lpatt(_2, _4) )
# 187 "src/lib/parser.ml"
     : (Ast.sexpr))

let _menhir_action_14 =
  fun _1 ->
    (
# 22 "src/lib/parser.mly"
                       ( Plist(_1) )
# 195 "src/lib/parser.ml"
     : (Ast.sexpr))

let _menhir_action_15 =
  fun _1 _2 ->
    (
# 23 "src/lib/parser.mly"
                       ( Plist([Toplv(_1, _2)]) )
# 203 "src/lib/parser.ml"
     : (Ast.sexpr))

let _menhir_action_16 =
  fun _1 ->
    (
# 27 "src/lib/parser.mly"
              ( _1 )
# 211 "src/lib/parser.ml"
     : (Ast.sexpr))

let _menhir_action_17 =
  fun _1 ->
    (
# 28 "src/lib/parser.mly"
              ( _1 )
# 219 "src/lib/parser.ml"
     : (Ast.sexpr))

let _menhir_action_18 =
  fun _1 ->
    (
# 29 "src/lib/parser.mly"
              ( _1 )
# 227 "src/lib/parser.ml"
     : (Ast.sexpr))

let _menhir_action_19 =
  fun _1 ->
    (
# 30 "src/lib/parser.mly"
              ( _1 )
# 235 "src/lib/parser.ml"
     : (Ast.sexpr))

let _menhir_action_20 =
  fun _1 ->
    (
# 31 "src/lib/parser.mly"
              ( _1 )
# 243 "src/lib/parser.ml"
     : (Ast.sexpr))

let _menhir_action_21 =
  fun _1 ->
    (
# 32 "src/lib/parser.mly"
              ( _1 )
# 251 "src/lib/parser.ml"
     : (Ast.sexpr))

let _menhir_action_22 =
  fun _2 ->
    (
# 40 "src/lib/parser.mly"
                            ( Slist(_2) )
# 259 "src/lib/parser.ml"
     : (Ast.sexpr))

let _menhir_action_23 =
  fun _2 ->
    (
# 44 "src/lib/parser.mly"
                             ( Stlist(_2) )
# 267 "src/lib/parser.ml"
     : (Ast.sexpr))

let _menhir_action_24 =
  fun _2 ->
    (
# 52 "src/lib/parser.mly"
                             ( Vlist(_2) )
# 275 "src/lib/parser.ml"
     : (Ast.sexpr))

let _menhir_print_token : token -> string =
  fun _tok ->
    match _tok with
    | Tokens.BOOL _ ->
        "BOOL"
    | Tokens.CHAR _ ->
        "CHAR"
    | Tokens.DOT ->
        "DOT"
    | Tokens.EOF ->
        "EOF"
    | Tokens.FLOAT _ ->
        "FLOAT"
    | Tokens.IDENT _ ->
        "IDENT"
    | Tokens.INT _ ->
        "INT"
    | Tokens.KEYWORD _ ->
        "KEYWORD"
    | Tokens.LCL ->
        "LCL"
    | Tokens.LPR ->
        "LPR"
    | Tokens.LSQ ->
        "LSQ"
    | Tokens.OP _ ->
        "OP"
    | Tokens.RCL ->
        "RCL"
    | Tokens.RPR ->
        "RPR"
    | Tokens.RSQ ->
        "RSQ"
    | Tokens.STRING _ ->
        "STRING"
    | Tokens.TIDENT _ ->
        "TIDENT"
    | Tokens.TOPL _ ->
        "TOPL"
    | Tokens.VLPR ->
        "VLPR"

let _menhir_fail : unit -> 'a =
  fun () ->
    Printf.eprintf "Internal failure -- please contact the parser generator's developers.\n%!";
    assert false

include struct
  
  [@@@ocaml.warning "-4-37"]
  
  let _menhir_goto_prog : type  ttv_stack. ttv_stack -> _ -> _menhir_box_prog =
    fun _menhir_stack _v ->
      MenhirBox_prog _v
  
  let _menhir_run_38 : type  ttv_stack. ttv_stack -> _ -> _ -> _menhir_box_prog =
    fun _menhir_stack _v _tok ->
      match (_tok : MenhirBasics.token) with
      | Tokens.EOF ->
          let _1 = _v in
          let _v = _menhir_action_14 _1 in
          _menhir_goto_prog _menhir_stack _v
      | _ ->
          _eRR ()
  
  let rec _menhir_run_01 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_prog) _menhir_state -> _menhir_box_prog =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _menhir_stack = MenhirCell1_VLPR (_menhir_stack, _menhir_s) in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | Tokens.VLPR ->
          _menhir_run_01 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState01
      | Tokens.TIDENT _v ->
          _menhir_run_02 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState01
      | Tokens.STRING _v ->
          _menhir_run_03 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState01
      | Tokens.OP _v ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState01
      | Tokens.LSQ ->
          _menhir_run_05 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState01
      | Tokens.LPR ->
          _menhir_run_06 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState01
      | Tokens.LCL ->
          _menhir_run_07 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState01
      | Tokens.KEYWORD _v ->
          _menhir_run_08 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState01
      | Tokens.INT _v ->
          _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState01
      | Tokens.IDENT _v ->
          _menhir_run_10 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState01
      | Tokens.FLOAT _v ->
          _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState01
      | Tokens.CHAR _v ->
          _menhir_run_12 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState01
      | Tokens.BOOL _v ->
          _menhir_run_13 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState01
      | Tokens.RPR ->
          let _v = _menhir_action_11 () in
          _menhir_run_32 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | _ ->
          _eRR ()
  
  and _menhir_run_02 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_prog) _menhir_state -> _menhir_box_prog =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let _1 = _v in
      let _v = _menhir_action_04 _1 in
      _menhir_goto_atom _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_atom : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_prog) _menhir_state -> _ -> _menhir_box_prog =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _1 = _v in
      let _v = _menhir_action_21 _1 in
      _menhir_goto_sexpr _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_sexpr : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_prog) _menhir_state -> _ -> _menhir_box_prog =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState27 ->
          _menhir_run_28 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState05 ->
          _menhir_run_26 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState00 ->
          _menhir_run_17 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState01 ->
          _menhir_run_17 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState26 ->
          _menhir_run_17 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState06 ->
          _menhir_run_17 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState17 ->
          _menhir_run_17 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState07 ->
          _menhir_run_17 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_28 : type  ttv_stack. (((ttv_stack, _menhir_box_prog) _menhir_cell1_LSQ, _menhir_box_prog) _menhir_cell1_sexpr, _menhir_box_prog) _menhir_cell1_DOT -> _ -> _ -> _ -> _ -> _menhir_box_prog =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      match (_tok : MenhirBasics.token) with
      | Tokens.RSQ ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          let MenhirCell1_DOT (_menhir_stack, _) = _menhir_stack in
          let MenhirCell1_sexpr (_menhir_stack, _, _2) = _menhir_stack in
          let MenhirCell1_LSQ (_menhir_stack, _menhir_s) = _menhir_stack in
          let _4 = _v in
          let _v = _menhir_action_13 _2 _4 in
          let _1 = _v in
          let _v = _menhir_action_20 _1 in
          _menhir_goto_sexpr _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _eRR ()
  
  and _menhir_run_26 : type  ttv_stack. ((ttv_stack, _menhir_box_prog) _menhir_cell1_LSQ as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_prog) _menhir_state -> _ -> _menhir_box_prog =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _menhir_stack = MenhirCell1_sexpr (_menhir_stack, _menhir_s, _v) in
      match (_tok : MenhirBasics.token) with
      | Tokens.VLPR ->
          _menhir_run_01 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState26
      | Tokens.TIDENT _v_0 ->
          _menhir_run_02 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState26
      | Tokens.STRING _v_1 ->
          _menhir_run_03 _menhir_stack _menhir_lexbuf _menhir_lexer _v_1 MenhirState26
      | Tokens.OP _v_2 ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v_2 MenhirState26
      | Tokens.LSQ ->
          _menhir_run_05 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState26
      | Tokens.LPR ->
          _menhir_run_06 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState26
      | Tokens.LCL ->
          _menhir_run_07 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState26
      | Tokens.KEYWORD _v_3 ->
          _menhir_run_08 _menhir_stack _menhir_lexbuf _menhir_lexer _v_3 MenhirState26
      | Tokens.INT _v_4 ->
          _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _v_4 MenhirState26
      | Tokens.IDENT _v_5 ->
          _menhir_run_10 _menhir_stack _menhir_lexbuf _menhir_lexer _v_5 MenhirState26
      | Tokens.FLOAT _v_6 ->
          _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v_6 MenhirState26
      | Tokens.DOT ->
          let _menhir_stack = MenhirCell1_DOT (_menhir_stack, MenhirState26) in
          let _menhir_s = MenhirState27 in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | Tokens.VLPR ->
              _menhir_run_01 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | Tokens.TIDENT _v ->
              _menhir_run_02 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | Tokens.STRING _v ->
              _menhir_run_03 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | Tokens.OP _v ->
              _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | Tokens.LSQ ->
              _menhir_run_05 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | Tokens.LPR ->
              _menhir_run_06 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | Tokens.LCL ->
              _menhir_run_07 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | Tokens.KEYWORD _v ->
              _menhir_run_08 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | Tokens.INT _v ->
              _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | Tokens.IDENT _v ->
              _menhir_run_10 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | Tokens.FLOAT _v ->
              _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | Tokens.CHAR _v ->
              _menhir_run_12 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | Tokens.BOOL _v ->
              _menhir_run_13 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | _ ->
              _eRR ())
      | Tokens.CHAR _v_16 ->
          _menhir_run_12 _menhir_stack _menhir_lexbuf _menhir_lexer _v_16 MenhirState26
      | Tokens.BOOL _v_17 ->
          _menhir_run_13 _menhir_stack _menhir_lexbuf _menhir_lexer _v_17 MenhirState26
      | Tokens.RSQ ->
          let _v_18 = _menhir_action_11 () in
          _menhir_run_19 _menhir_stack _menhir_lexbuf _menhir_lexer _v_18 _tok
      | _ ->
          _eRR ()
  
  and _menhir_run_03 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_prog) _menhir_state -> _menhir_box_prog =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let _1 = _v in
      let _v = _menhir_action_10 _1 in
      _menhir_goto_atom _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_04 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_prog) _menhir_state -> _menhir_box_prog =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let _1 = _v in
      let _v = _menhir_action_08 _1 in
      _menhir_goto_atom _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_05 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_prog) _menhir_state -> _menhir_box_prog =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _menhir_stack = MenhirCell1_LSQ (_menhir_stack, _menhir_s) in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | Tokens.VLPR ->
          _menhir_run_01 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState05
      | Tokens.TIDENT _v ->
          _menhir_run_02 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState05
      | Tokens.STRING _v ->
          _menhir_run_03 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState05
      | Tokens.OP _v ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState05
      | Tokens.LSQ ->
          _menhir_run_05 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState05
      | Tokens.LPR ->
          _menhir_run_06 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState05
      | Tokens.LCL ->
          _menhir_run_07 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState05
      | Tokens.KEYWORD _v ->
          _menhir_run_08 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState05
      | Tokens.INT _v ->
          _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState05
      | Tokens.IDENT _v ->
          _menhir_run_10 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState05
      | Tokens.FLOAT _v ->
          _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState05
      | Tokens.CHAR _v ->
          _menhir_run_12 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState05
      | Tokens.BOOL _v ->
          _menhir_run_13 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState05
      | Tokens.RSQ ->
          let _v = _menhir_action_11 () in
          _menhir_run_30 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | _ ->
          _eRR ()
  
  and _menhir_run_06 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_prog) _menhir_state -> _menhir_box_prog =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _menhir_stack = MenhirCell1_LPR (_menhir_stack, _menhir_s) in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | Tokens.VLPR ->
          _menhir_run_01 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState06
      | Tokens.TIDENT _v ->
          _menhir_run_02 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState06
      | Tokens.STRING _v ->
          _menhir_run_03 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState06
      | Tokens.OP _v ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState06
      | Tokens.LSQ ->
          _menhir_run_05 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState06
      | Tokens.LPR ->
          _menhir_run_06 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState06
      | Tokens.LCL ->
          _menhir_run_07 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState06
      | Tokens.KEYWORD _v ->
          _menhir_run_08 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState06
      | Tokens.INT _v ->
          _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState06
      | Tokens.IDENT _v ->
          _menhir_run_10 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState06
      | Tokens.FLOAT _v ->
          _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState06
      | Tokens.CHAR _v ->
          _menhir_run_12 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState06
      | Tokens.BOOL _v ->
          _menhir_run_13 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState06
      | Tokens.RPR ->
          let _v = _menhir_action_11 () in
          _menhir_run_24 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | _ ->
          _eRR ()
  
  and _menhir_run_07 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_prog) _menhir_state -> _menhir_box_prog =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _menhir_stack = MenhirCell1_LCL (_menhir_stack, _menhir_s) in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | Tokens.VLPR ->
          _menhir_run_01 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState07
      | Tokens.TIDENT _v ->
          _menhir_run_02 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState07
      | Tokens.STRING _v ->
          _menhir_run_03 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState07
      | Tokens.OP _v ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState07
      | Tokens.LSQ ->
          _menhir_run_05 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState07
      | Tokens.LPR ->
          _menhir_run_06 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState07
      | Tokens.LCL ->
          _menhir_run_07 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState07
      | Tokens.KEYWORD _v ->
          _menhir_run_08 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState07
      | Tokens.INT _v ->
          _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState07
      | Tokens.IDENT _v ->
          _menhir_run_10 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState07
      | Tokens.FLOAT _v ->
          _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState07
      | Tokens.CHAR _v ->
          _menhir_run_12 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState07
      | Tokens.BOOL _v ->
          _menhir_run_13 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState07
      | Tokens.RCL ->
          let _v = _menhir_action_11 () in
          _menhir_run_22 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | _ ->
          _eRR ()
  
  and _menhir_run_08 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_prog) _menhir_state -> _menhir_box_prog =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let _1 = _v in
      let _v = _menhir_action_05 _1 in
      _menhir_goto_atom _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_09 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_prog) _menhir_state -> _menhir_box_prog =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let _1 = _v in
      let _v = _menhir_action_06 _1 in
      _menhir_goto_atom _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_10 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_prog) _menhir_state -> _menhir_box_prog =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let _1 = _v in
      let _v = _menhir_action_03 _1 in
      _menhir_goto_atom _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_11 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_prog) _menhir_state -> _menhir_box_prog =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let _1 = _v in
      let _v = _menhir_action_07 _1 in
      _menhir_goto_atom _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_12 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_prog) _menhir_state -> _menhir_box_prog =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let _1 = _v in
      let _v = _menhir_action_09 _1 in
      _menhir_goto_atom _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_13 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_prog) _menhir_state -> _menhir_box_prog =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let _1 = _v in
      let _v = _menhir_action_02 _1 in
      _menhir_goto_atom _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_22 : type  ttv_stack. (ttv_stack, _menhir_box_prog) _menhir_cell1_LCL -> _ -> _ -> _ -> _ -> _menhir_box_prog =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      match (_tok : MenhirBasics.token) with
      | Tokens.RCL ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          let MenhirCell1_LCL (_menhir_stack, _menhir_s) = _menhir_stack in
          let _2 = _v in
          let _v = _menhir_action_23 _2 in
          let _1 = _v in
          let _v = _menhir_action_18 _1 in
          _menhir_goto_sexpr _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _eRR ()
  
  and _menhir_run_24 : type  ttv_stack. (ttv_stack, _menhir_box_prog) _menhir_cell1_LPR -> _ -> _ -> _ -> _ -> _menhir_box_prog =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      match (_tok : MenhirBasics.token) with
      | Tokens.RPR ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          let MenhirCell1_LPR (_menhir_stack, _menhir_s) = _menhir_stack in
          let _2 = _v in
          let _v = _menhir_action_22 _2 in
          let _1 = _v in
          let _v = _menhir_action_16 _1 in
          _menhir_goto_sexpr _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _eRR ()
  
  and _menhir_run_30 : type  ttv_stack. (ttv_stack, _menhir_box_prog) _menhir_cell1_LSQ -> _ -> _ -> _ -> _ -> _menhir_box_prog =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      match (_tok : MenhirBasics.token) with
      | Tokens.RSQ ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          let MenhirCell1_LSQ (_menhir_stack, _menhir_s) = _menhir_stack in
          let _2 = _v in
          let _v = _menhir_action_01 _2 in
          let _1 = _v in
          let _v = _menhir_action_19 _1 in
          _menhir_goto_sexpr _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _eRR ()
  
  and _menhir_run_19 : type  ttv_stack. (ttv_stack, _menhir_box_prog) _menhir_cell1_sexpr -> _ -> _ -> _ -> _ -> _menhir_box_prog =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell1_sexpr (_menhir_stack, _menhir_s, x) = _menhir_stack in
      let xs = _v in
      let _v = _menhir_action_12 x xs in
      _menhir_goto_list_sexpr_ _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_list_sexpr_ : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_prog) _menhir_state -> _ -> _menhir_box_prog =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState00 ->
          _menhir_run_38 _menhir_stack _v _tok
      | MenhirState01 ->
          _menhir_run_32 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState05 ->
          _menhir_run_30 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState06 ->
          _menhir_run_24 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState07 ->
          _menhir_run_22 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState26 ->
          _menhir_run_19 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState17 ->
          _menhir_run_19 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_32 : type  ttv_stack. (ttv_stack, _menhir_box_prog) _menhir_cell1_VLPR -> _ -> _ -> _ -> _ -> _menhir_box_prog =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      match (_tok : MenhirBasics.token) with
      | Tokens.RPR ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          let MenhirCell1_VLPR (_menhir_stack, _menhir_s) = _menhir_stack in
          let _2 = _v in
          let _v = _menhir_action_24 _2 in
          let _1 = _v in
          let _v = _menhir_action_17 _1 in
          _menhir_goto_sexpr _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _eRR ()
  
  and _menhir_run_17 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_prog) _menhir_state -> _ -> _menhir_box_prog =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _menhir_stack = MenhirCell1_sexpr (_menhir_stack, _menhir_s, _v) in
      match (_tok : MenhirBasics.token) with
      | Tokens.VLPR ->
          _menhir_run_01 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState17
      | Tokens.TIDENT _v_0 ->
          _menhir_run_02 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState17
      | Tokens.STRING _v_1 ->
          _menhir_run_03 _menhir_stack _menhir_lexbuf _menhir_lexer _v_1 MenhirState17
      | Tokens.OP _v_2 ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v_2 MenhirState17
      | Tokens.LSQ ->
          _menhir_run_05 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState17
      | Tokens.LPR ->
          _menhir_run_06 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState17
      | Tokens.LCL ->
          _menhir_run_07 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState17
      | Tokens.KEYWORD _v_3 ->
          _menhir_run_08 _menhir_stack _menhir_lexbuf _menhir_lexer _v_3 MenhirState17
      | Tokens.INT _v_4 ->
          _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _v_4 MenhirState17
      | Tokens.IDENT _v_5 ->
          _menhir_run_10 _menhir_stack _menhir_lexbuf _menhir_lexer _v_5 MenhirState17
      | Tokens.FLOAT _v_6 ->
          _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v_6 MenhirState17
      | Tokens.CHAR _v_7 ->
          _menhir_run_12 _menhir_stack _menhir_lexbuf _menhir_lexer _v_7 MenhirState17
      | Tokens.BOOL _v_8 ->
          _menhir_run_13 _menhir_stack _menhir_lexbuf _menhir_lexer _v_8 MenhirState17
      | Tokens.EOF | Tokens.RCL | Tokens.RPR | Tokens.RSQ ->
          let _v_9 = _menhir_action_11 () in
          _menhir_run_19 _menhir_stack _menhir_lexbuf _menhir_lexer _v_9 _tok
      | _ ->
          _eRR ()
  
  let _menhir_run_00 : type  ttv_stack. ttv_stack -> _ -> _ -> _menhir_box_prog =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | Tokens.VLPR ->
          _menhir_run_01 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState00
      | Tokens.TOPL _v ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | Tokens.STRING _v_0 ->
              let _tok = _menhir_lexer _menhir_lexbuf in
              (match (_tok : MenhirBasics.token) with
              | Tokens.EOF ->
                  let (_1, _2) = (_v, _v_0) in
                  let _v = _menhir_action_15 _1 _2 in
                  _menhir_goto_prog _menhir_stack _v
              | _ ->
                  _eRR ())
          | _ ->
              _eRR ())
      | Tokens.TIDENT _v ->
          _menhir_run_02 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState00
      | Tokens.STRING _v ->
          _menhir_run_03 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState00
      | Tokens.OP _v ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState00
      | Tokens.LSQ ->
          _menhir_run_05 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState00
      | Tokens.LPR ->
          _menhir_run_06 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState00
      | Tokens.LCL ->
          _menhir_run_07 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState00
      | Tokens.KEYWORD _v ->
          _menhir_run_08 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState00
      | Tokens.INT _v ->
          _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState00
      | Tokens.IDENT _v ->
          _menhir_run_10 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState00
      | Tokens.FLOAT _v ->
          _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState00
      | Tokens.CHAR _v ->
          _menhir_run_12 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState00
      | Tokens.BOOL _v ->
          _menhir_run_13 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState00
      | Tokens.EOF ->
          let _v = _menhir_action_11 () in
          _menhir_run_38 _menhir_stack _v _tok
      | _ ->
          _eRR ()
  
end

let prog =
  fun _menhir_lexer _menhir_lexbuf ->
    let _menhir_stack = () in
    let MenhirBox_prog v = _menhir_run_00 _menhir_stack _menhir_lexbuf _menhir_lexer in
    v