Source file template_parser.ml

module MenhirBasics = struct
  
  exception Error
  
  let _eRR =
    fun _s ->
      raise Error
  
  type token = 
    | TEXT of (
# 15 "lib/template_parser.mly"
        (string)
# 15 "lib/template_parser.ml"
  )
    | IDEN of (
# 14 "lib/template_parser.mly"
        (string)
# 20 "lib/template_parser.ml"
  )
    | EOF
  
end

include MenhirBasics

# 1 "lib/template_parser.mly"
  
   open Template_ast

   let merge_consec_text_nodes ast =
     List.fold_left
       (fun acc node ->
         match acc, node with
         | Text prev :: tl, Text s -> Text (prev ^ s) :: tl
         | _ -> node :: acc)
       [] ast
     |> List.rev
 
# 41 "lib/template_parser.ml"

type ('s, 'r) _menhir_state = 
  | MenhirState0 : ('s, _menhir_box_template) _menhir_state
    (** State 0.
        Stack shape : .
        Start symbol: template. *)

  | MenhirState6 : (('s, _menhir_box_template) _menhir_cell1_ast_nodes, _menhir_box_template) _menhir_state
    (** State 6.
        Stack shape : ast_nodes.
        Start symbol: template. *)


and ('s, 'r) _menhir_cell1_ast_nodes = 
  | MenhirCell1_ast_nodes of 's * ('s, 'r) _menhir_state * (Template_ast.ast_node)

and _menhir_box_template = 
  | MenhirBox_template of (Template_ast.ast) [@@unboxed]

let _menhir_action_1 =
  fun i ->
    (
# 25 "lib/template_parser.mly"
                                ( Iden i )
# 66 "lib/template_parser.ml"
     : (Template_ast.ast_node))

let _menhir_action_2 =
  fun t ->
    (
# 26 "lib/template_parser.mly"
                                ( Text t )
# 74 "lib/template_parser.ml"
     : (Template_ast.ast_node))

let _menhir_action_3 =
  fun () ->
    (
# 216 "<standard.mly>"
    ( [] )
# 82 "lib/template_parser.ml"
     : (Template_ast.ast_node list))

let _menhir_action_4 =
  fun x xs ->
    (
# 219 "<standard.mly>"
    ( x :: xs )
# 90 "lib/template_parser.ml"
     : (Template_ast.ast_node list))

let _menhir_action_5 =
  fun ast ->
    (
# 22 "lib/template_parser.mly"
                                ( merge_consec_text_nodes ast )
# 98 "lib/template_parser.ml"
     : (Template_ast.ast))

let _menhir_print_token : token -> string =
  fun _tok ->
    match _tok with
    | EOF ->
        "EOF"
    | IDEN _ ->
        "IDEN"
    | TEXT _ ->
        "TEXT"

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_run_4 : type  ttv_stack. ttv_stack -> _ -> _menhir_box_template =
    fun _menhir_stack _v ->
      let ast = _v in
      let _v = _menhir_action_5 ast in
      MenhirBox_template _v
  
  let rec _menhir_run_7 : type  ttv_stack. (ttv_stack, _menhir_box_template) _menhir_cell1_ast_nodes -> _ -> _menhir_box_template =
    fun _menhir_stack _v ->
      let MenhirCell1_ast_nodes (_menhir_stack, _menhir_s, x) = _menhir_stack in
      let xs = _v in
      let _v = _menhir_action_4 x xs in
      _menhir_goto_list_ast_nodes_ _menhir_stack _v _menhir_s
  
  and _menhir_goto_list_ast_nodes_ : type  ttv_stack. ttv_stack -> _ -> (ttv_stack, _menhir_box_template) _menhir_state -> _menhir_box_template =
    fun _menhir_stack _v _menhir_s ->
      match _menhir_s with
      | MenhirState6 ->
          _menhir_run_7 _menhir_stack _v
      | MenhirState0 ->
          _menhir_run_4 _menhir_stack _v
  
  let rec _menhir_run_1 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_template) _menhir_state -> _menhir_box_template =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let t = _v in
      let _v = _menhir_action_2 t in
      _menhir_goto_ast_nodes _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_ast_nodes : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_template) _menhir_state -> _ -> _menhir_box_template =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _menhir_stack = MenhirCell1_ast_nodes (_menhir_stack, _menhir_s, _v) in
      match (_tok : MenhirBasics.token) with
      | TEXT _v_0 ->
          _menhir_run_1 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState6
      | IDEN _v_1 ->
          _menhir_run_2 _menhir_stack _menhir_lexbuf _menhir_lexer _v_1 MenhirState6
      | EOF ->
          let _v_2 = _menhir_action_3 () in
          _menhir_run_7 _menhir_stack _v_2
  
  and _menhir_run_2 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_template) _menhir_state -> _menhir_box_template =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let i = _v in
      let _v = _menhir_action_1 i in
      _menhir_goto_ast_nodes _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  let _menhir_run_0 : type  ttv_stack. ttv_stack -> _ -> _ -> _menhir_box_template =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | TEXT _v ->
          _menhir_run_1 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState0
      | IDEN _v ->
          _menhir_run_2 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState0
      | EOF ->
          let _v = _menhir_action_3 () in
          _menhir_run_4 _menhir_stack _v
  
end

let template =
  fun _menhir_lexer _menhir_lexbuf ->
    let _menhir_stack = () in
    let MenhirBox_template v = _menhir_run_0 _menhir_stack _menhir_lexbuf _menhir_lexer in
    v