From ec0a0dbd016cf5fa3e494dcbd78871fc263c0582 Mon Sep 17 00:00:00 2001 From: Christian Rinderknecht Date: Thu, 14 May 2020 21:09:14 +0200 Subject: [PATCH] More pretty-printing. --- src/passes/1-parser/cameligo/Pretty.ml | 99 +- .../cameligo/error.messages.checked-in | 1670 ++++++++--------- 2 files changed, 890 insertions(+), 879 deletions(-) diff --git a/src/passes/1-parser/cameligo/Pretty.ml b/src/passes/1-parser/cameligo/Pretty.ml index d9be6b9e3..ff2dfdc09 100644 --- a/src/passes/1-parser/cameligo/Pretty.ml +++ b/src/passes/1-parser/cameligo/Pretty.ml @@ -19,16 +19,16 @@ and pp_let_decl Region.{value; _} = let _, rec_opt, binding, attr = value in let rec_doc = match rec_opt with - None -> empty + None -> empty | Some _ -> string "rec " in let binding = pp_let_binding binding and attr = pp_attributes attr - in string "let " ^^ rec_doc ^^ binding ^/^ attr + in string "let " ^^ rec_doc ^^ binding + ^^ group (nest 2 (break 1 ^^ attr)) and pp_attributes attr = - let sep = string ";" ^^ break 1 in let make s = string "[@@" ^^ string s.value ^^ string "]" - in separate_map sep make attr + in separate_map (break 0) make attr and pp_ident Region.{value; _} = string value @@ -37,13 +37,14 @@ and pp_string s = pp_ident s and pp_let_binding (binding : let_binding) = let {binders; lhs_type; let_rhs; _} = binding in let patterns = Utils.nseq_to_list binders in - let patterns = nest 2 (separate_map (break 1) pp_pattern patterns) in + let patterns = + group (nest 2 (separate_map (break 1) pp_pattern patterns)) in let lhs_type = match lhs_type with None -> empty | Some (_,e) -> prefix 2 1 (string " :") (pp_type_expr e) in patterns ^^ lhs_type ^^ string " =" - ^^ group (nest 2 (break 1 ^^ pp_expr let_rhs)) + ^^ group (nest 2 (break 1 ^^ group (pp_expr let_rhs))) and pp_pattern = function PConstr p -> pp_pconstr p @@ -73,7 +74,7 @@ and pp_patt_c_app Region.{value; _} = | constr, Some pat -> pp_ident constr ^^ pp_pattern pat and pp_patt_some Region.{value; _} = - string "Some" ^/^ pp_pattern (snd value) + prefix 4 1 (string "Some") (pp_pattern (snd value)) and pp_int Region.{value; _} = string (Z.to_string (snd value)) @@ -91,12 +92,11 @@ and pp_plist = function PListComp cmp -> pp_list_comp cmp | PCons cons -> pp_cons cons -and pp_list_comp e = - string "[" ^^ pp_injection pp_pattern e ^^ string "]" +and pp_list_comp e = pp_injection pp_pattern e and pp_cons Region.{value; _} = let patt1, _, patt2 = value in - pp_pattern patt1 ^^ string " ::" ^/^ pp_pattern patt2 + prefix 2 1 (pp_pattern patt1 ^^ string " ::") (pp_pattern patt2) and pp_ptuple Region.{value; _} = let cmp = Utils.nsepseq_to_list value in @@ -115,16 +115,15 @@ and pp_ptyped Region.{value; _} = and pp_type_decl decl = let {name; type_expr; _} = decl.value in - (* let padding = match type_expr with TSum _ -> 0 | _ -> 1 in*) string "type " ^^ string name.value ^^ string " =" ^^ group (nest 2 (break 1 ^^ pp_type_expr type_expr)) and pp_expr = function ECase e -> pp_case_expr e -| ECond e -> pp_cond_expr e +| ECond e -> group (pp_cond_expr e) | EAnnot e -> pp_annot_expr e | ELogic e -> pp_logic_expr e -| EArith e -> pp_arith_expr e +| EArith e -> group (pp_arith_expr e) | EString e -> pp_string_expr e | EList e -> pp_list_expr e | EConstr e -> pp_constr_expr e @@ -143,28 +142,36 @@ and pp_expr = function and pp_case_expr Region.{value; _} = let {expr; cases; _} = value in - string "match " ^^ pp_expr expr ^/^ string "with" ^/^ pp_cases cases + group (string "match " ^^ pp_expr expr ^/^ string "with") + ^^ group (nest 2 (break 1 ^^ pp_cases cases)) and pp_cases Region.{value; _} = - let cases = Utils.nsepseq_to_list value - and sep = break 1 ^^ string "| " - in separate_map sep pp_clause cases + let head, tail = value in + let head = pp_clause head in + let rest = List.map snd tail in + let app clause = break 1 ^^ string "| " ^^ pp_clause clause + in ifflat head (string " " ^^ head) + ^^ concat_map app rest and pp_clause Region.{value; _} = let {pattern; rhs; _} = value in - pp_pattern pattern ^^ string " ->" ^/^ pp_expr rhs + prefix 4 1 (pp_pattern pattern ^^ string " ->") (pp_expr rhs) and pp_cond_expr Region.{value; _} = let {test; ifso; kwd_else; ifnot; _} = value in - let if_then = string "if " ^^ pp_expr test - ^/^ string "then " ^^ pp_expr ifso in + let if_then = + string "if " ^^ pp_expr test + ^/^ string "then" ^^ group (nest 2 (break 1 ^^ pp_expr ifso)) in if kwd_else#is_ghost then if_then - else if_then ^/^ string "else " ^^ pp_expr ifnot + else let else_ = + string "else" ^^ group (nest 2 (break 1 ^^ pp_expr ifnot)) + in if_then ^/^ else_ and pp_annot_expr Region.{value; _} = let expr, _, type_expr = value.inside in - string "(" ^^ pp_expr expr ^^ string " :" - ^/^ pp_type_expr type_expr ^^ string ")" + string "(" ^^ + nest 1 (pp_expr expr ^^ string " :" + ^/^ pp_type_expr type_expr ^^ string ")") and pp_logic_expr = function BoolExpr e -> pp_bool_expr e @@ -217,19 +224,14 @@ and pp_list_expr = function and pp_injection : 'a.('a -> document) -> 'a injection Region.reg -> document = fun printer Region.{value; _} -> - let {compound; elements; terminator} = value in - let sep = ";" in - let sep_doc = string sep ^^ break 1 in + let {compound; elements; _} = value in + let sep = string ";" ^^ break 1 in let elements = Utils.sepseq_to_list elements in - let elements = separate_map sep_doc printer elements in - let doc = - match pp_compound compound with - None -> elements - | Some (opening, closing) -> - string opening ^^ elements ^^ string closing - in match terminator with - None -> doc - | Some _ -> doc ^^ string sep + let elements = separate_map sep printer elements in + match pp_compound compound with + None -> elements + | Some (opening, closing) -> + string opening ^^ nest 1 elements ^^ string closing and pp_compound = function BeginEnd (start, _) -> @@ -312,24 +314,33 @@ and pp_path = function and pp_call_expr Region.{value; _} = let lambda, arguments = value in - pp_expr lambda ^/^ pp_nseq pp_expr arguments + group (pp_expr lambda ^^ nest 2 (break 1 ^^ pp_nseq pp_expr arguments)) and pp_tuple_expr Region.{value; _} = - pp_nsepseq "," pp_expr value + let head, tail = value in + if tail = [] then pp_expr head + else + let rec app = function + [] -> empty + | [e] -> group (break 1 ^^ pp_expr e) + | e::items -> + group (break 1 ^^ pp_expr e ^^ string ",") ^^ app items + in pp_expr head ^^ string "," ^^ app (List.map snd tail) and pp_par_expr Region.{value; _} = - string "(" ^^ pp_expr value.inside ^^ string ")" + string "(" ^^ nest 1 (pp_expr value.inside) ^^ string ")" and pp_let_in Region.{value; _} = let {binding; kwd_rec; body; attributes; _} = value in let binding = pp_let_binding binding - and body = pp_expr body and attr = pp_attributes attributes in let rec_doc = match kwd_rec with None -> empty - | Some _ -> string " rec" - in string "let" ^^ rec_doc ^/^ binding - ^/^ string "in" ^/^ body ^/^ attr + | Some _ -> string "rec " + in group (string "let " ^^ rec_doc ^^ binding + ^^ group (nest 2 (break 1 ^^ attr)) + ^/^ string "in" + ^^ group (nest 2 (break 1 ^^ pp_expr body))) and pp_fun Region.{value; _} = let {binders; lhs_type; body; _} = value in @@ -337,8 +348,8 @@ and pp_fun Region.{value; _} = and annot = match lhs_type with None -> empty | Some (_,e) -> string ": " ^/^ pp_type_expr e - and body = pp_expr body in - string "fun " ^^ binders ^^ annot ^^ string " ->" ^/^ body + in string "fun " ^^ nest 4 binders ^^ annot + ^^ string " ->" ^^ nest 2 (break 1 ^^ pp_expr body) and pp_seq e = pp_injection pp_expr e diff --git a/src/passes/1-parser/cameligo/error.messages.checked-in b/src/passes/1-parser/cameligo/error.messages.checked-in index 270e55960..629edb9e2 100644 --- a/src/passes/1-parser/cameligo/error.messages.checked-in +++ b/src/passes/1-parser/cameligo/error.messages.checked-in @@ -1,6 +1,6 @@ interactive_expr: Begin True RBRACKET ## -## Ends in an error in state: 218. +## Ends in an error in state: 219. ## ## sequence -> Begin option(sep_or_term_list(expr,SEMI)) . End [ With VBAR Type True Then TIMES String SLASH SEMI RPAR RBRACKET RBRACE PLUS Or Nat NE Mutez Mod MINUS Let LT LPAR LE LBRACKET LBRACE Int In Ident GT GE False End Else EQ EOF Constr CONS COMMA COLON CAT Bytes Begin BOOL_OR BOOL_AND Attr ] ## @@ -11,28 +11,28 @@ interactive_expr: Begin True RBRACKET ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) -## In state 243, spurious reduction of production nsepseq(expr,SEMI) -> expr -## In state 221, spurious reduction of production sep_or_term_list(expr,SEMI) -> nsepseq(expr,SEMI) -## In state 217, spurious reduction of production option(sep_or_term_list(expr,SEMI)) -> sep_or_term_list(expr,SEMI) +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) +## In state 244, spurious reduction of production nsepseq(expr,SEMI) -> expr +## In state 222, spurious reduction of production sep_or_term_list(expr,SEMI) -> nsepseq(expr,SEMI) +## In state 218, spurious reduction of production option(sep_or_term_list(expr,SEMI)) -> sep_or_term_list(expr,SEMI) ## interactive_expr: Begin With ## -## Ends in an error in state: 201. +## Ends in an error in state: 202. ## ## sequence -> Begin . option(sep_or_term_list(expr,SEMI)) End [ With VBAR Type True Then TIMES String SLASH SEMI RPAR RBRACKET RBRACE PLUS Or Nat NE Mutez Mod MINUS Let LT LPAR LE LBRACKET LBRACE Int In Ident GT GE False End Else EQ EOF Constr CONS COMMA COLON CAT Bytes Begin BOOL_OR BOOL_AND Attr ] ## @@ -44,7 +44,7 @@ interactive_expr: Begin With interactive_expr: C_None WILD ## -## Ends in an error in state: 222. +## Ends in an error in state: 223. ## ## add_expr_level -> mult_expr_level . [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE PLUS Or NE MINUS Let LT LE In GT GE End Else EQ EOF CONS COMMA COLON CAT BOOL_OR BOOL_AND Attr ] ## bin_op(mult_expr_level,Mod,unary_expr_level) -> mult_expr_level . Mod unary_expr_level [ With VBAR Type Then TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE In GT GE End Else EQ EOF CONS COMMA COLON CAT BOOL_OR BOOL_AND Attr ] @@ -59,7 +59,7 @@ interactive_expr: C_None WILD interactive_expr: C_Some With ## -## Ends in an error in state: 202. +## Ends in an error in state: 203. ## ## constr_expr -> C_Some . core_expr [ With VBAR Type Then TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE In GT GE End Else EQ EOF CONS COMMA COLON CAT BOOL_OR BOOL_AND Attr ] ## @@ -71,7 +71,7 @@ interactive_expr: C_Some With interactive_expr: Constr DOT Ident DOT With ## -## Ends in an error in state: 196. +## Ends in an error in state: 197. ## ## projection -> Constr DOT Ident DOT . nsepseq(selection,DOT) [ With VBAR Type True Then TIMES String SLASH SEMI RPAR RBRACKET RBRACE PLUS Or Nat NE Mutez Mod MINUS Let LT LPAR LE LBRACKET LBRACE Int In Ident GT GE False End Else EQ EOF Constr CONS COMMA COLON CAT Bytes Begin BOOL_OR BOOL_AND Attr ] ## @@ -83,7 +83,7 @@ interactive_expr: Constr DOT Ident DOT With interactive_expr: Constr DOT Ident WILD ## -## Ends in an error in state: 195. +## Ends in an error in state: 196. ## ## module_fun -> Ident . [ With VBAR Type True Then TIMES String SLASH SEMI RPAR RBRACKET RBRACE PLUS Or Nat NE Mutez Mod MINUS Let LT LPAR LE LBRACKET LBRACE Int In Ident GT GE False End Else EQ EOF Constr CONS COMMA COLON CAT Bytes Begin BOOL_OR BOOL_AND Attr ] ## projection -> Constr DOT Ident . DOT nsepseq(selection,DOT) [ With VBAR Type True Then TIMES String SLASH SEMI RPAR RBRACKET RBRACE PLUS Or Nat NE Mutez Mod MINUS Let LT LPAR LE LBRACKET LBRACE Int In Ident GT GE False End Else EQ EOF Constr CONS COMMA COLON CAT Bytes Begin BOOL_OR BOOL_AND Attr ] @@ -96,7 +96,7 @@ interactive_expr: Constr DOT Ident WILD interactive_expr: Constr DOT With ## -## Ends in an error in state: 193. +## Ends in an error in state: 194. ## ## module_field -> Constr DOT . module_fun [ With VBAR Type True Then TIMES String SLASH SEMI RPAR RBRACKET RBRACE PLUS Or Nat NE Mutez Mod MINUS Let LT LPAR LE LBRACKET LBRACE Int In Ident GT GE False End Else EQ EOF Constr CONS COMMA COLON CAT Bytes Begin BOOL_OR BOOL_AND Attr ] ## projection -> Constr DOT . Ident DOT nsepseq(selection,DOT) [ With VBAR Type True Then TIMES String SLASH SEMI RPAR RBRACKET RBRACE PLUS Or Nat NE Mutez Mod MINUS Let LT LPAR LE LBRACKET LBRACE Int In Ident GT GE False End Else EQ EOF Constr CONS COMMA COLON CAT Bytes Begin BOOL_OR BOOL_AND Attr ] @@ -109,7 +109,7 @@ interactive_expr: Constr DOT With interactive_expr: Constr WILD ## -## Ends in an error in state: 192. +## Ends in an error in state: 193. ## ## constr_expr -> Constr . core_expr [ With VBAR Type Then TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE In GT GE End Else EQ EOF CONS COMMA COLON CAT BOOL_OR BOOL_AND Attr ] ## constr_expr -> Constr . [ With VBAR Type Then TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE In GT GE End Else EQ EOF CONS COMMA COLON CAT BOOL_OR BOOL_AND Attr ] @@ -124,7 +124,7 @@ interactive_expr: Constr WILD interactive_expr: Fun WILD ARROW With ## -## Ends in an error in state: 190. +## Ends in an error in state: 191. ## ## fun_expr(expr) -> Fun nseq(irrefutable) ARROW . expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## @@ -136,7 +136,7 @@ interactive_expr: Fun WILD ARROW With interactive_expr: Fun WILD RPAR ## -## Ends in an error in state: 308. +## Ends in an error in state: 309. ## ## nseq(irrefutable) -> irrefutable . seq(irrefutable) [ ARROW ] ## @@ -147,14 +147,14 @@ interactive_expr: Fun WILD RPAR ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 134, spurious reduction of production irrefutable -> sub_irrefutable +## In state 135, spurious reduction of production irrefutable -> sub_irrefutable ## interactive_expr: Fun WILD WILD RPAR ## -## Ends in an error in state: 310. +## Ends in an error in state: 311. ## ## seq(irrefutable) -> irrefutable . seq(irrefutable) [ ARROW ] ## @@ -165,14 +165,14 @@ interactive_expr: Fun WILD WILD RPAR ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 134, spurious reduction of production irrefutable -> sub_irrefutable +## In state 135, spurious reduction of production irrefutable -> sub_irrefutable ## interactive_expr: Fun With ## -## Ends in an error in state: 188. +## Ends in an error in state: 189. ## ## fun_expr(expr) -> Fun . nseq(irrefutable) ARROW expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## @@ -184,7 +184,7 @@ interactive_expr: Fun With interactive_expr: Ident DOT Int DOT With ## -## Ends in an error in state: 185. +## Ends in an error in state: 186. ## ## nsepseq(selection,DOT) -> selection DOT . nsepseq(selection,DOT) [ With VBAR Type True Then TIMES String SLASH SEMI RPAR RBRACKET RBRACE PLUS Or Nat NE Mutez Mod MINUS Let LT LPAR LE LBRACKET LBRACE Int In Ident GT GE False End Else EQ EOF Constr CONS COMMA COLON CAT Bytes Begin BOOL_OR BOOL_AND Attr ] ## @@ -196,7 +196,7 @@ interactive_expr: Ident DOT Int DOT With interactive_expr: Ident DOT Int WILD ## -## Ends in an error in state: 184. +## Ends in an error in state: 185. ## ## nsepseq(selection,DOT) -> selection . [ With VBAR Type True Then TIMES String SLASH SEMI RPAR RBRACKET RBRACE PLUS Or Nat NE Mutez Mod MINUS Let LT LPAR LE LBRACKET LBRACE Int In Ident GT GE False End Else EQ EOF Constr CONS COMMA COLON CAT Bytes Begin BOOL_OR BOOL_AND Attr ] ## nsepseq(selection,DOT) -> selection . DOT nsepseq(selection,DOT) [ With VBAR Type True Then TIMES String SLASH SEMI RPAR RBRACKET RBRACE PLUS Or Nat NE Mutez Mod MINUS Let LT LPAR LE LBRACKET LBRACE Int In Ident GT GE False End Else EQ EOF Constr CONS COMMA COLON CAT Bytes Begin BOOL_OR BOOL_AND Attr ] @@ -209,7 +209,7 @@ interactive_expr: Ident DOT Int WILD interactive_expr: Ident DOT With ## -## Ends in an error in state: 181. +## Ends in an error in state: 182. ## ## projection -> Ident DOT . nsepseq(selection,DOT) [ With VBAR Type True Then TIMES String SLASH SEMI RPAR RBRACKET RBRACE PLUS Or Nat NE Mutez Mod MINUS Let LT LPAR LE LBRACKET LBRACE Int In Ident GT GE False End Else EQ EOF Constr CONS COMMA COLON CAT Bytes Begin BOOL_OR BOOL_AND Attr ] ## @@ -221,7 +221,7 @@ interactive_expr: Ident DOT With interactive_expr: Ident WILD ## -## Ends in an error in state: 180. +## Ends in an error in state: 181. ## ## core_expr -> Ident . [ With VBAR Type True Then TIMES String SLASH SEMI RPAR RBRACKET RBRACE PLUS Or Nat NE Mutez Mod MINUS Let LT LPAR LE LBRACKET LBRACE Int In Ident GT GE False End Else EQ EOF Constr CONS COMMA COLON CAT Bytes Begin BOOL_OR BOOL_AND Attr ] ## projection -> Ident . DOT nsepseq(selection,DOT) [ With VBAR Type True Then TIMES String SLASH SEMI RPAR RBRACKET RBRACE PLUS Or Nat NE Mutez Mod MINUS Let LT LPAR LE LBRACKET LBRACE Int In Ident GT GE False End Else EQ EOF Constr CONS COMMA COLON CAT Bytes Begin BOOL_OR BOOL_AND Attr ] @@ -234,7 +234,7 @@ interactive_expr: Ident WILD interactive_expr: If True Then Fun WILD ARROW With ## -## Ends in an error in state: 426. +## Ends in an error in state: 427. ## ## fun_expr(closed_if) -> Fun nseq(irrefutable) ARROW . closed_if [ Else ] ## fun_expr(expr) -> Fun nseq(irrefutable) ARROW . expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -247,7 +247,7 @@ interactive_expr: If True Then Fun WILD ARROW With interactive_expr: If True Then Fun With ## -## Ends in an error in state: 424. +## Ends in an error in state: 425. ## ## fun_expr(closed_if) -> Fun . nseq(irrefutable) ARROW closed_if [ Else ] ## fun_expr(expr) -> Fun . nseq(irrefutable) ARROW expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -260,7 +260,7 @@ interactive_expr: If True Then Fun With interactive_expr: If True Then If True Then True Else With ## -## Ends in an error in state: 431. +## Ends in an error in state: 432. ## ## if_then_else(closed_if) -> If expr Then closed_if Else . closed_if [ Else ] ## if_then_else(expr) -> If expr Then closed_if Else . expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -273,7 +273,7 @@ interactive_expr: If True Then If True Then True Else With interactive_expr: If True Then If True Then With ## -## Ends in an error in state: 423. +## Ends in an error in state: 424. ## ## if_then(expr) -> If expr Then . expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## if_then_else(closed_if) -> If expr Then . closed_if Else closed_if [ Else ] @@ -287,7 +287,7 @@ interactive_expr: If True Then If True Then With interactive_expr: If True Then If True With ## -## Ends in an error in state: 422. +## Ends in an error in state: 423. ## ## if_then(expr) -> If expr . Then expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## if_then_else(closed_if) -> If expr . Then closed_if Else closed_if [ Else ] @@ -300,25 +300,25 @@ interactive_expr: If True Then If True With ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) ## interactive_expr: If True Then If With ## -## Ends in an error in state: 421. +## Ends in an error in state: 422. ## ## if_then(expr) -> If . expr Then expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## if_then_else(closed_if) -> If . expr Then closed_if Else closed_if [ Else ] @@ -332,7 +332,7 @@ interactive_expr: If True Then If With interactive_expr: If True Then Let Rec WILD EQ Bytes Attr Type ## -## Ends in an error in state: 419. +## Ends in an error in state: 420. ## ## let_expr(closed_if) -> Let Rec let_binding seq(Attr) . In closed_if [ Else ] ## let_expr(expr) -> Let Rec let_binding seq(Attr) . In expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -344,15 +344,15 @@ interactive_expr: If True Then Let Rec WILD EQ Bytes Attr Type ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 171, spurious reduction of production seq(Attr) -> -## In state 172, spurious reduction of production seq(Attr) -> Attr seq(Attr) +## In state 172, spurious reduction of production seq(Attr) -> +## In state 173, spurious reduction of production seq(Attr) -> Attr seq(Attr) ## interactive_expr: If True Then Let Rec WILD EQ Bytes In With ## -## Ends in an error in state: 420. +## Ends in an error in state: 421. ## ## let_expr(closed_if) -> Let Rec let_binding seq(Attr) In . closed_if [ Else ] ## let_expr(expr) -> Let Rec let_binding seq(Attr) In . expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -365,7 +365,7 @@ interactive_expr: If True Then Let Rec WILD EQ Bytes In With interactive_expr: If True Then Let Rec WILD EQ Bytes With ## -## Ends in an error in state: 418. +## Ends in an error in state: 419. ## ## let_expr(closed_if) -> Let Rec let_binding . seq(Attr) In closed_if [ Else ] ## let_expr(expr) -> Let Rec let_binding . seq(Attr) In expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -377,26 +377,26 @@ interactive_expr: If True Then Let Rec WILD EQ Bytes With ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) -## In state 388, spurious reduction of production let_binding -> irrefutable option(type_annotation) EQ expr +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) +## In state 389, spurious reduction of production let_binding -> irrefutable option(type_annotation) EQ expr ## interactive_expr: If True Then Let Rec With ## -## Ends in an error in state: 417. +## Ends in an error in state: 418. ## ## let_expr(closed_if) -> Let Rec . let_binding seq(Attr) In closed_if [ Else ] ## let_expr(expr) -> Let Rec . let_binding seq(Attr) In expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -409,7 +409,7 @@ interactive_expr: If True Then Let Rec With interactive_expr: If True Then Let WILD EQ Bytes Attr Type ## -## Ends in an error in state: 435. +## Ends in an error in state: 436. ## ## let_expr(closed_if) -> Let let_binding seq(Attr) . In closed_if [ Else ] ## let_expr(expr) -> Let let_binding seq(Attr) . In expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -421,15 +421,15 @@ interactive_expr: If True Then Let WILD EQ Bytes Attr Type ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 171, spurious reduction of production seq(Attr) -> -## In state 172, spurious reduction of production seq(Attr) -> Attr seq(Attr) +## In state 172, spurious reduction of production seq(Attr) -> +## In state 173, spurious reduction of production seq(Attr) -> Attr seq(Attr) ## interactive_expr: If True Then Let WILD EQ Bytes In With ## -## Ends in an error in state: 436. +## Ends in an error in state: 437. ## ## let_expr(closed_if) -> Let let_binding seq(Attr) In . closed_if [ Else ] ## let_expr(expr) -> Let let_binding seq(Attr) In . expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -442,7 +442,7 @@ interactive_expr: If True Then Let WILD EQ Bytes In With interactive_expr: If True Then Let WILD EQ Bytes With ## -## Ends in an error in state: 434. +## Ends in an error in state: 435. ## ## let_expr(closed_if) -> Let let_binding . seq(Attr) In closed_if [ Else ] ## let_expr(expr) -> Let let_binding . seq(Attr) In expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -454,26 +454,26 @@ interactive_expr: If True Then Let WILD EQ Bytes With ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) -## In state 388, spurious reduction of production let_binding -> irrefutable option(type_annotation) EQ expr +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) +## In state 389, spurious reduction of production let_binding -> irrefutable option(type_annotation) EQ expr ## interactive_expr: If True Then Let With ## -## Ends in an error in state: 416. +## Ends in an error in state: 417. ## ## let_expr(closed_if) -> Let . let_binding seq(Attr) In closed_if [ Else ] ## let_expr(closed_if) -> Let . Rec let_binding seq(Attr) In closed_if [ Else ] @@ -488,7 +488,7 @@ interactive_expr: If True Then Let With interactive_expr: If True Then Match True Type ## -## Ends in an error in state: 315. +## Ends in an error in state: 316. ## ## match_expr(base_cond) -> Match expr . With option(VBAR) cases(base_cond) [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## match_expr(base_if_then_else) -> Match expr . With option(VBAR) cases(base_if_then_else) [ Else ] @@ -500,25 +500,25 @@ interactive_expr: If True Then Match True Type ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) ## interactive_expr: If True Then Match True With VBAR Begin ## -## Ends in an error in state: 318. +## Ends in an error in state: 319. ## ## match_expr(base_cond) -> Match expr With option(VBAR) . cases(base_cond) [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## match_expr(base_if_then_else) -> Match expr With option(VBAR) . cases(base_if_then_else) [ Else ] @@ -531,7 +531,7 @@ interactive_expr: If True Then Match True With VBAR Begin interactive_expr: If True Then Match True With WILD ARROW Bytes VBAR With ## -## Ends in an error in state: 345. +## Ends in an error in state: 346. ## ## cases(base_cond) -> cases(base_cond) VBAR . case_clause(base_cond) [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## cases(base_if_then_else) -> cases(base_cond) VBAR . case_clause(base_if_then_else) [ Else ] @@ -544,7 +544,7 @@ interactive_expr: If True Then Match True With WILD ARROW Bytes VBAR With interactive_expr: If True Then Match True With WILD ARROW Fun WILD ARROW With ## -## Ends in an error in state: 398. +## Ends in an error in state: 399. ## ## fun_expr(base_cond) -> Fun nseq(irrefutable) ARROW . base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## fun_expr(base_if_then_else) -> Fun nseq(irrefutable) ARROW . base_if_then_else [ Else ] @@ -557,7 +557,7 @@ interactive_expr: If True Then Match True With WILD ARROW Fun WILD ARROW With interactive_expr: If True Then Match True With WILD ARROW Fun With ## -## Ends in an error in state: 396. +## Ends in an error in state: 397. ## ## fun_expr(base_cond) -> Fun . nseq(irrefutable) ARROW base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## fun_expr(base_if_then_else) -> Fun . nseq(irrefutable) ARROW base_if_then_else [ Else ] @@ -570,7 +570,7 @@ interactive_expr: If True Then Match True With WILD ARROW Fun With interactive_expr: If True Then Match True With WILD ARROW If True Then True Else With ## -## Ends in an error in state: 395. +## Ends in an error in state: 396. ## ## if_then_else(base_cond) -> If expr Then closed_if Else . base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## if_then_else(base_if_then_else) -> If expr Then closed_if Else . base_if_then_else [ Else ] @@ -583,7 +583,7 @@ interactive_expr: If True Then Match True With WILD ARROW If True Then True Else interactive_expr: If True Then Match True With WILD ARROW If True Then With ## -## Ends in an error in state: 337. +## Ends in an error in state: 338. ## ## if_then(base_cond) -> If expr Then . base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## if_then_else(base_cond) -> If expr Then . closed_if Else base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -597,7 +597,7 @@ interactive_expr: If True Then Match True With WILD ARROW If True Then With interactive_expr: If True Then Match True With WILD ARROW If True With ## -## Ends in an error in state: 336. +## Ends in an error in state: 337. ## ## if_then(base_cond) -> If expr . Then base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## if_then_else(base_cond) -> If expr . Then closed_if Else base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -610,25 +610,25 @@ interactive_expr: If True Then Match True With WILD ARROW If True With ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) ## interactive_expr: If True Then Match True With WILD ARROW If With ## -## Ends in an error in state: 335. +## Ends in an error in state: 336. ## ## if_then(base_cond) -> If . expr Then base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## if_then_else(base_cond) -> If . expr Then closed_if Else base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -642,7 +642,7 @@ interactive_expr: If True Then Match True With WILD ARROW If With interactive_expr: If True Then Match True With WILD ARROW Let Rec WILD EQ Bytes Attr Type ## -## Ends in an error in state: 333. +## Ends in an error in state: 334. ## ## let_expr(base_cond) -> Let Rec let_binding seq(Attr) . In base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## let_expr(base_if_then_else) -> Let Rec let_binding seq(Attr) . In base_if_then_else [ Else ] @@ -654,15 +654,15 @@ interactive_expr: If True Then Match True With WILD ARROW Let Rec WILD EQ Bytes ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 171, spurious reduction of production seq(Attr) -> -## In state 172, spurious reduction of production seq(Attr) -> Attr seq(Attr) +## In state 172, spurious reduction of production seq(Attr) -> +## In state 173, spurious reduction of production seq(Attr) -> Attr seq(Attr) ## interactive_expr: If True Then Match True With WILD ARROW Let Rec WILD EQ Bytes In With ## -## Ends in an error in state: 334. +## Ends in an error in state: 335. ## ## let_expr(base_cond) -> Let Rec let_binding seq(Attr) In . base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## let_expr(base_if_then_else) -> Let Rec let_binding seq(Attr) In . base_if_then_else [ Else ] @@ -675,7 +675,7 @@ interactive_expr: If True Then Match True With WILD ARROW Let Rec WILD EQ Bytes interactive_expr: If True Then Match True With WILD ARROW Let Rec WILD EQ Bytes With ## -## Ends in an error in state: 332. +## Ends in an error in state: 333. ## ## let_expr(base_cond) -> Let Rec let_binding . seq(Attr) In base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## let_expr(base_if_then_else) -> Let Rec let_binding . seq(Attr) In base_if_then_else [ Else ] @@ -687,26 +687,26 @@ interactive_expr: If True Then Match True With WILD ARROW Let Rec WILD EQ Bytes ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) -## In state 388, spurious reduction of production let_binding -> irrefutable option(type_annotation) EQ expr +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) +## In state 389, spurious reduction of production let_binding -> irrefutable option(type_annotation) EQ expr ## interactive_expr: If True Then Match True With WILD ARROW Let Rec With ## -## Ends in an error in state: 331. +## Ends in an error in state: 332. ## ## let_expr(base_cond) -> Let Rec . let_binding seq(Attr) In base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## let_expr(base_if_then_else) -> Let Rec . let_binding seq(Attr) In base_if_then_else [ Else ] @@ -719,7 +719,7 @@ interactive_expr: If True Then Match True With WILD ARROW Let Rec With interactive_expr: If True Then Match True With WILD ARROW Let WILD EQ Bytes Attr Type ## -## Ends in an error in state: 410. +## Ends in an error in state: 411. ## ## let_expr(base_cond) -> Let let_binding seq(Attr) . In base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## let_expr(base_if_then_else) -> Let let_binding seq(Attr) . In base_if_then_else [ Else ] @@ -731,15 +731,15 @@ interactive_expr: If True Then Match True With WILD ARROW Let WILD EQ Bytes Attr ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 171, spurious reduction of production seq(Attr) -> -## In state 172, spurious reduction of production seq(Attr) -> Attr seq(Attr) +## In state 172, spurious reduction of production seq(Attr) -> +## In state 173, spurious reduction of production seq(Attr) -> Attr seq(Attr) ## interactive_expr: If True Then Match True With WILD ARROW Let WILD EQ Bytes In With ## -## Ends in an error in state: 411. +## Ends in an error in state: 412. ## ## let_expr(base_cond) -> Let let_binding seq(Attr) In . base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## let_expr(base_if_then_else) -> Let let_binding seq(Attr) In . base_if_then_else [ Else ] @@ -752,7 +752,7 @@ interactive_expr: If True Then Match True With WILD ARROW Let WILD EQ Bytes In W interactive_expr: If True Then Match True With WILD ARROW Let WILD EQ Bytes With ## -## Ends in an error in state: 409. +## Ends in an error in state: 410. ## ## let_expr(base_cond) -> Let let_binding . seq(Attr) In base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## let_expr(base_if_then_else) -> Let let_binding . seq(Attr) In base_if_then_else [ Else ] @@ -764,26 +764,26 @@ interactive_expr: If True Then Match True With WILD ARROW Let WILD EQ Bytes With ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) -## In state 388, spurious reduction of production let_binding -> irrefutable option(type_annotation) EQ expr +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) +## In state 389, spurious reduction of production let_binding -> irrefutable option(type_annotation) EQ expr ## interactive_expr: If True Then Match True With WILD ARROW Let With ## -## Ends in an error in state: 330. +## Ends in an error in state: 331. ## ## let_expr(base_cond) -> Let . let_binding seq(Attr) In base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## let_expr(base_cond) -> Let . Rec let_binding seq(Attr) In base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -798,7 +798,7 @@ interactive_expr: If True Then Match True With WILD ARROW Let With interactive_expr: If True Then Match True With WILD ARROW With ## -## Ends in an error in state: 329. +## Ends in an error in state: 330. ## ## case_clause(base_cond) -> pattern ARROW . base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## case_clause(base_if_then_else) -> pattern ARROW . base_if_then_else [ Else ] @@ -811,7 +811,7 @@ interactive_expr: If True Then Match True With WILD ARROW With interactive_expr: If True Then Match True With WILD CONS Bytes SEMI ## -## Ends in an error in state: 328. +## Ends in an error in state: 329. ## ## case_clause(base_cond) -> pattern . ARROW base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## case_clause(base_if_then_else) -> pattern . ARROW base_if_then_else [ Else ] @@ -823,15 +823,15 @@ interactive_expr: If True Then Match True With WILD CONS Bytes SEMI ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 95, spurious reduction of production tail -> sub_pattern -## In state 322, spurious reduction of production pattern -> sub_pattern CONS tail +## In state 96, spurious reduction of production tail -> sub_pattern +## In state 323, spurious reduction of production pattern -> sub_pattern CONS tail ## interactive_expr: If True Then Match True With With ## -## Ends in an error in state: 316. +## Ends in an error in state: 317. ## ## match_expr(base_cond) -> Match expr With . option(VBAR) cases(base_cond) [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## match_expr(base_if_then_else) -> Match expr With . option(VBAR) cases(base_if_then_else) [ Else ] @@ -844,7 +844,7 @@ interactive_expr: If True Then Match True With With interactive_expr: If True Then Match With ## -## Ends in an error in state: 314. +## Ends in an error in state: 315. ## ## match_expr(base_cond) -> Match . expr With option(VBAR) cases(base_cond) [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## match_expr(base_if_then_else) -> Match . expr With option(VBAR) cases(base_if_then_else) [ Else ] @@ -857,7 +857,7 @@ interactive_expr: If True Then Match With interactive_expr: If True Then True COMMA Bytes VBAR ## -## Ends in an error in state: 427. +## Ends in an error in state: 428. ## ## base_expr(closed_if) -> tuple_expr . [ Else ] ## base_expr(expr) -> tuple_expr . [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -869,25 +869,25 @@ interactive_expr: If True Then True COMMA Bytes VBAR ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 295, spurious reduction of production nsepseq(disj_expr_level,COMMA) -> disj_expr_level -## In state 294, spurious reduction of production tuple(disj_expr_level) -> disj_expr_level COMMA nsepseq(disj_expr_level,COMMA) -## In state 216, spurious reduction of production tuple_expr -> tuple(disj_expr_level) +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 296, spurious reduction of production nsepseq(disj_expr_level,COMMA) -> disj_expr_level +## In state 295, spurious reduction of production tuple(disj_expr_level) -> disj_expr_level COMMA nsepseq(disj_expr_level,COMMA) +## In state 217, spurious reduction of production tuple_expr -> tuple(disj_expr_level) ## interactive_expr: If True Then True Else With ## -## Ends in an error in state: 439. +## Ends in an error in state: 440. ## ## if_then_else(expr) -> If expr Then closed_if Else . expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## @@ -899,7 +899,7 @@ interactive_expr: If True Then True Else With interactive_expr: If True Then True VBAR ## -## Ends in an error in state: 428. +## Ends in an error in state: 429. ## ## base_expr(closed_if) -> disj_expr_level . [ Else ] ## base_expr(expr) -> disj_expr_level . [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -914,22 +914,22 @@ interactive_expr: If True Then True VBAR ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level ## interactive_expr: If True Then With ## -## Ends in an error in state: 313. +## Ends in an error in state: 314. ## ## if_then(expr) -> If expr Then . expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## if_then_else(expr) -> If expr Then . closed_if Else expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -942,7 +942,7 @@ interactive_expr: If True Then With interactive_expr: If True With ## -## Ends in an error in state: 312. +## Ends in an error in state: 313. ## ## if_then(expr) -> If expr . Then expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## if_then_else(expr) -> If expr . Then closed_if Else expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -954,25 +954,25 @@ interactive_expr: If True With ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) ## interactive_expr: If With ## -## Ends in an error in state: 179. +## Ends in an error in state: 180. ## ## if_then(expr) -> If . expr Then expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## if_then_else(expr) -> If . expr Then closed_if Else expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -985,7 +985,7 @@ interactive_expr: If With interactive_expr: LBRACE Constr DOT Ident With ## -## Ends in an error in state: 443. +## Ends in an error in state: 444. ## ## projection -> Constr DOT Ident . DOT nsepseq(selection,DOT) [ With ] ## @@ -997,7 +997,7 @@ interactive_expr: LBRACE Constr DOT Ident With interactive_expr: LBRACE Constr DOT With ## -## Ends in an error in state: 442. +## Ends in an error in state: 443. ## ## projection -> Constr DOT . Ident DOT nsepseq(selection,DOT) [ With ] ## @@ -1009,7 +1009,7 @@ interactive_expr: LBRACE Constr DOT With interactive_expr: LBRACE Constr With ## -## Ends in an error in state: 441. +## Ends in an error in state: 442. ## ## projection -> Constr . DOT Ident DOT nsepseq(selection,DOT) [ With ] ## @@ -1021,7 +1021,7 @@ interactive_expr: LBRACE Constr With interactive_expr: LBRACE Ident DOT Ident VBAR ## -## Ends in an error in state: 447. +## Ends in an error in state: 448. ## ## update_record -> LBRACE path . With sep_or_term_list(field_path_assignment,SEMI) RBRACE [ With VBAR Type True Then TIMES String SLASH SEMI RPAR RBRACKET RBRACE PLUS Or Nat NE Mutez Mod MINUS Let LT LPAR LE LBRACKET LBRACE Int In Ident GT GE False End Else EQ EOF Constr CONS COMMA COLON CAT Bytes Begin BOOL_OR BOOL_AND Attr ] ## @@ -1032,16 +1032,16 @@ interactive_expr: LBRACE Ident DOT Ident VBAR ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 184, spurious reduction of production nsepseq(selection,DOT) -> selection -## In state 187, spurious reduction of production projection -> Ident DOT nsepseq(selection,DOT) -## In state 446, spurious reduction of production path -> projection +## In state 185, spurious reduction of production nsepseq(selection,DOT) -> selection +## In state 188, spurious reduction of production projection -> Ident DOT nsepseq(selection,DOT) +## In state 447, spurious reduction of production path -> projection ## interactive_expr: LBRACE Ident EQ Bytes SEMI Ident EQ Bytes SEMI With ## -## Ends in an error in state: 474. +## Ends in an error in state: 475. ## ## nsepseq(field_assignment,SEMI) -> field_assignment SEMI . nsepseq(field_assignment,SEMI) [ RBRACE ] ## seq(__anonymous_0(field_assignment,SEMI)) -> field_assignment SEMI . seq(__anonymous_0(field_assignment,SEMI)) [ RBRACE ] @@ -1054,7 +1054,7 @@ interactive_expr: LBRACE Ident EQ Bytes SEMI Ident EQ Bytes SEMI With interactive_expr: LBRACE Ident EQ Bytes SEMI Ident EQ Bytes With ## -## Ends in an error in state: 473. +## Ends in an error in state: 474. ## ## nsepseq(field_assignment,SEMI) -> field_assignment . [ RBRACE ] ## nsepseq(field_assignment,SEMI) -> field_assignment . SEMI nsepseq(field_assignment,SEMI) [ RBRACE ] @@ -1067,26 +1067,26 @@ interactive_expr: LBRACE Ident EQ Bytes SEMI Ident EQ Bytes With ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) -## In state 440, spurious reduction of production field_assignment -> Ident EQ expr +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) +## In state 441, spurious reduction of production field_assignment -> Ident EQ expr ## interactive_expr: LBRACE Ident EQ Bytes SEMI Ident With ## -## Ends in an error in state: 470. +## Ends in an error in state: 471. ## ## field_assignment -> Ident . EQ expr [ SEMI RBRACE ] ## @@ -1098,7 +1098,7 @@ interactive_expr: LBRACE Ident EQ Bytes SEMI Ident With interactive_expr: LBRACE Ident EQ Bytes SEMI With ## -## Ends in an error in state: 469. +## Ends in an error in state: 470. ## ## nsepseq(field_assignment,SEMI) -> field_assignment SEMI . nsepseq(field_assignment,SEMI) [ RBRACE ] ## nseq(__anonymous_0(field_assignment,SEMI)) -> field_assignment SEMI . seq(__anonymous_0(field_assignment,SEMI)) [ RBRACE ] @@ -1111,7 +1111,7 @@ interactive_expr: LBRACE Ident EQ Bytes SEMI With interactive_expr: LBRACE Ident EQ Bytes With ## -## Ends in an error in state: 468. +## Ends in an error in state: 469. ## ## nsepseq(field_assignment,SEMI) -> field_assignment . [ RBRACE ] ## nsepseq(field_assignment,SEMI) -> field_assignment . SEMI nsepseq(field_assignment,SEMI) [ RBRACE ] @@ -1124,26 +1124,26 @@ interactive_expr: LBRACE Ident EQ Bytes With ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) -## In state 440, spurious reduction of production field_assignment -> Ident EQ expr +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) +## In state 441, spurious reduction of production field_assignment -> Ident EQ expr ## interactive_expr: LBRACE Ident EQ With ## -## Ends in an error in state: 177. +## Ends in an error in state: 178. ## ## field_assignment -> Ident EQ . expr [ SEMI RBRACE ] ## @@ -1155,7 +1155,7 @@ interactive_expr: LBRACE Ident EQ With interactive_expr: LBRACE Ident WILD ## -## Ends in an error in state: 176. +## Ends in an error in state: 177. ## ## field_assignment -> Ident . EQ expr [ SEMI RBRACE ] ## path -> Ident . [ With ] @@ -1169,7 +1169,7 @@ interactive_expr: LBRACE Ident WILD interactive_expr: LBRACE Ident With Ident DOT With ## -## Ends in an error in state: 450. +## Ends in an error in state: 451. ## ## nsepseq(field_name,DOT) -> Ident DOT . nsepseq(field_name,DOT) [ EQ ] ## @@ -1181,7 +1181,7 @@ interactive_expr: LBRACE Ident With Ident DOT With interactive_expr: LBRACE Ident With Ident EQ Bytes SEMI Ident EQ Bytes SEMI With ## -## Ends in an error in state: 464. +## Ends in an error in state: 465. ## ## nsepseq(field_path_assignment,SEMI) -> field_path_assignment SEMI . nsepseq(field_path_assignment,SEMI) [ RBRACE ] ## seq(__anonymous_0(field_path_assignment,SEMI)) -> field_path_assignment SEMI . seq(__anonymous_0(field_path_assignment,SEMI)) [ RBRACE ] @@ -1194,7 +1194,7 @@ interactive_expr: LBRACE Ident With Ident EQ Bytes SEMI Ident EQ Bytes SEMI With interactive_expr: LBRACE Ident With Ident EQ Bytes SEMI Ident EQ Bytes With ## -## Ends in an error in state: 463. +## Ends in an error in state: 464. ## ## nsepseq(field_path_assignment,SEMI) -> field_path_assignment . [ RBRACE ] ## nsepseq(field_path_assignment,SEMI) -> field_path_assignment . SEMI nsepseq(field_path_assignment,SEMI) [ RBRACE ] @@ -1207,26 +1207,26 @@ interactive_expr: LBRACE Ident With Ident EQ Bytes SEMI Ident EQ Bytes With ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) -## In state 458, spurious reduction of production field_path_assignment -> nsepseq(field_name,DOT) EQ expr +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) +## In state 459, spurious reduction of production field_path_assignment -> nsepseq(field_name,DOT) EQ expr ## interactive_expr: LBRACE Ident With Ident EQ Bytes SEMI With ## -## Ends in an error in state: 460. +## Ends in an error in state: 461. ## ## nsepseq(field_path_assignment,SEMI) -> field_path_assignment SEMI . nsepseq(field_path_assignment,SEMI) [ RBRACE ] ## nseq(__anonymous_0(field_path_assignment,SEMI)) -> field_path_assignment SEMI . seq(__anonymous_0(field_path_assignment,SEMI)) [ RBRACE ] @@ -1239,7 +1239,7 @@ interactive_expr: LBRACE Ident With Ident EQ Bytes SEMI With interactive_expr: LBRACE Ident With Ident EQ Bytes With ## -## Ends in an error in state: 459. +## Ends in an error in state: 460. ## ## nsepseq(field_path_assignment,SEMI) -> field_path_assignment . [ RBRACE ] ## nsepseq(field_path_assignment,SEMI) -> field_path_assignment . SEMI nsepseq(field_path_assignment,SEMI) [ RBRACE ] @@ -1252,26 +1252,26 @@ interactive_expr: LBRACE Ident With Ident EQ Bytes With ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) -## In state 458, spurious reduction of production field_path_assignment -> nsepseq(field_name,DOT) EQ expr +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) +## In state 459, spurious reduction of production field_path_assignment -> nsepseq(field_name,DOT) EQ expr ## interactive_expr: LBRACE Ident With Ident EQ With ## -## Ends in an error in state: 457. +## Ends in an error in state: 458. ## ## field_path_assignment -> nsepseq(field_name,DOT) EQ . expr [ SEMI RBRACE ] ## @@ -1283,7 +1283,7 @@ interactive_expr: LBRACE Ident With Ident EQ With interactive_expr: LBRACE Ident With Ident With ## -## Ends in an error in state: 449. +## Ends in an error in state: 450. ## ## nsepseq(field_name,DOT) -> Ident . [ EQ ] ## nsepseq(field_name,DOT) -> Ident . DOT nsepseq(field_name,DOT) [ EQ ] @@ -1296,7 +1296,7 @@ interactive_expr: LBRACE Ident With Ident With interactive_expr: LBRACE Ident With With ## -## Ends in an error in state: 448. +## Ends in an error in state: 449. ## ## update_record -> LBRACE path With . sep_or_term_list(field_path_assignment,SEMI) RBRACE [ With VBAR Type True Then TIMES String SLASH SEMI RPAR RBRACKET RBRACE PLUS Or Nat NE Mutez Mod MINUS Let LT LPAR LE LBRACKET LBRACE Int In Ident GT GE False End Else EQ EOF Constr CONS COMMA COLON CAT Bytes Begin BOOL_OR BOOL_AND Attr ] ## @@ -1308,7 +1308,7 @@ interactive_expr: LBRACE Ident With With interactive_expr: LBRACE With ## -## Ends in an error in state: 175. +## Ends in an error in state: 176. ## ## record_expr -> LBRACE . sep_or_term_list(field_assignment,SEMI) RBRACE [ With VBAR Type True Then TIMES String SLASH SEMI RPAR RBRACKET RBRACE PLUS Or Nat NE Mutez Mod MINUS Let LT LPAR LE LBRACKET LBRACE Int In Ident GT GE False End Else EQ EOF Constr CONS COMMA COLON CAT Bytes Begin BOOL_OR BOOL_AND Attr ] ## update_record -> LBRACE . path With sep_or_term_list(field_path_assignment,SEMI) RBRACE [ With VBAR Type True Then TIMES String SLASH SEMI RPAR RBRACKET RBRACE PLUS Or Nat NE Mutez Mod MINUS Let LT LPAR LE LBRACKET LBRACE Int In Ident GT GE False End Else EQ EOF Constr CONS COMMA COLON CAT Bytes Begin BOOL_OR BOOL_AND Attr ] @@ -1321,7 +1321,7 @@ interactive_expr: LBRACE With interactive_expr: LBRACKET True End ## -## Ends in an error in state: 479. +## Ends in an error in state: 480. ## ## list__(expr) -> LBRACKET option(sep_or_term_list(expr,SEMI)) . RBRACKET [ With VBAR Type True Then TIMES String SLASH SEMI RPAR RBRACKET RBRACE PLUS Or Nat NE Mutez Mod MINUS Let LT LPAR LE LBRACKET LBRACE Int In Ident GT GE False End Else EQ EOF Constr CONS COMMA COLON CAT Bytes Begin BOOL_OR BOOL_AND Attr ] ## @@ -1332,28 +1332,28 @@ interactive_expr: LBRACKET True End ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) -## In state 243, spurious reduction of production nsepseq(expr,SEMI) -> expr -## In state 221, spurious reduction of production sep_or_term_list(expr,SEMI) -> nsepseq(expr,SEMI) -## In state 217, spurious reduction of production option(sep_or_term_list(expr,SEMI)) -> sep_or_term_list(expr,SEMI) +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) +## In state 244, spurious reduction of production nsepseq(expr,SEMI) -> expr +## In state 222, spurious reduction of production sep_or_term_list(expr,SEMI) -> nsepseq(expr,SEMI) +## In state 218, spurious reduction of production option(sep_or_term_list(expr,SEMI)) -> sep_or_term_list(expr,SEMI) ## interactive_expr: LBRACKET True SEMI True SEMI With ## -## Ends in an error in state: 248. +## Ends in an error in state: 249. ## ## nsepseq(expr,SEMI) -> expr SEMI . nsepseq(expr,SEMI) [ RBRACKET End ] ## seq(__anonymous_0(expr,SEMI)) -> expr SEMI . seq(__anonymous_0(expr,SEMI)) [ RBRACKET End ] @@ -1366,7 +1366,7 @@ interactive_expr: LBRACKET True SEMI True SEMI With interactive_expr: LBRACKET True SEMI True With ## -## Ends in an error in state: 247. +## Ends in an error in state: 248. ## ## nsepseq(expr,SEMI) -> expr . [ RBRACKET End ] ## nsepseq(expr,SEMI) -> expr . SEMI nsepseq(expr,SEMI) [ RBRACKET End ] @@ -1379,25 +1379,25 @@ interactive_expr: LBRACKET True SEMI True With ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) ## interactive_expr: LBRACKET True SEMI With ## -## Ends in an error in state: 244. +## Ends in an error in state: 245. ## ## nsepseq(expr,SEMI) -> expr SEMI . nsepseq(expr,SEMI) [ RBRACKET End ] ## nseq(__anonymous_0(expr,SEMI)) -> expr SEMI . seq(__anonymous_0(expr,SEMI)) [ RBRACKET End ] @@ -1410,7 +1410,7 @@ interactive_expr: LBRACKET True SEMI With interactive_expr: LBRACKET True With ## -## Ends in an error in state: 243. +## Ends in an error in state: 244. ## ## nsepseq(expr,SEMI) -> expr . [ RBRACKET End ] ## nsepseq(expr,SEMI) -> expr . SEMI nsepseq(expr,SEMI) [ RBRACKET End ] @@ -1423,25 +1423,25 @@ interactive_expr: LBRACKET True With ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) ## interactive_expr: LBRACKET With ## -## Ends in an error in state: 167. +## Ends in an error in state: 168. ## ## list__(expr) -> LBRACKET . option(sep_or_term_list(expr,SEMI)) RBRACKET [ With VBAR Type True Then TIMES String SLASH SEMI RPAR RBRACKET RBRACE PLUS Or Nat NE Mutez Mod MINUS Let LT LPAR LE LBRACKET LBRACE Int In Ident GT GE False End Else EQ EOF Constr CONS COMMA COLON CAT Bytes Begin BOOL_OR BOOL_AND Attr ] ## @@ -1451,9 +1451,9 @@ interactive_expr: LBRACKET With -interactive_expr: LPAR True COLON Ident VBAR +interactive_expr: LPAR True COLON String VBAR ## -## Ends in an error in state: 510. +## Ends in an error in state: 511. ## ## par(__anonymous_1) -> LPAR expr COLON type_expr . RPAR [ With VBAR Type True Then TIMES String SLASH SEMI RPAR RBRACKET RBRACE PLUS Or Nat NE Mutez Mod MINUS Let LT LPAR LE LBRACKET LBRACE Int In Ident GT GE False End Else EQ EOF Constr CONS COMMA COLON CAT Bytes Begin BOOL_OR BOOL_AND Attr ] ## @@ -1464,16 +1464,16 @@ interactive_expr: LPAR True COLON Ident VBAR ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 27, spurious reduction of production cartesian -> core_type -## In state 35, spurious reduction of production fun_type -> cartesian -## In state 26, spurious reduction of production type_expr -> fun_type +## In state 28, spurious reduction of production cartesian -> core_type +## In state 36, spurious reduction of production fun_type -> cartesian +## In state 27, spurious reduction of production type_expr -> fun_type ## interactive_expr: LPAR True COLON With ## -## Ends in an error in state: 509. +## Ends in an error in state: 510. ## ## par(__anonymous_1) -> LPAR expr COLON . type_expr RPAR [ With VBAR Type True Then TIMES String SLASH SEMI RPAR RBRACKET RBRACE PLUS Or Nat NE Mutez Mod MINUS Let LT LPAR LE LBRACKET LBRACE Int In Ident GT GE False End Else EQ EOF Constr CONS COMMA COLON CAT Bytes Begin BOOL_OR BOOL_AND Attr ] ## @@ -1485,7 +1485,7 @@ interactive_expr: LPAR True COLON With interactive_expr: LPAR True With ## -## Ends in an error in state: 507. +## Ends in an error in state: 508. ## ## par(__anonymous_1) -> LPAR expr . COLON type_expr RPAR [ With VBAR Type True Then TIMES String SLASH SEMI RPAR RBRACKET RBRACE PLUS Or Nat NE Mutez Mod MINUS Let LT LPAR LE LBRACKET LBRACE Int In Ident GT GE False End Else EQ EOF Constr CONS COMMA COLON CAT Bytes Begin BOOL_OR BOOL_AND Attr ] ## par(expr) -> LPAR expr . RPAR [ With VBAR Type True Then TIMES String SLASH SEMI RPAR RBRACKET RBRACE PLUS Or Nat NE Mutez Mod MINUS Let LT LPAR LE LBRACKET LBRACE Int In Ident GT GE False End Else EQ EOF Constr CONS COMMA COLON CAT Bytes Begin BOOL_OR BOOL_AND Attr ] @@ -1497,25 +1497,25 @@ interactive_expr: LPAR True With ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) ## interactive_expr: LPAR With ## -## Ends in an error in state: 164. +## Ends in an error in state: 165. ## ## par(__anonymous_1) -> LPAR . expr COLON type_expr RPAR [ With VBAR Type True Then TIMES String SLASH SEMI RPAR RBRACKET RBRACE PLUS Or Nat NE Mutez Mod MINUS Let LT LPAR LE LBRACKET LBRACE Int In Ident GT GE False End Else EQ EOF Constr CONS COMMA COLON CAT Bytes Begin BOOL_OR BOOL_AND Attr ] ## par(expr) -> LPAR . expr RPAR [ With VBAR Type True Then TIMES String SLASH SEMI RPAR RBRACKET RBRACE PLUS Or Nat NE Mutez Mod MINUS Let LT LPAR LE LBRACKET LBRACE Int In Ident GT GE False End Else EQ EOF Constr CONS COMMA COLON CAT Bytes Begin BOOL_OR BOOL_AND Attr ] @@ -1529,7 +1529,7 @@ interactive_expr: LPAR With interactive_expr: Let Rec WILD EQ Bytes Attr Type ## -## Ends in an error in state: 173. +## Ends in an error in state: 174. ## ## let_expr(expr) -> Let Rec let_binding seq(Attr) . In expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## @@ -1540,15 +1540,15 @@ interactive_expr: Let Rec WILD EQ Bytes Attr Type ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 171, spurious reduction of production seq(Attr) -> -## In state 172, spurious reduction of production seq(Attr) -> Attr seq(Attr) +## In state 172, spurious reduction of production seq(Attr) -> +## In state 173, spurious reduction of production seq(Attr) -> Attr seq(Attr) ## interactive_expr: Let Rec WILD EQ Bytes In With ## -## Ends in an error in state: 174. +## Ends in an error in state: 175. ## ## let_expr(expr) -> Let Rec let_binding seq(Attr) In . expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## @@ -1560,7 +1560,7 @@ interactive_expr: Let Rec WILD EQ Bytes In With interactive_expr: Let Rec WILD EQ Bytes With ## -## Ends in an error in state: 170. +## Ends in an error in state: 171. ## ## let_expr(expr) -> Let Rec let_binding . seq(Attr) In expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## @@ -1571,26 +1571,26 @@ interactive_expr: Let Rec WILD EQ Bytes With ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) -## In state 388, spurious reduction of production let_binding -> irrefutable option(type_annotation) EQ expr +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) +## In state 389, spurious reduction of production let_binding -> irrefutable option(type_annotation) EQ expr ## interactive_expr: Let Rec With ## -## Ends in an error in state: 169. +## Ends in an error in state: 170. ## ## let_expr(expr) -> Let Rec . let_binding seq(Attr) In expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## @@ -1602,7 +1602,7 @@ interactive_expr: Let Rec With interactive_expr: Let WILD EQ Bytes Attr Type ## -## Ends in an error in state: 477. +## Ends in an error in state: 478. ## ## let_expr(expr) -> Let let_binding seq(Attr) . In expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## @@ -1613,15 +1613,15 @@ interactive_expr: Let WILD EQ Bytes Attr Type ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 171, spurious reduction of production seq(Attr) -> -## In state 172, spurious reduction of production seq(Attr) -> Attr seq(Attr) +## In state 172, spurious reduction of production seq(Attr) -> +## In state 173, spurious reduction of production seq(Attr) -> Attr seq(Attr) ## interactive_expr: Let WILD EQ Bytes In With ## -## Ends in an error in state: 478. +## Ends in an error in state: 479. ## ## let_expr(expr) -> Let let_binding seq(Attr) In . expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## @@ -1633,7 +1633,7 @@ interactive_expr: Let WILD EQ Bytes In With interactive_expr: Let WILD EQ Bytes With ## -## Ends in an error in state: 476. +## Ends in an error in state: 477. ## ## let_expr(expr) -> Let let_binding . seq(Attr) In expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## @@ -1644,26 +1644,26 @@ interactive_expr: Let WILD EQ Bytes With ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) -## In state 388, spurious reduction of production let_binding -> irrefutable option(type_annotation) EQ expr +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) +## In state 389, spurious reduction of production let_binding -> irrefutable option(type_annotation) EQ expr ## interactive_expr: Let With ## -## Ends in an error in state: 168. +## Ends in an error in state: 169. ## ## let_expr(expr) -> Let . let_binding seq(Attr) In expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## let_expr(expr) -> Let . Rec let_binding seq(Attr) In expr [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -1676,7 +1676,7 @@ interactive_expr: Let With interactive_expr: MINUS With ## -## Ends in an error in state: 166. +## Ends in an error in state: 167. ## ## unary_expr_level -> MINUS . call_expr_level [ With VBAR Type Then TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE In GT GE End Else EQ EOF CONS COMMA COLON CAT BOOL_OR BOOL_AND Attr ] ## @@ -1688,7 +1688,7 @@ interactive_expr: MINUS With interactive_expr: Match True Type ## -## Ends in an error in state: 482. +## Ends in an error in state: 483. ## ## match_expr(base_cond) -> Match expr . With option(VBAR) cases(base_cond) [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## @@ -1699,25 +1699,25 @@ interactive_expr: Match True Type ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) ## interactive_expr: Match True With LPAR Bytes RPAR With ## -## Ends in an error in state: 320. +## Ends in an error in state: 321. ## ## pattern -> sub_pattern . CONS tail [ ARROW ] ## tuple(sub_pattern) -> sub_pattern . COMMA nsepseq(sub_pattern,COMMA) [ ARROW ] @@ -1730,7 +1730,7 @@ interactive_expr: Match True With LPAR Bytes RPAR With interactive_expr: Match True With VBAR Begin ## -## Ends in an error in state: 484. +## Ends in an error in state: 485. ## ## match_expr(base_cond) -> Match expr With option(VBAR) . cases(base_cond) [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## @@ -1742,7 +1742,7 @@ interactive_expr: Match True With VBAR Begin interactive_expr: Match True With WILD ARROW Bytes VBAR With ## -## Ends in an error in state: 506. +## Ends in an error in state: 507. ## ## cases(base_cond) -> cases(base_cond) VBAR . case_clause(base_cond) [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## @@ -1754,7 +1754,7 @@ interactive_expr: Match True With WILD ARROW Bytes VBAR With interactive_expr: Match True With WILD ARROW Fun WILD ARROW With ## -## Ends in an error in state: 499. +## Ends in an error in state: 500. ## ## fun_expr(base_cond) -> Fun nseq(irrefutable) ARROW . base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## @@ -1766,7 +1766,7 @@ interactive_expr: Match True With WILD ARROW Fun WILD ARROW With interactive_expr: Match True With WILD ARROW Fun With ## -## Ends in an error in state: 497. +## Ends in an error in state: 498. ## ## fun_expr(base_cond) -> Fun . nseq(irrefutable) ARROW base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## @@ -1778,7 +1778,7 @@ interactive_expr: Match True With WILD ARROW Fun With interactive_expr: Match True With WILD ARROW If True Then Fun WILD ARROW With ## -## Ends in an error in state: 360. +## Ends in an error in state: 361. ## ## fun_expr(base_cond) -> Fun nseq(irrefutable) ARROW . base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## fun_expr(closed_if) -> Fun nseq(irrefutable) ARROW . closed_if [ Else ] @@ -1791,7 +1791,7 @@ interactive_expr: Match True With WILD ARROW If True Then Fun WILD ARROW With interactive_expr: Match True With WILD ARROW If True Then Fun With ## -## Ends in an error in state: 358. +## Ends in an error in state: 359. ## ## fun_expr(base_cond) -> Fun . nseq(irrefutable) ARROW base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## fun_expr(closed_if) -> Fun . nseq(irrefutable) ARROW closed_if [ Else ] @@ -1804,7 +1804,7 @@ interactive_expr: Match True With WILD ARROW If True Then Fun With interactive_expr: Match True With WILD ARROW If True Then If True Then True Else With ## -## Ends in an error in state: 379. +## Ends in an error in state: 380. ## ## if_then_else(base_cond) -> If expr Then closed_if Else . base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## if_then_else(closed_if) -> If expr Then closed_if Else . closed_if [ Else ] @@ -1817,7 +1817,7 @@ interactive_expr: Match True With WILD ARROW If True Then If True Then True Else interactive_expr: Match True With WILD ARROW If True Then If True Then With ## -## Ends in an error in state: 357. +## Ends in an error in state: 358. ## ## if_then(base_cond) -> If expr Then . base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## if_then_else(base_cond) -> If expr Then . closed_if Else base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -1831,7 +1831,7 @@ interactive_expr: Match True With WILD ARROW If True Then If True Then With interactive_expr: Match True With WILD ARROW If True Then If True With ## -## Ends in an error in state: 356. +## Ends in an error in state: 357. ## ## if_then(base_cond) -> If expr . Then base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## if_then_else(base_cond) -> If expr . Then closed_if Else base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -1844,25 +1844,25 @@ interactive_expr: Match True With WILD ARROW If True Then If True With ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) ## interactive_expr: Match True With WILD ARROW If True Then If With ## -## Ends in an error in state: 355. +## Ends in an error in state: 356. ## ## if_then(base_cond) -> If . expr Then base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## if_then_else(base_cond) -> If . expr Then closed_if Else base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -1876,7 +1876,7 @@ interactive_expr: Match True With WILD ARROW If True Then If With interactive_expr: Match True With WILD ARROW If True Then Let Rec WILD EQ Bytes Attr Type ## -## Ends in an error in state: 353. +## Ends in an error in state: 354. ## ## let_expr(base_cond) -> Let Rec let_binding seq(Attr) . In base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## let_expr(closed_if) -> Let Rec let_binding seq(Attr) . In closed_if [ Else ] @@ -1888,15 +1888,15 @@ interactive_expr: Match True With WILD ARROW If True Then Let Rec WILD EQ Bytes ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 171, spurious reduction of production seq(Attr) -> -## In state 172, spurious reduction of production seq(Attr) -> Attr seq(Attr) +## In state 172, spurious reduction of production seq(Attr) -> +## In state 173, spurious reduction of production seq(Attr) -> Attr seq(Attr) ## interactive_expr: Match True With WILD ARROW If True Then Let Rec WILD EQ Bytes In With ## -## Ends in an error in state: 354. +## Ends in an error in state: 355. ## ## let_expr(base_cond) -> Let Rec let_binding seq(Attr) In . base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## let_expr(closed_if) -> Let Rec let_binding seq(Attr) In . closed_if [ Else ] @@ -1909,7 +1909,7 @@ interactive_expr: Match True With WILD ARROW If True Then Let Rec WILD EQ Bytes interactive_expr: Match True With WILD ARROW If True Then Let Rec WILD EQ Bytes With ## -## Ends in an error in state: 352. +## Ends in an error in state: 353. ## ## let_expr(base_cond) -> Let Rec let_binding . seq(Attr) In base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## let_expr(closed_if) -> Let Rec let_binding . seq(Attr) In closed_if [ Else ] @@ -1921,26 +1921,26 @@ interactive_expr: Match True With WILD ARROW If True Then Let Rec WILD EQ Bytes ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) -## In state 388, spurious reduction of production let_binding -> irrefutable option(type_annotation) EQ expr +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) +## In state 389, spurious reduction of production let_binding -> irrefutable option(type_annotation) EQ expr ## interactive_expr: Match True With WILD ARROW If True Then Let Rec With ## -## Ends in an error in state: 351. +## Ends in an error in state: 352. ## ## let_expr(base_cond) -> Let Rec . let_binding seq(Attr) In base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## let_expr(closed_if) -> Let Rec . let_binding seq(Attr) In closed_if [ Else ] @@ -1953,7 +1953,7 @@ interactive_expr: Match True With WILD ARROW If True Then Let Rec With interactive_expr: Match True With WILD ARROW If True Then Let WILD EQ Bytes Attr Type ## -## Ends in an error in state: 390. +## Ends in an error in state: 391. ## ## let_expr(base_cond) -> Let let_binding seq(Attr) . In base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## let_expr(closed_if) -> Let let_binding seq(Attr) . In closed_if [ Else ] @@ -1965,15 +1965,15 @@ interactive_expr: Match True With WILD ARROW If True Then Let WILD EQ Bytes Attr ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 171, spurious reduction of production seq(Attr) -> -## In state 172, spurious reduction of production seq(Attr) -> Attr seq(Attr) +## In state 172, spurious reduction of production seq(Attr) -> +## In state 173, spurious reduction of production seq(Attr) -> Attr seq(Attr) ## interactive_expr: Match True With WILD ARROW If True Then Let WILD EQ Bytes In With ## -## Ends in an error in state: 391. +## Ends in an error in state: 392. ## ## let_expr(base_cond) -> Let let_binding seq(Attr) In . base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## let_expr(closed_if) -> Let let_binding seq(Attr) In . closed_if [ Else ] @@ -1986,7 +1986,7 @@ interactive_expr: Match True With WILD ARROW If True Then Let WILD EQ Bytes In W interactive_expr: Match True With WILD ARROW If True Then Let WILD EQ Bytes With ## -## Ends in an error in state: 389. +## Ends in an error in state: 390. ## ## let_expr(base_cond) -> Let let_binding . seq(Attr) In base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## let_expr(closed_if) -> Let let_binding . seq(Attr) In closed_if [ Else ] @@ -1998,26 +1998,26 @@ interactive_expr: Match True With WILD ARROW If True Then Let WILD EQ Bytes With ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) -## In state 388, spurious reduction of production let_binding -> irrefutable option(type_annotation) EQ expr +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) +## In state 389, spurious reduction of production let_binding -> irrefutable option(type_annotation) EQ expr ## interactive_expr: Match True With WILD ARROW If True Then Let With ## -## Ends in an error in state: 350. +## Ends in an error in state: 351. ## ## let_expr(base_cond) -> Let . let_binding seq(Attr) In base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## let_expr(base_cond) -> Let . Rec let_binding seq(Attr) In base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -2032,7 +2032,7 @@ interactive_expr: Match True With WILD ARROW If True Then Let With interactive_expr: Match True With WILD ARROW If True Then Match True Type ## -## Ends in an error in state: 339. +## Ends in an error in state: 340. ## ## match_expr(base_if_then_else) -> Match expr . With option(VBAR) cases(base_if_then_else) [ Else ] ## @@ -2043,25 +2043,25 @@ interactive_expr: Match True With WILD ARROW If True Then Match True Type ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) ## interactive_expr: Match True With WILD ARROW If True Then Match True With VBAR Begin ## -## Ends in an error in state: 341. +## Ends in an error in state: 342. ## ## match_expr(base_if_then_else) -> Match expr With option(VBAR) . cases(base_if_then_else) [ Else ] ## @@ -2073,7 +2073,7 @@ interactive_expr: Match True With WILD ARROW If True Then Match True With VBAR B interactive_expr: Match True With WILD ARROW If True Then Match True With WILD ARROW Bytes With ## -## Ends in an error in state: 344. +## Ends in an error in state: 345. ## ## cases(base_cond) -> cases(base_cond) . VBAR case_clause(base_cond) [ VBAR ] ## cases(base_if_then_else) -> cases(base_cond) . VBAR case_clause(base_if_then_else) [ Else ] @@ -2085,27 +2085,27 @@ interactive_expr: Match True With WILD ARROW If True Then Match True With WILD A ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 403, spurious reduction of production base_expr(base_cond) -> disj_expr_level -## In state 375, spurious reduction of production base_cond__open(base_cond) -> base_expr(base_cond) -## In state 376, spurious reduction of production base_cond -> base_cond__open(base_cond) -## In state 414, spurious reduction of production case_clause(base_cond) -> pattern ARROW base_cond -## In state 349, spurious reduction of production cases(base_cond) -> case_clause(base_cond) +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 404, spurious reduction of production base_expr(base_cond) -> disj_expr_level +## In state 376, spurious reduction of production base_cond__open(base_cond) -> base_expr(base_cond) +## In state 377, spurious reduction of production base_cond -> base_cond__open(base_cond) +## In state 415, spurious reduction of production case_clause(base_cond) -> pattern ARROW base_cond +## In state 350, spurious reduction of production cases(base_cond) -> case_clause(base_cond) ## interactive_expr: Match True With WILD ARROW If True Then Match True With With ## -## Ends in an error in state: 340. +## Ends in an error in state: 341. ## ## match_expr(base_if_then_else) -> Match expr With . option(VBAR) cases(base_if_then_else) [ Else ] ## @@ -2117,7 +2117,7 @@ interactive_expr: Match True With WILD ARROW If True Then Match True With With interactive_expr: Match True With WILD ARROW If True Then Match With ## -## Ends in an error in state: 338. +## Ends in an error in state: 339. ## ## match_expr(base_if_then_else) -> Match . expr With option(VBAR) cases(base_if_then_else) [ Else ] ## @@ -2129,7 +2129,7 @@ interactive_expr: Match True With WILD ARROW If True Then Match With interactive_expr: Match True With WILD ARROW If True Then True Else With ## -## Ends in an error in state: 496. +## Ends in an error in state: 497. ## ## if_then_else(base_cond) -> If expr Then closed_if Else . base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## @@ -2141,7 +2141,7 @@ interactive_expr: Match True With WILD ARROW If True Then True Else With interactive_expr: Match True With WILD ARROW If True Then With ## -## Ends in an error in state: 494. +## Ends in an error in state: 495. ## ## if_then(base_cond) -> If expr Then . base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## if_then_else(base_cond) -> If expr Then . closed_if Else base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -2154,7 +2154,7 @@ interactive_expr: Match True With WILD ARROW If True Then With interactive_expr: Match True With WILD ARROW If True With ## -## Ends in an error in state: 493. +## Ends in an error in state: 494. ## ## if_then(base_cond) -> If expr . Then base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## if_then_else(base_cond) -> If expr . Then closed_if Else base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -2166,25 +2166,25 @@ interactive_expr: Match True With WILD ARROW If True With ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) ## interactive_expr: Match True With WILD ARROW If With ## -## Ends in an error in state: 492. +## Ends in an error in state: 493. ## ## if_then(base_cond) -> If . expr Then base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## if_then_else(base_cond) -> If . expr Then closed_if Else base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -2197,7 +2197,7 @@ interactive_expr: Match True With WILD ARROW If With interactive_expr: Match True With WILD ARROW Let Rec WILD EQ Bytes Attr Type ## -## Ends in an error in state: 490. +## Ends in an error in state: 491. ## ## let_expr(base_cond) -> Let Rec let_binding seq(Attr) . In base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## @@ -2208,15 +2208,15 @@ interactive_expr: Match True With WILD ARROW Let Rec WILD EQ Bytes Attr Type ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 171, spurious reduction of production seq(Attr) -> -## In state 172, spurious reduction of production seq(Attr) -> Attr seq(Attr) +## In state 172, spurious reduction of production seq(Attr) -> +## In state 173, spurious reduction of production seq(Attr) -> Attr seq(Attr) ## interactive_expr: Match True With WILD ARROW Let Rec WILD EQ Bytes In With ## -## Ends in an error in state: 491. +## Ends in an error in state: 492. ## ## let_expr(base_cond) -> Let Rec let_binding seq(Attr) In . base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## @@ -2228,7 +2228,7 @@ interactive_expr: Match True With WILD ARROW Let Rec WILD EQ Bytes In With interactive_expr: Match True With WILD ARROW Let Rec WILD EQ Bytes With ## -## Ends in an error in state: 489. +## Ends in an error in state: 490. ## ## let_expr(base_cond) -> Let Rec let_binding . seq(Attr) In base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## @@ -2239,26 +2239,26 @@ interactive_expr: Match True With WILD ARROW Let Rec WILD EQ Bytes With ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) -## In state 388, spurious reduction of production let_binding -> irrefutable option(type_annotation) EQ expr +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) +## In state 389, spurious reduction of production let_binding -> irrefutable option(type_annotation) EQ expr ## interactive_expr: Match True With WILD ARROW Let Rec With ## -## Ends in an error in state: 488. +## Ends in an error in state: 489. ## ## let_expr(base_cond) -> Let Rec . let_binding seq(Attr) In base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## @@ -2270,7 +2270,7 @@ interactive_expr: Match True With WILD ARROW Let Rec With interactive_expr: Match True With WILD ARROW Let WILD EQ Bytes Attr Type ## -## Ends in an error in state: 503. +## Ends in an error in state: 504. ## ## let_expr(base_cond) -> Let let_binding seq(Attr) . In base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## @@ -2281,15 +2281,15 @@ interactive_expr: Match True With WILD ARROW Let WILD EQ Bytes Attr Type ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 171, spurious reduction of production seq(Attr) -> -## In state 172, spurious reduction of production seq(Attr) -> Attr seq(Attr) +## In state 172, spurious reduction of production seq(Attr) -> +## In state 173, spurious reduction of production seq(Attr) -> Attr seq(Attr) ## interactive_expr: Match True With WILD ARROW Let WILD EQ Bytes In With ## -## Ends in an error in state: 504. +## Ends in an error in state: 505. ## ## let_expr(base_cond) -> Let let_binding seq(Attr) In . base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## @@ -2301,7 +2301,7 @@ interactive_expr: Match True With WILD ARROW Let WILD EQ Bytes In With interactive_expr: Match True With WILD ARROW Let WILD EQ Bytes With ## -## Ends in an error in state: 502. +## Ends in an error in state: 503. ## ## let_expr(base_cond) -> Let let_binding . seq(Attr) In base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## @@ -2312,26 +2312,26 @@ interactive_expr: Match True With WILD ARROW Let WILD EQ Bytes With ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) -## In state 388, spurious reduction of production let_binding -> irrefutable option(type_annotation) EQ expr +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) +## In state 389, spurious reduction of production let_binding -> irrefutable option(type_annotation) EQ expr ## interactive_expr: Match True With WILD ARROW Let With ## -## Ends in an error in state: 487. +## Ends in an error in state: 488. ## ## let_expr(base_cond) -> Let . let_binding seq(Attr) In base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## let_expr(base_cond) -> Let . Rec let_binding seq(Attr) In base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -2344,7 +2344,7 @@ interactive_expr: Match True With WILD ARROW Let With interactive_expr: Match True With WILD ARROW True COMMA Bytes Else ## -## Ends in an error in state: 505. +## Ends in an error in state: 506. ## ## cases(base_cond) -> cases(base_cond) . VBAR case_clause(base_cond) [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## match_expr(base_cond) -> Match expr With option(VBAR) cases(base_cond) . [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] @@ -2356,30 +2356,30 @@ interactive_expr: Match True With WILD ARROW True COMMA Bytes Else ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 295, spurious reduction of production nsepseq(disj_expr_level,COMMA) -> disj_expr_level -## In state 294, spurious reduction of production tuple(disj_expr_level) -> disj_expr_level COMMA nsepseq(disj_expr_level,COMMA) -## In state 216, spurious reduction of production tuple_expr -> tuple(disj_expr_level) -## In state 500, spurious reduction of production base_expr(base_cond) -> tuple_expr -## In state 375, spurious reduction of production base_cond__open(base_cond) -> base_expr(base_cond) -## In state 376, spurious reduction of production base_cond -> base_cond__open(base_cond) -## In state 414, spurious reduction of production case_clause(base_cond) -> pattern ARROW base_cond -## In state 349, spurious reduction of production cases(base_cond) -> case_clause(base_cond) +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 296, spurious reduction of production nsepseq(disj_expr_level,COMMA) -> disj_expr_level +## In state 295, spurious reduction of production tuple(disj_expr_level) -> disj_expr_level COMMA nsepseq(disj_expr_level,COMMA) +## In state 217, spurious reduction of production tuple_expr -> tuple(disj_expr_level) +## In state 501, spurious reduction of production base_expr(base_cond) -> tuple_expr +## In state 376, spurious reduction of production base_cond__open(base_cond) -> base_expr(base_cond) +## In state 377, spurious reduction of production base_cond -> base_cond__open(base_cond) +## In state 415, spurious reduction of production case_clause(base_cond) -> pattern ARROW base_cond +## In state 350, spurious reduction of production cases(base_cond) -> case_clause(base_cond) ## interactive_expr: Match True With WILD ARROW True Else ## -## Ends in an error in state: 501. +## Ends in an error in state: 502. ## ## base_expr(base_cond) -> disj_expr_level . [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## bin_op(disj_expr_level,BOOL_OR,conj_expr_level) -> disj_expr_level . BOOL_OR conj_expr_level [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Or Let In End EOF COMMA COLON BOOL_OR Attr ] @@ -2393,22 +2393,22 @@ interactive_expr: Match True With WILD ARROW True Else ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level ## interactive_expr: Match True With WILD ARROW With ## -## Ends in an error in state: 486. +## Ends in an error in state: 487. ## ## case_clause(base_cond) -> pattern ARROW . base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## @@ -2420,7 +2420,7 @@ interactive_expr: Match True With WILD ARROW With interactive_expr: Match True With WILD COMMA WILD COMMA With ## -## Ends in an error in state: 325. +## Ends in an error in state: 326. ## ## nsepseq(sub_pattern,COMMA) -> sub_pattern COMMA . nsepseq(sub_pattern,COMMA) [ ARROW ] ## @@ -2432,7 +2432,7 @@ interactive_expr: Match True With WILD COMMA WILD COMMA With interactive_expr: Match True With WILD COMMA WILD With ## -## Ends in an error in state: 324. +## Ends in an error in state: 325. ## ## nsepseq(sub_pattern,COMMA) -> sub_pattern . [ ARROW ] ## nsepseq(sub_pattern,COMMA) -> sub_pattern . COMMA nsepseq(sub_pattern,COMMA) [ ARROW ] @@ -2445,7 +2445,7 @@ interactive_expr: Match True With WILD COMMA WILD With interactive_expr: Match True With WILD COMMA With ## -## Ends in an error in state: 323. +## Ends in an error in state: 324. ## ## tuple(sub_pattern) -> sub_pattern COMMA . nsepseq(sub_pattern,COMMA) [ ARROW ] ## @@ -2457,7 +2457,7 @@ interactive_expr: Match True With WILD COMMA With interactive_expr: Match True With WILD CONS Bytes SEMI ## -## Ends in an error in state: 485. +## Ends in an error in state: 486. ## ## case_clause(base_cond) -> pattern . ARROW base_cond [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## @@ -2468,15 +2468,15 @@ interactive_expr: Match True With WILD CONS Bytes SEMI ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 95, spurious reduction of production tail -> sub_pattern -## In state 322, spurious reduction of production pattern -> sub_pattern CONS tail +## In state 96, spurious reduction of production tail -> sub_pattern +## In state 323, spurious reduction of production pattern -> sub_pattern CONS tail ## interactive_expr: Match True With WILD CONS With ## -## Ends in an error in state: 321. +## Ends in an error in state: 322. ## ## pattern -> sub_pattern CONS . tail [ ARROW ] ## @@ -2488,7 +2488,7 @@ interactive_expr: Match True With WILD CONS With interactive_expr: Match True With WILD With ## -## Ends in an error in state: 342. +## Ends in an error in state: 343. ## ## pattern -> core_pattern . [ ARROW ] ## sub_pattern -> core_pattern . [ CONS COMMA ] @@ -2501,7 +2501,7 @@ interactive_expr: Match True With WILD With interactive_expr: Match True With With ## -## Ends in an error in state: 483. +## Ends in an error in state: 484. ## ## match_expr(base_cond) -> Match expr With . option(VBAR) cases(base_cond) [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## @@ -2513,7 +2513,7 @@ interactive_expr: Match True With With interactive_expr: Match With ## -## Ends in an error in state: 165. +## Ends in an error in state: 166. ## ## match_expr(base_cond) -> Match . expr With option(VBAR) cases(base_cond) [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## @@ -2525,7 +2525,7 @@ interactive_expr: Match With interactive_expr: Not With ## -## Ends in an error in state: 161. +## Ends in an error in state: 162. ## ## unary_expr_level -> Not . call_expr_level [ With VBAR Type Then TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE In GT GE End Else EQ EOF CONS COMMA COLON CAT BOOL_OR BOOL_AND Attr ] ## @@ -2537,7 +2537,7 @@ interactive_expr: Not With interactive_expr: True BOOL_AND With ## -## Ends in an error in state: 270. +## Ends in an error in state: 271. ## ## bin_op(conj_expr_level,BOOL_AND,comp_expr_level) -> conj_expr_level BOOL_AND . comp_expr_level [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Or Let In End Else EOF COMMA COLON BOOL_OR BOOL_AND Attr ] ## @@ -2549,7 +2549,7 @@ interactive_expr: True BOOL_AND With interactive_expr: True BOOL_OR With ## -## Ends in an error in state: 301. +## Ends in an error in state: 302. ## ## bin_op(disj_expr_level,BOOL_OR,conj_expr_level) -> disj_expr_level BOOL_OR . conj_expr_level [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Or Let In End Else EOF COMMA COLON BOOL_OR Attr ] ## @@ -2561,7 +2561,7 @@ interactive_expr: True BOOL_OR With interactive_expr: True CAT With ## -## Ends in an error in state: 253. +## Ends in an error in state: 254. ## ## bin_op(cons_expr_level,CAT,cat_expr_level) -> cons_expr_level CAT . cat_expr_level [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Or NE Let LT LE In GT GE End Else EQ EOF COMMA COLON BOOL_OR BOOL_AND Attr ] ## @@ -2573,7 +2573,7 @@ interactive_expr: True CAT With interactive_expr: True COMMA True COMMA With ## -## Ends in an error in state: 296. +## Ends in an error in state: 297. ## ## nsepseq(disj_expr_level,COMMA) -> disj_expr_level COMMA . nsepseq(disj_expr_level,COMMA) [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End Else EOF COLON Attr ] ## @@ -2585,7 +2585,7 @@ interactive_expr: True COMMA True COMMA With interactive_expr: True COMMA With ## -## Ends in an error in state: 293. +## Ends in an error in state: 294. ## ## tuple(disj_expr_level) -> disj_expr_level COMMA . nsepseq(disj_expr_level,COMMA) [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Let In End Else EOF COLON Attr ] ## @@ -2597,7 +2597,7 @@ interactive_expr: True COMMA With interactive_expr: True CONS With ## -## Ends in an error in state: 267. +## Ends in an error in state: 268. ## ## bin_op(add_expr_level,CONS,cons_expr_level) -> add_expr_level CONS . cons_expr_level [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Or NE Let LT LE In GT GE End Else EQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ] ## @@ -2609,7 +2609,7 @@ interactive_expr: True CONS With interactive_expr: True Constr With ## -## Ends in an error in state: 199. +## Ends in an error in state: 200. ## ## module_field -> Constr . DOT module_fun [ With VBAR Type True Then TIMES String SLASH SEMI RPAR RBRACKET RBRACE PLUS Or Nat NE Mutez Mod MINUS Let LT LPAR LE LBRACKET LBRACE Int In Ident GT GE False End Else EQ EOF Constr CONS COMMA COLON CAT Bytes Begin BOOL_OR BOOL_AND Attr ] ## projection -> Constr . DOT Ident DOT nsepseq(selection,DOT) [ With VBAR Type True Then TIMES String SLASH SEMI RPAR RBRACKET RBRACE PLUS Or Nat NE Mutez Mod MINUS Let LT LPAR LE LBRACKET LBRACE Int In Ident GT GE False End Else EQ EOF Constr CONS COMMA COLON CAT Bytes Begin BOOL_OR BOOL_AND Attr ] @@ -2622,7 +2622,7 @@ interactive_expr: True Constr With interactive_expr: True EQ With ## -## Ends in an error in state: 282. +## Ends in an error in state: 283. ## ## bin_op(comp_expr_level,EQ,cat_expr_level) -> comp_expr_level EQ . cat_expr_level [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Or NE Let LT LE In GT GE End Else EQ EOF COMMA COLON BOOL_OR BOOL_AND Attr ] ## @@ -2634,7 +2634,7 @@ interactive_expr: True EQ With interactive_expr: True GE With ## -## Ends in an error in state: 280. +## Ends in an error in state: 281. ## ## bin_op(comp_expr_level,GE,cat_expr_level) -> comp_expr_level GE . cat_expr_level [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Or NE Let LT LE In GT GE End Else EQ EOF COMMA COLON BOOL_OR BOOL_AND Attr ] ## @@ -2646,7 +2646,7 @@ interactive_expr: True GE With interactive_expr: True GT With ## -## Ends in an error in state: 278. +## Ends in an error in state: 279. ## ## bin_op(comp_expr_level,GT,cat_expr_level) -> comp_expr_level GT . cat_expr_level [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Or NE Let LT LE In GT GE End Else EQ EOF COMMA COLON BOOL_OR BOOL_AND Attr ] ## @@ -2658,7 +2658,7 @@ interactive_expr: True GT With interactive_expr: True LE With ## -## Ends in an error in state: 276. +## Ends in an error in state: 277. ## ## bin_op(comp_expr_level,LE,cat_expr_level) -> comp_expr_level LE . cat_expr_level [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Or NE Let LT LE In GT GE End Else EQ EOF COMMA COLON BOOL_OR BOOL_AND Attr ] ## @@ -2670,7 +2670,7 @@ interactive_expr: True LE With interactive_expr: True LT With ## -## Ends in an error in state: 274. +## Ends in an error in state: 275. ## ## bin_op(comp_expr_level,LT,cat_expr_level) -> comp_expr_level LT . cat_expr_level [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Or NE Let LT LE In GT GE End Else EQ EOF COMMA COLON BOOL_OR BOOL_AND Attr ] ## @@ -2682,7 +2682,7 @@ interactive_expr: True LT With interactive_expr: True MINUS C_None WILD ## -## Ends in an error in state: 266. +## Ends in an error in state: 267. ## ## bin_op(add_expr_level,MINUS,mult_expr_level) -> add_expr_level MINUS mult_expr_level . [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE PLUS Or NE MINUS Let LT LE In GT GE End Else EQ EOF CONS COMMA COLON CAT BOOL_OR BOOL_AND Attr ] ## bin_op(mult_expr_level,Mod,unary_expr_level) -> mult_expr_level . Mod unary_expr_level [ With VBAR Type Then TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE In GT GE End Else EQ EOF CONS COMMA COLON CAT BOOL_OR BOOL_AND Attr ] @@ -2697,7 +2697,7 @@ interactive_expr: True MINUS C_None WILD interactive_expr: True MINUS With ## -## Ends in an error in state: 265. +## Ends in an error in state: 266. ## ## bin_op(add_expr_level,MINUS,mult_expr_level) -> add_expr_level MINUS . mult_expr_level [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE PLUS Or NE MINUS Let LT LE In GT GE End Else EQ EOF CONS COMMA COLON CAT BOOL_OR BOOL_AND Attr ] ## @@ -2709,7 +2709,7 @@ interactive_expr: True MINUS With interactive_expr: True Mod With ## -## Ends in an error in state: 236. +## Ends in an error in state: 237. ## ## bin_op(mult_expr_level,Mod,unary_expr_level) -> mult_expr_level Mod . unary_expr_level [ With VBAR Type Then TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE In GT GE End Else EQ EOF CONS COMMA COLON CAT BOOL_OR BOOL_AND Attr ] ## @@ -2721,7 +2721,7 @@ interactive_expr: True Mod With interactive_expr: True NE With ## -## Ends in an error in state: 272. +## Ends in an error in state: 273. ## ## bin_op(comp_expr_level,NE,cat_expr_level) -> comp_expr_level NE . cat_expr_level [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Or NE Let LT LE In GT GE End Else EQ EOF COMMA COLON BOOL_OR BOOL_AND Attr ] ## @@ -2733,7 +2733,7 @@ interactive_expr: True NE With interactive_expr: True Or With ## -## Ends in an error in state: 251. +## Ends in an error in state: 252. ## ## bin_op(disj_expr_level,Or,conj_expr_level) -> disj_expr_level Or . conj_expr_level [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE Or Let In End Else EOF COMMA COLON BOOL_OR Attr ] ## @@ -2745,7 +2745,7 @@ interactive_expr: True Or With interactive_expr: True PLUS C_None WILD ## -## Ends in an error in state: 264. +## Ends in an error in state: 265. ## ## bin_op(add_expr_level,PLUS,mult_expr_level) -> add_expr_level PLUS mult_expr_level . [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE PLUS Or NE MINUS Let LT LE In GT GE End Else EQ EOF CONS COMMA COLON CAT BOOL_OR BOOL_AND Attr ] ## bin_op(mult_expr_level,Mod,unary_expr_level) -> mult_expr_level . Mod unary_expr_level [ With VBAR Type Then TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE In GT GE End Else EQ EOF CONS COMMA COLON CAT BOOL_OR BOOL_AND Attr ] @@ -2760,7 +2760,7 @@ interactive_expr: True PLUS C_None WILD interactive_expr: True PLUS With ## -## Ends in an error in state: 263. +## Ends in an error in state: 264. ## ## bin_op(add_expr_level,PLUS,mult_expr_level) -> add_expr_level PLUS . mult_expr_level [ With VBAR Type Then SEMI RPAR RBRACKET RBRACE PLUS Or NE MINUS Let LT LE In GT GE End Else EQ EOF CONS COMMA COLON CAT BOOL_OR BOOL_AND Attr ] ## @@ -2772,7 +2772,7 @@ interactive_expr: True PLUS With interactive_expr: True SLASH With ## -## Ends in an error in state: 234. +## Ends in an error in state: 235. ## ## bin_op(mult_expr_level,SLASH,unary_expr_level) -> mult_expr_level SLASH . unary_expr_level [ With VBAR Type Then TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE In GT GE End Else EQ EOF CONS COMMA COLON CAT BOOL_OR BOOL_AND Attr ] ## @@ -2784,7 +2784,7 @@ interactive_expr: True SLASH With interactive_expr: True TIMES With ## -## Ends in an error in state: 223. +## Ends in an error in state: 224. ## ## bin_op(mult_expr_level,TIMES,unary_expr_level) -> mult_expr_level TIMES . unary_expr_level [ With VBAR Type Then TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE In GT GE End Else EQ EOF CONS COMMA COLON CAT BOOL_OR BOOL_AND Attr ] ## @@ -2796,7 +2796,7 @@ interactive_expr: True TIMES With interactive_expr: True True True WILD ## -## Ends in an error in state: 229. +## Ends in an error in state: 230. ## ## seq(core_expr) -> core_expr . seq(core_expr) [ With VBAR Type Then TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE In GT GE End Else EQ EOF CONS COMMA COLON CAT BOOL_OR BOOL_AND Attr ] ## @@ -2808,7 +2808,7 @@ interactive_expr: True True True WILD interactive_expr: True True WILD ## -## Ends in an error in state: 227. +## Ends in an error in state: 228. ## ## nseq(core_expr) -> core_expr . seq(core_expr) [ With VBAR Type Then TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE In GT GE End Else EQ EOF CONS COMMA COLON CAT BOOL_OR BOOL_AND Attr ] ## @@ -2820,7 +2820,7 @@ interactive_expr: True True WILD interactive_expr: True VBAR ## -## Ends in an error in state: 250. +## Ends in an error in state: 251. ## ## base_expr(expr) -> disj_expr_level . [ With Type Then SEMI RPAR RBRACKET RBRACE Let In End EOF COLON Attr ] ## bin_op(disj_expr_level,BOOL_OR,conj_expr_level) -> disj_expr_level . BOOL_OR conj_expr_level [ With Type Then SEMI RPAR RBRACKET RBRACE Or Let In End EOF COMMA COLON BOOL_OR Attr ] @@ -2834,22 +2834,22 @@ interactive_expr: True VBAR ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level ## interactive_expr: True WILD ## -## Ends in an error in state: 225. +## Ends in an error in state: 226. ## ## call_expr -> core_expr . nseq(core_expr) [ With VBAR Type Then TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE In GT GE End Else EQ EOF CONS COMMA COLON CAT BOOL_OR BOOL_AND Attr ] ## call_expr_level -> core_expr . [ With VBAR Type Then TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE In GT GE End Else EQ EOF CONS COMMA COLON CAT BOOL_OR BOOL_AND Attr ] @@ -2862,7 +2862,7 @@ interactive_expr: True WILD interactive_expr: True With ## -## Ends in an error in state: 527. +## Ends in an error in state: 528. ## ## interactive_expr -> expr . EOF [ # ] ## @@ -2873,25 +2873,25 @@ interactive_expr: True With ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) ## interactive_expr: With ## -## Ends in an error in state: 525. +## Ends in an error in state: 526. ## ## interactive_expr' -> . interactive_expr [ # ] ## @@ -2901,9 +2901,9 @@ interactive_expr: With -contract: Let Ident WILD COLON Ident VBAR +contract: Let Ident WILD COLON String VBAR ## -## Ends in an error in state: 157. +## Ends in an error in state: 158. ## ## let_binding -> Ident nseq(sub_irrefutable) option(type_annotation) . EQ expr [ Type Let In EOF Attr ] ## @@ -2914,18 +2914,18 @@ contract: Let Ident WILD COLON Ident VBAR ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 27, spurious reduction of production cartesian -> core_type -## In state 35, spurious reduction of production fun_type -> cartesian -## In state 26, spurious reduction of production type_expr -> fun_type -## In state 155, spurious reduction of production type_annotation -> COLON type_expr -## In state 156, spurious reduction of production option(type_annotation) -> type_annotation +## In state 28, spurious reduction of production cartesian -> core_type +## In state 36, spurious reduction of production fun_type -> cartesian +## In state 27, spurious reduction of production type_expr -> fun_type +## In state 156, spurious reduction of production type_annotation -> COLON type_expr +## In state 157, spurious reduction of production option(type_annotation) -> type_annotation ## contract: Let Ident WILD EQ With ## -## Ends in an error in state: 158. +## Ends in an error in state: 159. ## ## let_binding -> Ident nseq(sub_irrefutable) option(type_annotation) EQ . expr [ Type Let In EOF Attr ] ## @@ -2937,7 +2937,7 @@ contract: Let Ident WILD EQ With contract: Let Ident WILD WILD With ## -## Ends in an error in state: 150. +## Ends in an error in state: 151. ## ## seq(sub_irrefutable) -> sub_irrefutable . seq(sub_irrefutable) [ EQ COLON ] ## @@ -2949,7 +2949,7 @@ contract: Let Ident WILD WILD With contract: Let Ident WILD With ## -## Ends in an error in state: 149. +## Ends in an error in state: 150. ## ## nseq(sub_irrefutable) -> sub_irrefutable . seq(sub_irrefutable) [ EQ COLON ] ## @@ -2961,7 +2961,7 @@ contract: Let Ident WILD With contract: Let Ident With ## -## Ends in an error in state: 148. +## Ends in an error in state: 149. ## ## let_binding -> Ident . nseq(sub_irrefutable) option(type_annotation) EQ expr [ Type Let In EOF Attr ] ## sub_irrefutable -> Ident . [ EQ COMMA COLON ] @@ -2974,7 +2974,7 @@ contract: Let Ident With contract: Let LBRACE Ident EQ Bytes SEMI Ident EQ Bytes SEMI With ## -## Ends in an error in state: 126. +## Ends in an error in state: 127. ## ## nsepseq(field_pattern,SEMI) -> field_pattern SEMI . nsepseq(field_pattern,SEMI) [ RBRACE ] ## seq(__anonymous_0(field_pattern,SEMI)) -> field_pattern SEMI . seq(__anonymous_0(field_pattern,SEMI)) [ RBRACE ] @@ -2987,7 +2987,7 @@ contract: Let LBRACE Ident EQ Bytes SEMI Ident EQ Bytes SEMI With contract: Let LBRACE Ident EQ Bytes SEMI Ident EQ Bytes With ## -## Ends in an error in state: 125. +## Ends in an error in state: 126. ## ## nsepseq(field_pattern,SEMI) -> field_pattern . [ RBRACE ] ## nsepseq(field_pattern,SEMI) -> field_pattern . SEMI nsepseq(field_pattern,SEMI) [ RBRACE ] @@ -3001,7 +3001,7 @@ contract: Let LBRACE Ident EQ Bytes SEMI Ident EQ Bytes With contract: Let LBRACE Ident EQ Bytes SEMI With ## -## Ends in an error in state: 122. +## Ends in an error in state: 123. ## ## nsepseq(field_pattern,SEMI) -> field_pattern SEMI . nsepseq(field_pattern,SEMI) [ RBRACE ] ## nseq(__anonymous_0(field_pattern,SEMI)) -> field_pattern SEMI . seq(__anonymous_0(field_pattern,SEMI)) [ RBRACE ] @@ -3014,7 +3014,7 @@ contract: Let LBRACE Ident EQ Bytes SEMI With contract: Let LBRACE Ident EQ Bytes With ## -## Ends in an error in state: 121. +## Ends in an error in state: 122. ## ## nsepseq(field_pattern,SEMI) -> field_pattern . [ RBRACE ] ## nsepseq(field_pattern,SEMI) -> field_pattern . SEMI nsepseq(field_pattern,SEMI) [ RBRACE ] @@ -3028,7 +3028,7 @@ contract: Let LBRACE Ident EQ Bytes With contract: Let LBRACE Ident EQ With ## -## Ends in an error in state: 68. +## Ends in an error in state: 69. ## ## field_pattern -> Ident EQ . sub_pattern [ SEMI RBRACE ] ## @@ -3040,7 +3040,7 @@ contract: Let LBRACE Ident EQ With contract: Let LBRACE Ident With ## -## Ends in an error in state: 67. +## Ends in an error in state: 68. ## ## field_pattern -> Ident . EQ sub_pattern [ SEMI RBRACE ] ## @@ -3052,7 +3052,7 @@ contract: Let LBRACE Ident With contract: Let LBRACE With ## -## Ends in an error in state: 66. +## Ends in an error in state: 67. ## ## record_pattern -> LBRACE . sep_or_term_list(field_pattern,SEMI) RBRACE [ WILD SEMI RPAR RBRACKET RBRACE LPAR LBRACE Ident EQ Constr CONS COMMA COLON ARROW ] ## @@ -3064,7 +3064,7 @@ contract: Let LBRACE With contract: Let LPAR Constr C_Some With ## -## Ends in an error in state: 79. +## Ends in an error in state: 80. ## ## constr_pattern -> C_Some . sub_pattern [ SEMI RPAR RBRACKET RBRACE CONS COMMA ARROW ] ## @@ -3076,7 +3076,7 @@ contract: Let LPAR Constr C_Some With contract: Let LPAR Constr Constr With ## -## Ends in an error in state: 78. +## Ends in an error in state: 79. ## ## constr_pattern -> Constr . [ SEMI RPAR RBRACKET RBRACE CONS COMMA ARROW ] ## constr_pattern -> Constr . sub_pattern [ SEMI RPAR RBRACKET RBRACE CONS COMMA ARROW ] @@ -3089,7 +3089,7 @@ contract: Let LPAR Constr Constr With contract: Let LPAR Constr LBRACKET WILD RPAR ## -## Ends in an error in state: 91. +## Ends in an error in state: 92. ## ## nsepseq(tail,SEMI) -> tail . [ RBRACKET ] ## nsepseq(tail,SEMI) -> tail . SEMI nsepseq(tail,SEMI) [ RBRACKET ] @@ -3102,14 +3102,14 @@ contract: Let LPAR Constr LBRACKET WILD RPAR ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 95, spurious reduction of production tail -> sub_pattern +## In state 96, spurious reduction of production tail -> sub_pattern ## contract: Let LPAR Constr LBRACKET WILD SEMI WILD RPAR ## -## Ends in an error in state: 93. +## Ends in an error in state: 94. ## ## nsepseq(tail,SEMI) -> tail . [ RBRACKET ] ## nsepseq(tail,SEMI) -> tail . SEMI nsepseq(tail,SEMI) [ RBRACKET ] @@ -3122,14 +3122,14 @@ contract: Let LPAR Constr LBRACKET WILD SEMI WILD RPAR ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 95, spurious reduction of production tail -> sub_pattern +## In state 96, spurious reduction of production tail -> sub_pattern ## contract: Let LPAR Constr LBRACKET WILD SEMI WILD SEMI With ## -## Ends in an error in state: 94. +## Ends in an error in state: 95. ## ## nsepseq(tail,SEMI) -> tail SEMI . nsepseq(tail,SEMI) [ RBRACKET ] ## seq(__anonymous_0(tail,SEMI)) -> tail SEMI . seq(__anonymous_0(tail,SEMI)) [ RBRACKET ] @@ -3142,7 +3142,7 @@ contract: Let LPAR Constr LBRACKET WILD SEMI WILD SEMI With contract: Let LPAR Constr LBRACKET WILD SEMI With ## -## Ends in an error in state: 92. +## Ends in an error in state: 93. ## ## nsepseq(tail,SEMI) -> tail SEMI . nsepseq(tail,SEMI) [ RBRACKET ] ## nseq(__anonymous_0(tail,SEMI)) -> tail SEMI . seq(__anonymous_0(tail,SEMI)) [ RBRACKET ] @@ -3155,7 +3155,7 @@ contract: Let LPAR Constr LBRACKET WILD SEMI With contract: Let LPAR Constr LBRACKET With ## -## Ends in an error in state: 74. +## Ends in an error in state: 75. ## ## list__(tail) -> LBRACKET . option(sep_or_term_list(tail,SEMI)) RBRACKET [ SEMI RPAR RBRACKET RBRACE CONS COMMA ARROW ] ## @@ -3167,7 +3167,7 @@ contract: Let LPAR Constr LBRACKET With contract: Let LPAR Constr LPAR WILD COMMA WILD COMMA With ## -## Ends in an error in state: 111. +## Ends in an error in state: 112. ## ## nsepseq(tail,COMMA) -> tail COMMA . nsepseq(tail,COMMA) [ RPAR ] ## @@ -3179,7 +3179,7 @@ contract: Let LPAR Constr LPAR WILD COMMA WILD COMMA With contract: Let LPAR Constr LPAR WILD COMMA WILD SEMI ## -## Ends in an error in state: 110. +## Ends in an error in state: 111. ## ## nsepseq(tail,COMMA) -> tail . [ RPAR ] ## nsepseq(tail,COMMA) -> tail . COMMA nsepseq(tail,COMMA) [ RPAR ] @@ -3191,14 +3191,14 @@ contract: Let LPAR Constr LPAR WILD COMMA WILD SEMI ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 95, spurious reduction of production tail -> sub_pattern +## In state 96, spurious reduction of production tail -> sub_pattern ## contract: Let LPAR Constr LPAR WILD COMMA With ## -## Ends in an error in state: 109. +## Ends in an error in state: 110. ## ## tuple(tail) -> tail COMMA . nsepseq(tail,COMMA) [ RPAR ] ## @@ -3210,7 +3210,7 @@ contract: Let LPAR Constr LPAR WILD COMMA With contract: Let LPAR Constr LPAR WILD CONS With ## -## Ends in an error in state: 96. +## Ends in an error in state: 97. ## ## tail -> sub_pattern CONS . tail [ SEMI RPAR RBRACKET COMMA ARROW ] ## @@ -3222,7 +3222,7 @@ contract: Let LPAR Constr LPAR WILD CONS With contract: Let LPAR Constr LPAR WILD SEMI ## -## Ends in an error in state: 107. +## Ends in an error in state: 108. ## ## par(tail) -> LPAR tail . RPAR [ SEMI RPAR RBRACKET RBRACE CONS COMMA ARROW ] ## tuple(tail) -> tail . COMMA nsepseq(tail,COMMA) [ RPAR ] @@ -3234,14 +3234,14 @@ contract: Let LPAR Constr LPAR WILD SEMI ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 95, spurious reduction of production tail -> sub_pattern +## In state 96, spurious reduction of production tail -> sub_pattern ## contract: Let LPAR Constr LPAR WILD With ## -## Ends in an error in state: 95. +## Ends in an error in state: 96. ## ## tail -> sub_pattern . [ SEMI RPAR RBRACKET COMMA ARROW ] ## tail -> sub_pattern . CONS tail [ SEMI RPAR RBRACKET COMMA ARROW ] @@ -3254,7 +3254,7 @@ contract: Let LPAR Constr LPAR WILD With contract: Let LPAR Constr LPAR With ## -## Ends in an error in state: 73. +## Ends in an error in state: 74. ## ## par(ptuple) -> LPAR . ptuple RPAR [ SEMI RPAR RBRACKET RBRACE CONS COMMA ARROW ] ## par(tail) -> LPAR . tail RPAR [ SEMI RPAR RBRACKET RBRACE CONS COMMA ARROW ] @@ -3268,7 +3268,7 @@ contract: Let LPAR Constr LPAR With contract: Let LPAR Constr WILD With ## -## Ends in an error in state: 146. +## Ends in an error in state: 147. ## ## par(closed_irrefutable) -> LPAR closed_irrefutable . RPAR [ WILD RPAR LPAR LBRACE Ident EQ Constr COMMA COLON ARROW ] ## @@ -3280,7 +3280,7 @@ contract: Let LPAR Constr WILD With contract: Let LPAR Constr With ## -## Ends in an error in state: 129. +## Ends in an error in state: 130. ## ## closed_irrefutable -> Constr . sub_pattern [ RPAR ] ## sub_irrefutable -> Constr . [ RPAR COMMA COLON ] @@ -3293,7 +3293,7 @@ contract: Let LPAR Constr With contract: Let LPAR WILD COLON With ## -## Ends in an error in state: 144. +## Ends in an error in state: 145. ## ## typed_pattern -> irrefutable COLON . type_expr [ RPAR ] ## @@ -3305,7 +3305,7 @@ contract: Let LPAR WILD COLON With contract: Let LPAR WILD WILD ## -## Ends in an error in state: 143. +## Ends in an error in state: 144. ## ## closed_irrefutable -> irrefutable . [ RPAR ] ## typed_pattern -> irrefutable . COLON type_expr [ RPAR ] @@ -3317,14 +3317,14 @@ contract: Let LPAR WILD WILD ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 134, spurious reduction of production irrefutable -> sub_irrefutable +## In state 135, spurious reduction of production irrefutable -> sub_irrefutable ## contract: Let LPAR With ## -## Ends in an error in state: 64. +## Ends in an error in state: 65. ## ## par(closed_irrefutable) -> LPAR . closed_irrefutable RPAR [ WILD RPAR LPAR LBRACE Ident EQ Constr COMMA COLON ARROW ] ## unit -> LPAR . RPAR [ WILD RPAR LPAR LBRACE Ident EQ Constr COMMA COLON ARROW ] @@ -3337,7 +3337,7 @@ contract: Let LPAR With contract: Let Rec WILD EQ Bytes With ## -## Ends in an error in state: 514. +## Ends in an error in state: 515. ## ## let_declaration -> Let Rec let_binding . seq(Attr) [ Type Let EOF ] ## @@ -3348,26 +3348,26 @@ contract: Let Rec WILD EQ Bytes With ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) -## In state 388, spurious reduction of production let_binding -> irrefutable option(type_annotation) EQ expr +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) +## In state 389, spurious reduction of production let_binding -> irrefutable option(type_annotation) EQ expr ## contract: Let Rec With ## -## Ends in an error in state: 63. +## Ends in an error in state: 64. ## ## let_declaration -> Let Rec . let_binding seq(Attr) [ Type Let EOF ] ## @@ -3379,7 +3379,7 @@ contract: Let Rec With contract: Let WILD COLON Ident VBAR ## -## Ends in an error in state: 386. +## Ends in an error in state: 387. ## ## let_binding -> irrefutable option(type_annotation) . EQ expr [ Type Let In EOF Attr ] ## @@ -3390,18 +3390,18 @@ contract: Let WILD COLON Ident VBAR ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 27, spurious reduction of production cartesian -> core_type -## In state 35, spurious reduction of production fun_type -> cartesian -## In state 26, spurious reduction of production type_expr -> fun_type -## In state 155, spurious reduction of production type_annotation -> COLON type_expr -## In state 156, spurious reduction of production option(type_annotation) -> type_annotation +## In state 28, spurious reduction of production cartesian -> core_type +## In state 36, spurious reduction of production fun_type -> cartesian +## In state 27, spurious reduction of production type_expr -> fun_type +## In state 156, spurious reduction of production type_annotation -> COLON type_expr +## In state 157, spurious reduction of production option(type_annotation) -> type_annotation ## contract: Let WILD COLON With ## -## Ends in an error in state: 154. +## Ends in an error in state: 155. ## ## type_annotation -> COLON . type_expr [ EQ ] ## @@ -3413,7 +3413,7 @@ contract: Let WILD COLON With contract: Let WILD COMMA WILD COMMA With ## -## Ends in an error in state: 138. +## Ends in an error in state: 139. ## ## nsepseq(sub_irrefutable,COMMA) -> sub_irrefutable COMMA . nsepseq(sub_irrefutable,COMMA) [ WILD RPAR LPAR LBRACE Ident EQ Constr COLON ARROW ] ## @@ -3425,7 +3425,7 @@ contract: Let WILD COMMA WILD COMMA With contract: Let WILD COMMA WILD With ## -## Ends in an error in state: 137. +## Ends in an error in state: 138. ## ## nsepseq(sub_irrefutable,COMMA) -> sub_irrefutable . [ WILD RPAR LPAR LBRACE Ident EQ Constr COLON ARROW ] ## nsepseq(sub_irrefutable,COMMA) -> sub_irrefutable . COMMA nsepseq(sub_irrefutable,COMMA) [ WILD RPAR LPAR LBRACE Ident EQ Constr COLON ARROW ] @@ -3438,7 +3438,7 @@ contract: Let WILD COMMA WILD With contract: Let WILD COMMA With ## -## Ends in an error in state: 135. +## Ends in an error in state: 136. ## ## tuple(sub_irrefutable) -> sub_irrefutable COMMA . nsepseq(sub_irrefutable,COMMA) [ WILD RPAR LPAR LBRACE Ident EQ Constr COLON ARROW ] ## @@ -3450,7 +3450,7 @@ contract: Let WILD COMMA With contract: Let WILD EQ Bytes Attr With ## -## Ends in an error in state: 171. +## Ends in an error in state: 172. ## ## seq(Attr) -> Attr . seq(Attr) [ Type Let In EOF ] ## @@ -3462,7 +3462,7 @@ contract: Let WILD EQ Bytes Attr With contract: Let WILD EQ Bytes With ## -## Ends in an error in state: 516. +## Ends in an error in state: 517. ## ## let_declaration -> Let let_binding . seq(Attr) [ Type Let EOF ] ## @@ -3473,26 +3473,26 @@ contract: Let WILD EQ Bytes With ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 225, spurious reduction of production call_expr_level -> core_expr -## In state 232, spurious reduction of production unary_expr_level -> call_expr_level -## In state 214, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 222, spurious reduction of production add_expr_level -> mult_expr_level -## In state 262, spurious reduction of production cons_expr_level -> add_expr_level -## In state 252, spurious reduction of production cat_expr_level -> cons_expr_level -## In state 284, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 291, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 298, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 250, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 304, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 305, spurious reduction of production expr -> base_cond__open(expr) -## In state 388, spurious reduction of production let_binding -> irrefutable option(type_annotation) EQ expr +## In state 226, spurious reduction of production call_expr_level -> core_expr +## In state 233, spurious reduction of production unary_expr_level -> call_expr_level +## In state 215, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 223, spurious reduction of production add_expr_level -> mult_expr_level +## In state 263, spurious reduction of production cons_expr_level -> add_expr_level +## In state 253, spurious reduction of production cat_expr_level -> cons_expr_level +## In state 285, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 292, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 299, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 251, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 305, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 306, spurious reduction of production expr -> base_cond__open(expr) +## In state 389, spurious reduction of production let_binding -> irrefutable option(type_annotation) EQ expr ## contract: Let WILD EQ With ## -## Ends in an error in state: 387. +## Ends in an error in state: 388. ## ## let_binding -> irrefutable option(type_annotation) EQ . expr [ Type Let In EOF Attr ] ## @@ -3504,7 +3504,7 @@ contract: Let WILD EQ With contract: Let WILD WILD ## -## Ends in an error in state: 385. +## Ends in an error in state: 386. ## ## let_binding -> irrefutable . option(type_annotation) EQ expr [ Type Let In EOF Attr ] ## @@ -3515,14 +3515,14 @@ contract: Let WILD WILD ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 134, spurious reduction of production irrefutable -> sub_irrefutable +## In state 135, spurious reduction of production irrefutable -> sub_irrefutable ## contract: Let WILD With ## -## Ends in an error in state: 134. +## Ends in an error in state: 135. ## ## irrefutable -> sub_irrefutable . [ WILD RPAR LPAR LBRACE Ident EQ Constr COLON ARROW ] ## tuple(sub_irrefutable) -> sub_irrefutable . COMMA nsepseq(sub_irrefutable,COMMA) [ WILD RPAR LPAR LBRACE Ident EQ Constr COLON ARROW ] @@ -3535,7 +3535,7 @@ contract: Let WILD With contract: Let With ## -## Ends in an error in state: 61. +## Ends in an error in state: 62. ## ## let_declaration -> Let . let_binding seq(Attr) [ Type Let EOF ] ## let_declaration -> Let . Rec let_binding seq(Attr) [ Type Let EOF ] @@ -3548,7 +3548,7 @@ contract: Let With contract: Type Ident EQ Constr DOT With ## -## Ends in an error in state: 13. +## Ends in an error in state: 14. ## ## core_type -> Constr DOT . Ident [ VBAR Type TIMES SEMI RPAR RBRACE Let Ident EQ EOF COMMA ARROW ] ## @@ -3572,7 +3572,7 @@ contract: Type Ident EQ Constr Of With contract: Type Ident EQ Constr VBAR With ## -## Ends in an error in state: 16. +## Ends in an error in state: 17. ## ## nsepseq(variant,VBAR) -> variant VBAR . nsepseq(variant,VBAR) [ Type SEMI RPAR RBRACE Let EQ EOF COMMA ] ## @@ -3584,7 +3584,7 @@ contract: Type Ident EQ Constr VBAR With contract: Type Ident EQ Constr With ## -## Ends in an error in state: 12. +## Ends in an error in state: 13. ## ## core_type -> Constr . DOT Ident [ Type TIMES SEMI RPAR RBRACE Let Ident EQ EOF COMMA ARROW ] ## variant -> Constr . [ VBAR Type SEMI RPAR RBRACE Let EQ EOF COMMA ] @@ -3596,71 +3596,9 @@ contract: Type Ident EQ Constr With -contract: Type Ident EQ Ident ARROW With -## -## Ends in an error in state: 36. -## -## fun_type -> cartesian ARROW . fun_type [ VBAR Type SEMI RPAR RBRACE Let EQ EOF COMMA ] -## -## The known suffix of the stack is as follows: -## cartesian ARROW -## - - - -contract: Type Ident EQ Ident TIMES Constr With -## -## Ends in an error in state: 29. -## -## core_type -> Constr . DOT Ident [ VBAR Type TIMES SEMI RPAR RBRACE Let Ident EQ EOF COMMA ARROW ] -## -## The known suffix of the stack is as follows: -## Constr -## - - - -contract: Type Ident EQ Ident TIMES Ident TIMES With -## -## Ends in an error in state: 32. -## -## nsepseq(core_type,TIMES) -> core_type TIMES . nsepseq(core_type,TIMES) [ VBAR Type SEMI RPAR RBRACE Let EQ EOF COMMA ARROW ] -## -## The known suffix of the stack is as follows: -## core_type TIMES -## - - - -contract: Type Ident EQ Ident TIMES Ident With -## -## Ends in an error in state: 31. -## -## core_type -> core_type . Ident [ VBAR Type TIMES SEMI RPAR RBRACE Let Ident EQ EOF COMMA ARROW ] -## nsepseq(core_type,TIMES) -> core_type . [ VBAR Type SEMI RPAR RBRACE Let EQ EOF COMMA ARROW ] -## nsepseq(core_type,TIMES) -> core_type . TIMES nsepseq(core_type,TIMES) [ VBAR Type SEMI RPAR RBRACE Let EQ EOF COMMA ARROW ] -## -## The known suffix of the stack is as follows: -## core_type -## - - - -contract: Type Ident EQ Ident TIMES With -## -## Ends in an error in state: 28. -## -## cartesian -> core_type TIMES . nsepseq(core_type,TIMES) [ VBAR Type SEMI RPAR RBRACE Let EQ EOF COMMA ARROW ] -## -## The known suffix of the stack is as follows: -## core_type TIMES -## - - - contract: Type Ident EQ Ident VBAR ## -## Ends in an error in state: 522. +## Ends in an error in state: 523. ## ## declarations -> declaration . [ EOF ] ## declarations -> declaration . declarations [ EOF ] @@ -3672,32 +3610,18 @@ contract: Type Ident EQ Ident VBAR ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 27, spurious reduction of production cartesian -> core_type -## In state 35, spurious reduction of production fun_type -> cartesian -## In state 26, spurious reduction of production type_expr -> fun_type -## In state 60, spurious reduction of production type_decl -> Type Ident EQ type_expr -## In state 518, spurious reduction of production declaration -> type_decl -## - - - -contract: Type Ident EQ Ident With -## -## Ends in an error in state: 27. -## -## cartesian -> core_type . [ VBAR Type SEMI RPAR RBRACE Let EQ EOF COMMA ARROW ] -## cartesian -> core_type . TIMES nsepseq(core_type,TIMES) [ VBAR Type SEMI RPAR RBRACE Let EQ EOF COMMA ARROW ] -## core_type -> core_type . Ident [ VBAR Type TIMES SEMI RPAR RBRACE Let Ident EQ EOF COMMA ARROW ] -## -## The known suffix of the stack is as follows: -## core_type +## In state 28, spurious reduction of production cartesian -> core_type +## In state 36, spurious reduction of production fun_type -> cartesian +## In state 27, spurious reduction of production type_expr -> fun_type +## In state 61, spurious reduction of production type_decl -> Type Ident EQ type_expr +## In state 519, spurious reduction of production declaration -> type_decl ## contract: Type Ident EQ LBRACE Ident COLON Constr SEMI Ident COLON Constr SEMI With ## -## Ends in an error in state: 47. +## Ends in an error in state: 48. ## ## nsepseq(field_decl,SEMI) -> field_decl SEMI . nsepseq(field_decl,SEMI) [ RBRACE ] ## seq(__anonymous_0(field_decl,SEMI)) -> field_decl SEMI . seq(__anonymous_0(field_decl,SEMI)) [ RBRACE ] @@ -3710,7 +3634,7 @@ contract: Type Ident EQ LBRACE Ident COLON Constr SEMI Ident COLON Constr SEMI W contract: Type Ident EQ LBRACE Ident COLON Constr SEMI Ident COLON Ident VBAR ## -## Ends in an error in state: 46. +## Ends in an error in state: 47. ## ## nsepseq(field_decl,SEMI) -> field_decl . [ RBRACE ] ## nsepseq(field_decl,SEMI) -> field_decl . SEMI nsepseq(field_decl,SEMI) [ RBRACE ] @@ -3723,17 +3647,17 @@ contract: Type Ident EQ LBRACE Ident COLON Constr SEMI Ident COLON Ident VBAR ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 27, spurious reduction of production cartesian -> core_type -## In state 35, spurious reduction of production fun_type -> cartesian -## In state 26, spurious reduction of production type_expr -> fun_type -## In state 20, spurious reduction of production field_decl -> Ident COLON type_expr +## In state 28, spurious reduction of production cartesian -> core_type +## In state 36, spurious reduction of production fun_type -> cartesian +## In state 27, spurious reduction of production type_expr -> fun_type +## In state 21, spurious reduction of production field_decl -> Ident COLON type_expr ## contract: Type Ident EQ LBRACE Ident COLON Constr SEMI With ## -## Ends in an error in state: 43. +## Ends in an error in state: 44. ## ## nsepseq(field_decl,SEMI) -> field_decl SEMI . nsepseq(field_decl,SEMI) [ RBRACE ] ## nseq(__anonymous_0(field_decl,SEMI)) -> field_decl SEMI . seq(__anonymous_0(field_decl,SEMI)) [ RBRACE ] @@ -3746,7 +3670,7 @@ contract: Type Ident EQ LBRACE Ident COLON Constr SEMI With contract: Type Ident EQ LBRACE Ident COLON Ident VBAR ## -## Ends in an error in state: 42. +## Ends in an error in state: 43. ## ## nsepseq(field_decl,SEMI) -> field_decl . [ RBRACE ] ## nsepseq(field_decl,SEMI) -> field_decl . SEMI nsepseq(field_decl,SEMI) [ RBRACE ] @@ -3759,17 +3683,17 @@ contract: Type Ident EQ LBRACE Ident COLON Ident VBAR ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 27, spurious reduction of production cartesian -> core_type -## In state 35, spurious reduction of production fun_type -> cartesian -## In state 26, spurious reduction of production type_expr -> fun_type -## In state 20, spurious reduction of production field_decl -> Ident COLON type_expr +## In state 28, spurious reduction of production cartesian -> core_type +## In state 36, spurious reduction of production fun_type -> cartesian +## In state 27, spurious reduction of production type_expr -> fun_type +## In state 21, spurious reduction of production field_decl -> Ident COLON type_expr ## contract: Type Ident EQ LBRACE Ident COLON With ## -## Ends in an error in state: 10. +## Ends in an error in state: 11. ## ## field_decl -> Ident COLON . type_expr [ SEMI RBRACE ] ## @@ -3781,7 +3705,7 @@ contract: Type Ident EQ LBRACE Ident COLON With contract: Type Ident EQ LBRACE Ident With ## -## Ends in an error in state: 9. +## Ends in an error in state: 10. ## ## field_decl -> Ident . COLON type_expr [ SEMI RBRACE ] ## @@ -3793,7 +3717,7 @@ contract: Type Ident EQ LBRACE Ident With contract: Type Ident EQ LBRACE With ## -## Ends in an error in state: 8. +## Ends in an error in state: 9. ## ## record_type -> LBRACE . sep_or_term_list(field_decl,SEMI) RBRACE [ Type SEMI RPAR RBRACE Let EQ EOF COMMA ] ## @@ -3803,9 +3727,9 @@ contract: Type Ident EQ LBRACE With -contract: Type Ident EQ LPAR Ident COMMA Constr RPAR With +contract: Type Ident EQ LPAR String COMMA Constr RPAR With ## -## Ends in an error in state: 18. +## Ends in an error in state: 19. ## ## core_type -> type_tuple . Ident [ VBAR Type TIMES SEMI RPAR RBRACE Let Ident EQ EOF COMMA ARROW ] ## @@ -3815,9 +3739,9 @@ contract: Type Ident EQ LPAR Ident COMMA Constr RPAR With -contract: Type Ident EQ LPAR Ident COMMA Ident COMMA With +contract: Type Ident EQ LPAR String COMMA String COMMA With ## -## Ends in an error in state: 53. +## Ends in an error in state: 54. ## ## nsepseq(type_expr,COMMA) -> type_expr COMMA . nsepseq(type_expr,COMMA) [ RPAR ] ## @@ -3827,9 +3751,9 @@ contract: Type Ident EQ LPAR Ident COMMA Ident COMMA With -contract: Type Ident EQ LPAR Ident COMMA Ident VBAR +contract: Type Ident EQ LPAR String COMMA String VBAR ## -## Ends in an error in state: 52. +## Ends in an error in state: 53. ## ## nsepseq(type_expr,COMMA) -> type_expr . [ RPAR ] ## nsepseq(type_expr,COMMA) -> type_expr . COMMA nsepseq(type_expr,COMMA) [ RPAR ] @@ -3841,16 +3765,16 @@ contract: Type Ident EQ LPAR Ident COMMA Ident VBAR ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 27, spurious reduction of production cartesian -> core_type -## In state 35, spurious reduction of production fun_type -> cartesian -## In state 26, spurious reduction of production type_expr -> fun_type +## In state 28, spurious reduction of production cartesian -> core_type +## In state 36, spurious reduction of production fun_type -> cartesian +## In state 27, spurious reduction of production type_expr -> fun_type ## -contract: Type Ident EQ LPAR Ident COMMA With +contract: Type Ident EQ LPAR String COMMA With ## -## Ends in an error in state: 51. +## Ends in an error in state: 52. ## ## tuple(type_expr) -> type_expr COMMA . nsepseq(type_expr,COMMA) [ RPAR ] ## @@ -3860,9 +3784,9 @@ contract: Type Ident EQ LPAR Ident COMMA With -contract: Type Ident EQ LPAR Ident VBAR +contract: Type Ident EQ LPAR String VBAR ## -## Ends in an error in state: 49. +## Ends in an error in state: 50. ## ## par(type_expr) -> LPAR type_expr . RPAR [ VBAR Type TIMES SEMI RPAR RBRACE Let Ident EQ EOF COMMA ARROW ] ## tuple(type_expr) -> type_expr . COMMA nsepseq(type_expr,COMMA) [ RPAR ] @@ -3874,16 +3798,16 @@ contract: Type Ident EQ LPAR Ident VBAR ## This implies that, although the LR(1) items shown above provide an ## accurate view of the past (what has been recognized so far), they ## may provide an INCOMPLETE view of the future (what was expected next). -## In state 27, spurious reduction of production cartesian -> core_type -## In state 35, spurious reduction of production fun_type -> cartesian -## In state 26, spurious reduction of production type_expr -> fun_type +## In state 28, spurious reduction of production cartesian -> core_type +## In state 36, spurious reduction of production fun_type -> cartesian +## In state 27, spurious reduction of production type_expr -> fun_type ## contract: Type Ident EQ LPAR With ## -## Ends in an error in state: 7. +## Ends in an error in state: 8. ## ## par(tuple(type_expr)) -> LPAR . tuple(type_expr) RPAR [ Ident ] ## par(type_expr) -> LPAR . type_expr RPAR [ VBAR Type TIMES SEMI RPAR RBRACE Let Ident EQ EOF COMMA ARROW ] @@ -3894,6 +3818,82 @@ contract: Type Ident EQ LPAR With +contract: Type Ident EQ String ARROW With +## +## Ends in an error in state: 37. +## +## fun_type -> cartesian ARROW . fun_type [ VBAR Type SEMI RPAR RBRACE Let EQ EOF COMMA ] +## +## The known suffix of the stack is as follows: +## cartesian ARROW +## + + + +contract: Type Ident EQ String TIMES Constr With +## +## Ends in an error in state: 30. +## +## core_type -> Constr . DOT Ident [ VBAR Type TIMES SEMI RPAR RBRACE Let Ident EQ EOF COMMA ARROW ] +## +## The known suffix of the stack is as follows: +## Constr +## + + + +contract: Type Ident EQ String TIMES String TIMES With +## +## Ends in an error in state: 33. +## +## nsepseq(core_type,TIMES) -> core_type TIMES . nsepseq(core_type,TIMES) [ VBAR Type SEMI RPAR RBRACE Let EQ EOF COMMA ARROW ] +## +## The known suffix of the stack is as follows: +## core_type TIMES +## + + + +contract: Type Ident EQ String TIMES String With +## +## Ends in an error in state: 32. +## +## core_type -> core_type . Ident [ VBAR Type TIMES SEMI RPAR RBRACE Let Ident EQ EOF COMMA ARROW ] +## nsepseq(core_type,TIMES) -> core_type . [ VBAR Type SEMI RPAR RBRACE Let EQ EOF COMMA ARROW ] +## nsepseq(core_type,TIMES) -> core_type . TIMES nsepseq(core_type,TIMES) [ VBAR Type SEMI RPAR RBRACE Let EQ EOF COMMA ARROW ] +## +## The known suffix of the stack is as follows: +## core_type +## + + + +contract: Type Ident EQ String TIMES With +## +## Ends in an error in state: 29. +## +## cartesian -> core_type TIMES . nsepseq(core_type,TIMES) [ VBAR Type SEMI RPAR RBRACE Let EQ EOF COMMA ARROW ] +## +## The known suffix of the stack is as follows: +## core_type TIMES +## + + + +contract: Type Ident EQ String With +## +## Ends in an error in state: 28. +## +## cartesian -> core_type . [ VBAR Type SEMI RPAR RBRACE Let EQ EOF COMMA ARROW ] +## cartesian -> core_type . TIMES nsepseq(core_type,TIMES) [ VBAR Type SEMI RPAR RBRACE Let EQ EOF COMMA ARROW ] +## core_type -> core_type . Ident [ VBAR Type TIMES SEMI RPAR RBRACE Let Ident EQ EOF COMMA ARROW ] +## +## The known suffix of the stack is as follows: +## core_type +## + + + contract: Type Ident EQ VBAR Constr With ## ## Ends in an error in state: 5.