exception Error type token = | VAR | TRUE | RIGHTPROG | RIGHTPAR | PROG of ( # 7 "parser.mly" (int) # 12 "parser.ml" ) | POINT | OR | NOT | MU | LET | LEFTPROG | LEFTPAR | IN | IDENT of ( # 8 "parser.mly" (string) # 25 "parser.ml" ) | EQUAL | EOF | COMMA | AND and _menhir_env = { _menhir_lexer: Lexing.lexbuf -> token; _menhir_lexbuf: Lexing.lexbuf; _menhir_token: token; mutable _menhir_error: bool } and _menhir_state = | MenhirState34 | MenhirState30 | MenhirState22 | MenhirState20 | MenhirState16 | MenhirState13 | MenhirState12 | MenhirState8 | MenhirState7 | MenhirState4 | MenhirState0 # 3 "parser.mly" open Mu # 57 "parser.ml" let _eRR = Error let rec _menhir_goto_separated_nonempty_list_COMMA_dec_ : _menhir_env -> 'ttv_tail -> _menhir_state -> 'tv_separated_nonempty_list_COMMA_dec_ -> 'ttv_return = fun _menhir_env _menhir_stack _menhir_s _v -> match _menhir_s with | MenhirState13 -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv161) = Obj.magic _menhir_stack in let (_menhir_s : _menhir_state) = _menhir_s in let (_v : 'tv_separated_nonempty_list_COMMA_dec_) = _v in ((let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv159) = Obj.magic _menhir_stack in let (_menhir_s : _menhir_state) = _menhir_s in let (x : 'tv_separated_nonempty_list_COMMA_dec_) = _v in ((let _v : 'tv_loption_separated_nonempty_list_COMMA_dec__ = # 59 "/home/jachiet/.opam/4.02.1/lib/menhir/standard.mly" ( x ) # 76 "parser.ml" in _menhir_goto_loption_separated_nonempty_list_COMMA_dec__ _menhir_env _menhir_stack _menhir_s _v) : 'freshtv160)) : 'freshtv162) | MenhirState30 -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv165 * _menhir_state * 'tv_dec) = Obj.magic _menhir_stack in let (_menhir_s : _menhir_state) = _menhir_s in let (_v : 'tv_separated_nonempty_list_COMMA_dec_) = _v in ((let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv163 * _menhir_state * 'tv_dec) = Obj.magic _menhir_stack in let (_ : _menhir_state) = _menhir_s in let (xs : 'tv_separated_nonempty_list_COMMA_dec_) = _v in ((let (_menhir_stack, _menhir_s, x) = _menhir_stack in let _v : 'tv_separated_nonempty_list_COMMA_dec_ = # 146 "/home/jachiet/.opam/4.02.1/lib/menhir/standard.mly" ( x :: xs ) # 92 "parser.ml" in _menhir_goto_separated_nonempty_list_COMMA_dec_ _menhir_env _menhir_stack _menhir_s _v) : 'freshtv164)) : 'freshtv166) | _ -> _menhir_fail () and _menhir_run20 : _menhir_env -> 'ttv_tail * _menhir_state * 'tv_form -> 'ttv_return = fun _menhir_env _menhir_stack -> let _menhir_env = _menhir_discard _menhir_env in let _tok = _menhir_env._menhir_token in match _tok with | IDENT _v -> _menhir_run17 _menhir_env (Obj.magic _menhir_stack) MenhirState20 _v | LEFTPAR -> _menhir_run8 _menhir_env (Obj.magic _menhir_stack) MenhirState20 | LEFTPROG -> _menhir_run5 _menhir_env (Obj.magic _menhir_stack) MenhirState20 | LET -> _menhir_run13 _menhir_env (Obj.magic _menhir_stack) MenhirState20 | MU -> _menhir_run9 _menhir_env (Obj.magic _menhir_stack) MenhirState20 | NOT -> _menhir_run4 _menhir_env (Obj.magic _menhir_stack) MenhirState20 | TRUE -> _menhir_run3 _menhir_env (Obj.magic _menhir_stack) MenhirState20 | VAR -> _menhir_run1 _menhir_env (Obj.magic _menhir_stack) MenhirState20 | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) MenhirState20 and _menhir_run22 : _menhir_env -> 'ttv_tail * _menhir_state * 'tv_form -> 'ttv_return = fun _menhir_env _menhir_stack -> let _menhir_env = _menhir_discard _menhir_env in let _tok = _menhir_env._menhir_token in match _tok with | IDENT _v -> _menhir_run17 _menhir_env (Obj.magic _menhir_stack) MenhirState22 _v | LEFTPAR -> _menhir_run8 _menhir_env (Obj.magic _menhir_stack) MenhirState22 | LEFTPROG -> _menhir_run5 _menhir_env (Obj.magic _menhir_stack) MenhirState22 | LET -> _menhir_run13 _menhir_env (Obj.magic _menhir_stack) MenhirState22 | MU -> _menhir_run9 _menhir_env (Obj.magic _menhir_stack) MenhirState22 | NOT -> _menhir_run4 _menhir_env (Obj.magic _menhir_stack) MenhirState22 | TRUE -> _menhir_run3 _menhir_env (Obj.magic _menhir_stack) MenhirState22 | VAR -> _menhir_run1 _menhir_env (Obj.magic _menhir_stack) MenhirState22 | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) MenhirState22 and _menhir_fail : unit -> 'a = fun () -> Printf.fprintf Pervasives.stderr "Internal failure -- please contact the parser generator's developers.\n%!"; assert false and _menhir_goto_form : _menhir_env -> 'ttv_tail -> _menhir_state -> 'tv_form -> 'ttv_return = fun _menhir_env _menhir_stack _menhir_s _v -> let _menhir_stack = (_menhir_stack, _menhir_s, _v) in match _menhir_s with | MenhirState16 -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : (('freshtv113 * _menhir_state) * ( # 8 "parser.mly" (string) # 164 "parser.ml" )) * _menhir_state * 'tv_form) = Obj.magic _menhir_stack in ((assert (not _menhir_env._menhir_error); let _tok = _menhir_env._menhir_token in match _tok with | AND -> _menhir_run22 _menhir_env (Obj.magic _menhir_stack) | OR -> _menhir_run20 _menhir_env (Obj.magic _menhir_stack) | COMMA | IN -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : (('freshtv109 * _menhir_state) * ( # 8 "parser.mly" (string) # 178 "parser.ml" )) * _menhir_state * 'tv_form) = Obj.magic _menhir_stack in ((let (((_menhir_stack, _menhir_s), s), _, f) = _menhir_stack in let _v : 'tv_dec = # 57 "parser.mly" ( (s,f) ) # 184 "parser.ml" in let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv107) = _menhir_stack in let (_menhir_s : _menhir_state) = _menhir_s in let (_v : 'tv_dec) = _v in ((let _menhir_stack = (_menhir_stack, _menhir_s, _v) in let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv105 * _menhir_state * 'tv_dec) = Obj.magic _menhir_stack in ((assert (not _menhir_env._menhir_error); let _tok = _menhir_env._menhir_token in match _tok with | COMMA -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv99 * _menhir_state * 'tv_dec) = Obj.magic _menhir_stack in ((let _menhir_env = _menhir_discard _menhir_env in let _tok = _menhir_env._menhir_token in match _tok with | VAR -> _menhir_run14 _menhir_env (Obj.magic _menhir_stack) MenhirState30 | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) MenhirState30) : 'freshtv100) | IN -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv101 * _menhir_state * 'tv_dec) = Obj.magic _menhir_stack in ((let (_menhir_stack, _menhir_s, x) = _menhir_stack in let _v : 'tv_separated_nonempty_list_COMMA_dec_ = # 144 "/home/jachiet/.opam/4.02.1/lib/menhir/standard.mly" ( [ x ] ) # 215 "parser.ml" in _menhir_goto_separated_nonempty_list_COMMA_dec_ _menhir_env _menhir_stack _menhir_s _v) : 'freshtv102) | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv103 * _menhir_state * 'tv_dec) = Obj.magic _menhir_stack in ((let (_menhir_stack, _menhir_s, _) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv104)) : 'freshtv106)) : 'freshtv108)) : 'freshtv110) | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : (('freshtv111 * _menhir_state) * ( # 8 "parser.mly" (string) # 232 "parser.ml" )) * _menhir_state * 'tv_form) = Obj.magic _menhir_stack in ((let (_menhir_stack, _menhir_s, _) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv112)) : 'freshtv114) | MenhirState20 -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv119 * _menhir_state * 'tv_form) * _menhir_state * 'tv_form) = Obj.magic _menhir_stack in ((assert (not _menhir_env._menhir_error); let _tok = _menhir_env._menhir_token in match _tok with | AND -> _menhir_run22 _menhir_env (Obj.magic _menhir_stack) | COMMA | EOF | IN | OR | RIGHTPAR -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv115 * _menhir_state * 'tv_form) * _menhir_state * 'tv_form) = Obj.magic _menhir_stack in ((let ((_menhir_stack, _menhir_s, e1), _, e2) = _menhir_stack in let _v : 'tv_form = # 32 "parser.mly" ( Or(e1, e2)) # 251 "parser.ml" in _menhir_goto_form _menhir_env _menhir_stack _menhir_s _v) : 'freshtv116) | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv117 * _menhir_state * 'tv_form) * _menhir_state * 'tv_form) = Obj.magic _menhir_stack in ((let (_menhir_stack, _menhir_s, _) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv118)) : 'freshtv120) | MenhirState22 -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv123 * _menhir_state * 'tv_form) * _menhir_state * 'tv_form) = Obj.magic _menhir_stack in ((let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv121 * _menhir_state * 'tv_form) * _menhir_state * 'tv_form) = Obj.magic _menhir_stack in ((let ((_menhir_stack, _menhir_s, e1), _, e2) = _menhir_stack in let _v : 'tv_form = # 30 "parser.mly" ( And(e1, e2)) # 270 "parser.ml" in _menhir_goto_form _menhir_env _menhir_stack _menhir_s _v) : 'freshtv122)) : 'freshtv124) | MenhirState12 -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : (('freshtv129 * _menhir_state) * ( # 8 "parser.mly" (string) # 278 "parser.ml" )) * _menhir_state * 'tv_form) = Obj.magic _menhir_stack in ((assert (not _menhir_env._menhir_error); let _tok = _menhir_env._menhir_token in match _tok with | AND -> _menhir_run22 _menhir_env (Obj.magic _menhir_stack) | OR -> _menhir_run20 _menhir_env (Obj.magic _menhir_stack) | COMMA | EOF | IN | RIGHTPAR -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : (('freshtv125 * _menhir_state) * ( # 8 "parser.mly" (string) # 292 "parser.ml" )) * _menhir_state * 'tv_form) = Obj.magic _menhir_stack in ((let (((_menhir_stack, _menhir_s), l), _, f) = _menhir_stack in let _v : 'tv_form = # 38 "parser.mly" ( Mu([(l,f)],l)) # 298 "parser.ml" in _menhir_goto_form _menhir_env _menhir_stack _menhir_s _v) : 'freshtv126) | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : (('freshtv127 * _menhir_state) * ( # 8 "parser.mly" (string) # 308 "parser.ml" )) * _menhir_state * 'tv_form) = Obj.magic _menhir_stack in ((let (_menhir_stack, _menhir_s, _) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv128)) : 'freshtv130) | MenhirState34 -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : (('freshtv135 * _menhir_state) * ( # 8 "parser.mly" (string) # 317 "parser.ml" )) * _menhir_state * 'tv_form) = Obj.magic _menhir_stack in ((assert (not _menhir_env._menhir_error); let _tok = _menhir_env._menhir_token in match _tok with | AND -> _menhir_run22 _menhir_env (Obj.magic _menhir_stack) | OR -> _menhir_run20 _menhir_env (Obj.magic _menhir_stack) | COMMA | EOF | IN | RIGHTPAR -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : (('freshtv131 * _menhir_state) * ( # 8 "parser.mly" (string) # 331 "parser.ml" )) * _menhir_state * 'tv_form) = Obj.magic _menhir_stack in ((let (((_menhir_stack, _menhir_s), l), _, f) = _menhir_stack in let _v : 'tv_form = # 36 "parser.mly" ( Mu([(l,f)],l)) # 337 "parser.ml" in _menhir_goto_form _menhir_env _menhir_stack _menhir_s _v) : 'freshtv132) | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : (('freshtv133 * _menhir_state) * ( # 8 "parser.mly" (string) # 347 "parser.ml" )) * _menhir_state * 'tv_form) = Obj.magic _menhir_stack in ((let (_menhir_stack, _menhir_s, _) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv134)) : 'freshtv136) | MenhirState8 -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv143 * _menhir_state) * _menhir_state * 'tv_form) = Obj.magic _menhir_stack in ((assert (not _menhir_env._menhir_error); let _tok = _menhir_env._menhir_token in match _tok with | AND -> _menhir_run22 _menhir_env (Obj.magic _menhir_stack) | OR -> _menhir_run20 _menhir_env (Obj.magic _menhir_stack) | RIGHTPAR -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv139 * _menhir_state) * _menhir_state * 'tv_form) = Obj.magic _menhir_stack in ((let _menhir_env = _menhir_discard _menhir_env in let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv137 * _menhir_state) * _menhir_state * 'tv_form) = Obj.magic _menhir_stack in ((let ((_menhir_stack, _menhir_s), _, f) = _menhir_stack in let _v : 'tv_subform = # 52 "parser.mly" ( f ) # 371 "parser.ml" in _menhir_goto_subform _menhir_env _menhir_stack _menhir_s _v) : 'freshtv138)) : 'freshtv140) | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv141 * _menhir_state) * _menhir_state * 'tv_form) = Obj.magic _menhir_stack in ((let (_menhir_stack, _menhir_s, _) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv142)) : 'freshtv144) | MenhirState0 -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv157 * _menhir_state * 'tv_form) = Obj.magic _menhir_stack in ((assert (not _menhir_env._menhir_error); let _tok = _menhir_env._menhir_token in match _tok with | AND -> _menhir_run22 _menhir_env (Obj.magic _menhir_stack) | EOF -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv153 * _menhir_state * 'tv_form) = Obj.magic _menhir_stack in ((let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv151 * _menhir_state * 'tv_form) = Obj.magic _menhir_stack in ((let (_menhir_stack, _menhir_s, f) = _menhir_stack in let _v : ( # 22 "parser.mly" (Mu.formula) # 398 "parser.ml" ) = # 26 "parser.mly" ( f ) # 402 "parser.ml" in let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv149) = _menhir_stack in let (_menhir_s : _menhir_state) = _menhir_s in let (_v : ( # 22 "parser.mly" (Mu.formula) # 410 "parser.ml" )) = _v in ((let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv147) = Obj.magic _menhir_stack in let (_menhir_s : _menhir_state) = _menhir_s in let (_v : ( # 22 "parser.mly" (Mu.formula) # 418 "parser.ml" )) = _v in ((let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv145) = Obj.magic _menhir_stack in let (_menhir_s : _menhir_state) = _menhir_s in let (_1 : ( # 22 "parser.mly" (Mu.formula) # 426 "parser.ml" )) = _v in (Obj.magic _1 : 'freshtv146)) : 'freshtv148)) : 'freshtv150)) : 'freshtv152)) : 'freshtv154) | OR -> _menhir_run20 _menhir_env (Obj.magic _menhir_stack) | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv155 * _menhir_state * 'tv_form) = Obj.magic _menhir_stack in ((let (_menhir_stack, _menhir_s, _) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv156)) : 'freshtv158) | _ -> _menhir_fail () and _menhir_goto_loption_separated_nonempty_list_COMMA_dec__ : _menhir_env -> 'ttv_tail -> _menhir_state -> 'tv_loption_separated_nonempty_list_COMMA_dec__ -> 'ttv_return = fun _menhir_env _menhir_stack _menhir_s _v -> let _menhir_stack = (_menhir_stack, _menhir_s, _v) in let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv97 * _menhir_state) * _menhir_state * 'tv_loption_separated_nonempty_list_COMMA_dec__) = Obj.magic _menhir_stack in ((assert (not _menhir_env._menhir_error); let _tok = _menhir_env._menhir_token in match _tok with | IN -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv93 * _menhir_state) * _menhir_state * 'tv_loption_separated_nonempty_list_COMMA_dec__) = Obj.magic _menhir_stack in ((let _menhir_env = _menhir_discard _menhir_env in let _tok = _menhir_env._menhir_token in match _tok with | VAR -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv89 * _menhir_state) * _menhir_state * 'tv_loption_separated_nonempty_list_COMMA_dec__) = Obj.magic _menhir_stack in ((let _menhir_env = _menhir_discard _menhir_env in let _tok = _menhir_env._menhir_token in match _tok with | IDENT _v -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv85 * _menhir_state) * _menhir_state * 'tv_loption_separated_nonempty_list_COMMA_dec__) = Obj.magic _menhir_stack in let (_v : ( # 8 "parser.mly" (string) # 467 "parser.ml" )) = _v in ((let _menhir_env = _menhir_discard _menhir_env in let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv83 * _menhir_state) * _menhir_state * 'tv_loption_separated_nonempty_list_COMMA_dec__) = Obj.magic _menhir_stack in let (f : ( # 8 "parser.mly" (string) # 475 "parser.ml" )) = _v in ((let ((_menhir_stack, _menhir_s), _, xs0) = _menhir_stack in let _v : 'tv_form = let l = let xs = xs0 in # 135 "/home/jachiet/.opam/4.02.1/lib/menhir/standard.mly" ( xs ) # 483 "parser.ml" in # 34 "parser.mly" ( Mu(l,f)) # 489 "parser.ml" in _menhir_goto_form _menhir_env _menhir_stack _menhir_s _v) : 'freshtv84)) : 'freshtv86) | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv87 * _menhir_state) * _menhir_state * 'tv_loption_separated_nonempty_list_COMMA_dec__) = Obj.magic _menhir_stack in ((let (_menhir_stack, _menhir_s, _) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv88)) : 'freshtv90) | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv91 * _menhir_state) * _menhir_state * 'tv_loption_separated_nonempty_list_COMMA_dec__) = Obj.magic _menhir_stack in ((let (_menhir_stack, _menhir_s, _) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv92)) : 'freshtv94) | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv95 * _menhir_state) * _menhir_state * 'tv_loption_separated_nonempty_list_COMMA_dec__) = Obj.magic _menhir_stack in ((let (_menhir_stack, _menhir_s, _) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv96)) : 'freshtv98) and _menhir_run14 : _menhir_env -> 'ttv_tail -> _menhir_state -> 'ttv_return = fun _menhir_env _menhir_stack _menhir_s -> let _menhir_stack = (_menhir_stack, _menhir_s) in let _menhir_env = _menhir_discard _menhir_env in let _tok = _menhir_env._menhir_token in match _tok with | IDENT _v -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv79 * _menhir_state) = Obj.magic _menhir_stack in let (_v : ( # 8 "parser.mly" (string) # 526 "parser.ml" )) = _v in ((let _menhir_stack = (_menhir_stack, _v) in let _menhir_env = _menhir_discard _menhir_env in let _tok = _menhir_env._menhir_token in match _tok with | EQUAL -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv75 * _menhir_state) * ( # 8 "parser.mly" (string) # 537 "parser.ml" )) = Obj.magic _menhir_stack in ((let _menhir_env = _menhir_discard _menhir_env in let _tok = _menhir_env._menhir_token in match _tok with | IDENT _v -> _menhir_run17 _menhir_env (Obj.magic _menhir_stack) MenhirState16 _v | LEFTPAR -> _menhir_run8 _menhir_env (Obj.magic _menhir_stack) MenhirState16 | LEFTPROG -> _menhir_run5 _menhir_env (Obj.magic _menhir_stack) MenhirState16 | LET -> _menhir_run13 _menhir_env (Obj.magic _menhir_stack) MenhirState16 | MU -> _menhir_run9 _menhir_env (Obj.magic _menhir_stack) MenhirState16 | NOT -> _menhir_run4 _menhir_env (Obj.magic _menhir_stack) MenhirState16 | TRUE -> _menhir_run3 _menhir_env (Obj.magic _menhir_stack) MenhirState16 | VAR -> _menhir_run1 _menhir_env (Obj.magic _menhir_stack) MenhirState16 | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) MenhirState16) : 'freshtv76) | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv77 * _menhir_state) * ( # 8 "parser.mly" (string) # 569 "parser.ml" )) = Obj.magic _menhir_stack in ((let ((_menhir_stack, _menhir_s), _) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv78)) : 'freshtv80) | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv81 * _menhir_state) = Obj.magic _menhir_stack in ((let (_menhir_stack, _menhir_s) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv82) and _menhir_goto_subform : _menhir_env -> 'ttv_tail -> _menhir_state -> 'tv_subform -> 'ttv_return = fun _menhir_env _menhir_stack _menhir_s _v -> match _menhir_s with | MenhirState0 | MenhirState8 | MenhirState34 | MenhirState12 | MenhirState22 | MenhirState20 | MenhirState16 -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv65) = Obj.magic _menhir_stack in let (_menhir_s : _menhir_state) = _menhir_s in let (_v : 'tv_subform) = _v in ((let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv63) = Obj.magic _menhir_stack in let (_menhir_s : _menhir_state) = _menhir_s in let (f : 'tv_subform) = _v in ((let _v : 'tv_form = # 40 "parser.mly" ( f ) # 596 "parser.ml" in _menhir_goto_form _menhir_env _menhir_stack _menhir_s _v) : 'freshtv64)) : 'freshtv66) | MenhirState7 -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv69 * _menhir_state) * ( # 7 "parser.mly" (int) # 604 "parser.ml" )) = Obj.magic _menhir_stack in let (_menhir_s : _menhir_state) = _menhir_s in let (_v : 'tv_subform) = _v in ((let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv67 * _menhir_state) * ( # 7 "parser.mly" (int) # 612 "parser.ml" )) = Obj.magic _menhir_stack in let (_ : _menhir_state) = _menhir_s in let (f : 'tv_subform) = _v in ((let ((_menhir_stack, _menhir_s), i) = _menhir_stack in let _v : 'tv_subform = # 44 "parser.mly" ( Prog(i,f)) # 620 "parser.ml" in _menhir_goto_subform _menhir_env _menhir_stack _menhir_s _v) : 'freshtv68)) : 'freshtv70) | MenhirState4 -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv73 * _menhir_state) = Obj.magic _menhir_stack in let (_menhir_s : _menhir_state) = _menhir_s in let (_v : 'tv_subform) = _v in ((let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv71 * _menhir_state) = Obj.magic _menhir_stack in let (_ : _menhir_state) = _menhir_s in let (e : 'tv_subform) = _v in ((let (_menhir_stack, _menhir_s) = _menhir_stack in let _v : 'tv_subform = # 46 "parser.mly" ( Neg(e)) # 636 "parser.ml" in _menhir_goto_subform _menhir_env _menhir_stack _menhir_s _v) : 'freshtv72)) : 'freshtv74) | _ -> _menhir_fail () and _menhir_errorcase : _menhir_env -> 'ttv_tail -> _menhir_state -> 'ttv_return = fun _menhir_env _menhir_stack _menhir_s -> match _menhir_s with | MenhirState34 -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv41 * _menhir_state) * ( # 8 "parser.mly" (string) # 650 "parser.ml" )) = Obj.magic _menhir_stack in ((let ((_menhir_stack, _menhir_s), _) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv42) | MenhirState30 -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv43 * _menhir_state * 'tv_dec) = Obj.magic _menhir_stack in ((let (_menhir_stack, _menhir_s, _) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv44) | MenhirState22 -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv45 * _menhir_state * 'tv_form) = Obj.magic _menhir_stack in ((let (_menhir_stack, _menhir_s, _) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv46) | MenhirState20 -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv47 * _menhir_state * 'tv_form) = Obj.magic _menhir_stack in ((let (_menhir_stack, _menhir_s, _) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv48) | MenhirState16 -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv49 * _menhir_state) * ( # 8 "parser.mly" (string) # 674 "parser.ml" )) = Obj.magic _menhir_stack in ((let ((_menhir_stack, _menhir_s), _) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv50) | MenhirState13 -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv51 * _menhir_state) = Obj.magic _menhir_stack in ((let (_menhir_stack, _menhir_s) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv52) | MenhirState12 -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv53 * _menhir_state) * ( # 8 "parser.mly" (string) # 688 "parser.ml" )) = Obj.magic _menhir_stack in ((let ((_menhir_stack, _menhir_s), _) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv54) | MenhirState8 -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv55 * _menhir_state) = Obj.magic _menhir_stack in ((let (_menhir_stack, _menhir_s) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv56) | MenhirState7 -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv57 * _menhir_state) * ( # 7 "parser.mly" (int) # 702 "parser.ml" )) = Obj.magic _menhir_stack in ((let ((_menhir_stack, _menhir_s), _) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv58) | MenhirState4 -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv59 * _menhir_state) = Obj.magic _menhir_stack in ((let (_menhir_stack, _menhir_s) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv60) | MenhirState0 -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv61) = Obj.magic _menhir_stack in (raise _eRR : 'freshtv62) and _menhir_run1 : _menhir_env -> 'ttv_tail -> _menhir_state -> 'ttv_return = fun _menhir_env _menhir_stack _menhir_s -> let _menhir_stack = (_menhir_stack, _menhir_s) in let _menhir_env = _menhir_discard _menhir_env in let _tok = _menhir_env._menhir_token in match _tok with | IDENT _v -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv37 * _menhir_state) = Obj.magic _menhir_stack in let (_v : ( # 8 "parser.mly" (string) # 728 "parser.ml" )) = _v in ((let _menhir_env = _menhir_discard _menhir_env in let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv35 * _menhir_state) = Obj.magic _menhir_stack in let (s : ( # 8 "parser.mly" (string) # 736 "parser.ml" )) = _v in ((let (_menhir_stack, _menhir_s) = _menhir_stack in let _v : 'tv_subform = # 48 "parser.mly" ( Var(s) ) # 742 "parser.ml" in _menhir_goto_subform _menhir_env _menhir_stack _menhir_s _v) : 'freshtv36)) : 'freshtv38) | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv39 * _menhir_state) = Obj.magic _menhir_stack in ((let (_menhir_stack, _menhir_s) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv40) and _menhir_run3 : _menhir_env -> 'ttv_tail -> _menhir_state -> 'ttv_return = fun _menhir_env _menhir_stack _menhir_s -> let _menhir_env = _menhir_discard _menhir_env in let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv33) = Obj.magic _menhir_stack in let (_menhir_s : _menhir_state) = _menhir_s in ((let _v : 'tv_subform = # 54 "parser.mly" ( True ) # 762 "parser.ml" in _menhir_goto_subform _menhir_env _menhir_stack _menhir_s _v) : 'freshtv34) and _menhir_run4 : _menhir_env -> 'ttv_tail -> _menhir_state -> 'ttv_return = fun _menhir_env _menhir_stack _menhir_s -> let _menhir_stack = (_menhir_stack, _menhir_s) in let _menhir_env = _menhir_discard _menhir_env in let _tok = _menhir_env._menhir_token in match _tok with | IDENT _v -> _menhir_run17 _menhir_env (Obj.magic _menhir_stack) MenhirState4 _v | LEFTPAR -> _menhir_run8 _menhir_env (Obj.magic _menhir_stack) MenhirState4 | LEFTPROG -> _menhir_run5 _menhir_env (Obj.magic _menhir_stack) MenhirState4 | NOT -> _menhir_run4 _menhir_env (Obj.magic _menhir_stack) MenhirState4 | TRUE -> _menhir_run3 _menhir_env (Obj.magic _menhir_stack) MenhirState4 | VAR -> _menhir_run1 _menhir_env (Obj.magic _menhir_stack) MenhirState4 | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) MenhirState4 and _menhir_run9 : _menhir_env -> 'ttv_tail -> _menhir_state -> 'ttv_return = fun _menhir_env _menhir_stack _menhir_s -> let _menhir_stack = (_menhir_stack, _menhir_s) in let _menhir_env = _menhir_discard _menhir_env in let _tok = _menhir_env._menhir_token in match _tok with | IDENT _v -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv19 * _menhir_state) = Obj.magic _menhir_stack in let (_v : ( # 8 "parser.mly" (string) # 801 "parser.ml" )) = _v in ((let _menhir_stack = (_menhir_stack, _v) in let _menhir_env = _menhir_discard _menhir_env in let _tok = _menhir_env._menhir_token in match _tok with | POINT -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv15 * _menhir_state) * ( # 8 "parser.mly" (string) # 812 "parser.ml" )) = Obj.magic _menhir_stack in ((let _menhir_env = _menhir_discard _menhir_env in let _tok = _menhir_env._menhir_token in match _tok with | IDENT _v -> _menhir_run17 _menhir_env (Obj.magic _menhir_stack) MenhirState34 _v | LEFTPAR -> _menhir_run8 _menhir_env (Obj.magic _menhir_stack) MenhirState34 | LEFTPROG -> _menhir_run5 _menhir_env (Obj.magic _menhir_stack) MenhirState34 | LET -> _menhir_run13 _menhir_env (Obj.magic _menhir_stack) MenhirState34 | MU -> _menhir_run9 _menhir_env (Obj.magic _menhir_stack) MenhirState34 | NOT -> _menhir_run4 _menhir_env (Obj.magic _menhir_stack) MenhirState34 | TRUE -> _menhir_run3 _menhir_env (Obj.magic _menhir_stack) MenhirState34 | VAR -> _menhir_run1 _menhir_env (Obj.magic _menhir_stack) MenhirState34 | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) MenhirState34) : 'freshtv16) | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv17 * _menhir_state) * ( # 8 "parser.mly" (string) # 844 "parser.ml" )) = Obj.magic _menhir_stack in ((let ((_menhir_stack, _menhir_s), _) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv18)) : 'freshtv20) | VAR -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv29 * _menhir_state) = Obj.magic _menhir_stack in ((let _menhir_env = _menhir_discard _menhir_env in let _tok = _menhir_env._menhir_token in match _tok with | IDENT _v -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv25 * _menhir_state) = Obj.magic _menhir_stack in let (_v : ( # 8 "parser.mly" (string) # 860 "parser.ml" )) = _v in ((let _menhir_stack = (_menhir_stack, _v) in let _menhir_env = _menhir_discard _menhir_env in let _tok = _menhir_env._menhir_token in match _tok with | POINT -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv21 * _menhir_state) * ( # 8 "parser.mly" (string) # 871 "parser.ml" )) = Obj.magic _menhir_stack in ((let _menhir_env = _menhir_discard _menhir_env in let _tok = _menhir_env._menhir_token in match _tok with | IDENT _v -> _menhir_run17 _menhir_env (Obj.magic _menhir_stack) MenhirState12 _v | LEFTPAR -> _menhir_run8 _menhir_env (Obj.magic _menhir_stack) MenhirState12 | LEFTPROG -> _menhir_run5 _menhir_env (Obj.magic _menhir_stack) MenhirState12 | LET -> _menhir_run13 _menhir_env (Obj.magic _menhir_stack) MenhirState12 | MU -> _menhir_run9 _menhir_env (Obj.magic _menhir_stack) MenhirState12 | NOT -> _menhir_run4 _menhir_env (Obj.magic _menhir_stack) MenhirState12 | TRUE -> _menhir_run3 _menhir_env (Obj.magic _menhir_stack) MenhirState12 | VAR -> _menhir_run1 _menhir_env (Obj.magic _menhir_stack) MenhirState12 | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) MenhirState12) : 'freshtv22) | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv23 * _menhir_state) * ( # 8 "parser.mly" (string) # 903 "parser.ml" )) = Obj.magic _menhir_stack in ((let ((_menhir_stack, _menhir_s), _) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv24)) : 'freshtv26) | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv27 * _menhir_state) = Obj.magic _menhir_stack in ((let (_menhir_stack, _menhir_s) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv28)) : 'freshtv30) | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv31 * _menhir_state) = Obj.magic _menhir_stack in ((let (_menhir_stack, _menhir_s) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv32) and _menhir_run13 : _menhir_env -> 'ttv_tail -> _menhir_state -> 'ttv_return = fun _menhir_env _menhir_stack _menhir_s -> let _menhir_stack = (_menhir_stack, _menhir_s) in let _menhir_env = _menhir_discard _menhir_env in let _tok = _menhir_env._menhir_token in match _tok with | VAR -> _menhir_run14 _menhir_env (Obj.magic _menhir_stack) MenhirState13 | IN -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv13) = Obj.magic _menhir_stack in let (_menhir_s : _menhir_state) = MenhirState13 in ((let _v : 'tv_loption_separated_nonempty_list_COMMA_dec__ = # 57 "/home/jachiet/.opam/4.02.1/lib/menhir/standard.mly" ( [] ) # 937 "parser.ml" in _menhir_goto_loption_separated_nonempty_list_COMMA_dec__ _menhir_env _menhir_stack _menhir_s _v) : 'freshtv14) | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) MenhirState13 and _menhir_run5 : _menhir_env -> 'ttv_tail -> _menhir_state -> 'ttv_return = fun _menhir_env _menhir_stack _menhir_s -> let _menhir_stack = (_menhir_stack, _menhir_s) in let _menhir_env = _menhir_discard _menhir_env in let _tok = _menhir_env._menhir_token in match _tok with | PROG _v -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv9 * _menhir_state) = Obj.magic _menhir_stack in let (_v : ( # 7 "parser.mly" (int) # 957 "parser.ml" )) = _v in ((let _menhir_stack = (_menhir_stack, _v) in let _menhir_env = _menhir_discard _menhir_env in let _tok = _menhir_env._menhir_token in match _tok with | RIGHTPROG -> let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv5 * _menhir_state) * ( # 7 "parser.mly" (int) # 968 "parser.ml" )) = Obj.magic _menhir_stack in ((let _menhir_env = _menhir_discard _menhir_env in let _tok = _menhir_env._menhir_token in match _tok with | IDENT _v -> _menhir_run17 _menhir_env (Obj.magic _menhir_stack) MenhirState7 _v | LEFTPAR -> _menhir_run8 _menhir_env (Obj.magic _menhir_stack) MenhirState7 | LEFTPROG -> _menhir_run5 _menhir_env (Obj.magic _menhir_stack) MenhirState7 | NOT -> _menhir_run4 _menhir_env (Obj.magic _menhir_stack) MenhirState7 | TRUE -> _menhir_run3 _menhir_env (Obj.magic _menhir_stack) MenhirState7 | VAR -> _menhir_run1 _menhir_env (Obj.magic _menhir_stack) MenhirState7 | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) MenhirState7) : 'freshtv6) | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : ('freshtv7 * _menhir_state) * ( # 7 "parser.mly" (int) # 996 "parser.ml" )) = Obj.magic _menhir_stack in ((let ((_menhir_stack, _menhir_s), _) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv8)) : 'freshtv10) | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv11 * _menhir_state) = Obj.magic _menhir_stack in ((let (_menhir_stack, _menhir_s) = _menhir_stack in _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) _menhir_s) : 'freshtv12) and _menhir_run8 : _menhir_env -> 'ttv_tail -> _menhir_state -> 'ttv_return = fun _menhir_env _menhir_stack _menhir_s -> let _menhir_stack = (_menhir_stack, _menhir_s) in let _menhir_env = _menhir_discard _menhir_env in let _tok = _menhir_env._menhir_token in match _tok with | IDENT _v -> _menhir_run17 _menhir_env (Obj.magic _menhir_stack) MenhirState8 _v | LEFTPAR -> _menhir_run8 _menhir_env (Obj.magic _menhir_stack) MenhirState8 | LEFTPROG -> _menhir_run5 _menhir_env (Obj.magic _menhir_stack) MenhirState8 | LET -> _menhir_run13 _menhir_env (Obj.magic _menhir_stack) MenhirState8 | MU -> _menhir_run9 _menhir_env (Obj.magic _menhir_stack) MenhirState8 | NOT -> _menhir_run4 _menhir_env (Obj.magic _menhir_stack) MenhirState8 | TRUE -> _menhir_run3 _menhir_env (Obj.magic _menhir_stack) MenhirState8 | VAR -> _menhir_run1 _menhir_env (Obj.magic _menhir_stack) MenhirState8 | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) MenhirState8 and _menhir_run17 : _menhir_env -> 'ttv_tail -> _menhir_state -> ( # 8 "parser.mly" (string) # 1038 "parser.ml" ) -> 'ttv_return = fun _menhir_env _menhir_stack _menhir_s _v -> let _menhir_env = _menhir_discard _menhir_env in let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv3) = Obj.magic _menhir_stack in let (_menhir_s : _menhir_state) = _menhir_s in let (s : ( # 8 "parser.mly" (string) # 1048 "parser.ml" )) = _v in ((let _v : 'tv_subform = # 50 "parser.mly" ( Atom(s) ) # 1053 "parser.ml" in _menhir_goto_subform _menhir_env _menhir_stack _menhir_s _v) : 'freshtv4) and _menhir_discard : _menhir_env -> _menhir_env = fun _menhir_env -> let lexer = _menhir_env._menhir_lexer in let lexbuf = _menhir_env._menhir_lexbuf in let _tok = lexer lexbuf in { _menhir_lexer = lexer; _menhir_lexbuf = lexbuf; _menhir_token = _tok; _menhir_error = false; } and formfile : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> ( # 22 "parser.mly" (Mu.formula) # 1072 "parser.ml" ) = fun lexer lexbuf -> let _menhir_env = let (lexer : Lexing.lexbuf -> token) = lexer in let (lexbuf : Lexing.lexbuf) = lexbuf in ((let _tok = Obj.magic () in { _menhir_lexer = lexer; _menhir_lexbuf = lexbuf; _menhir_token = _tok; _menhir_error = false; }) : _menhir_env) in Obj.magic (let (_menhir_env : _menhir_env) = _menhir_env in let (_menhir_stack : 'freshtv1) = () in ((let _menhir_env = _menhir_discard _menhir_env in let _tok = _menhir_env._menhir_token in match _tok with | IDENT _v -> _menhir_run17 _menhir_env (Obj.magic _menhir_stack) MenhirState0 _v | LEFTPAR -> _menhir_run8 _menhir_env (Obj.magic _menhir_stack) MenhirState0 | LEFTPROG -> _menhir_run5 _menhir_env (Obj.magic _menhir_stack) MenhirState0 | LET -> _menhir_run13 _menhir_env (Obj.magic _menhir_stack) MenhirState0 | MU -> _menhir_run9 _menhir_env (Obj.magic _menhir_stack) MenhirState0 | NOT -> _menhir_run4 _menhir_env (Obj.magic _menhir_stack) MenhirState0 | TRUE -> _menhir_run3 _menhir_env (Obj.magic _menhir_stack) MenhirState0 | VAR -> _menhir_run1 _menhir_env (Obj.magic _menhir_stack) MenhirState0 | _ -> assert (not _menhir_env._menhir_error); _menhir_env._menhir_error <- true; _menhir_errorcase _menhir_env (Obj.magic _menhir_stack) MenhirState0) : 'freshtv2))