From 1ac6835726fe71418048005760e21cb5ded2fb46 Mon Sep 17 00:00:00 2001 From: Sander Spies Date: Fri, 27 Mar 2020 16:29:50 +0100 Subject: [PATCH] Some changes to get around the negative test errors. --- src/passes/1-parser/reasonligo/Parser.mly | 20 +- .../reasonligo/error.messages.checked-in | 2439 +++++++++-------- 2 files changed, 1241 insertions(+), 1218 deletions(-) diff --git a/src/passes/1-parser/reasonligo/Parser.mly b/src/passes/1-parser/reasonligo/Parser.mly index 6e45f5bd8..089dd4765 100644 --- a/src/passes/1-parser/reasonligo/Parser.mly +++ b/src/passes/1-parser/reasonligo/Parser.mly @@ -444,11 +444,11 @@ fun_expr: let region = cover start stop in let rec arg_to_pattern = function - EVar v -> - if v.value = "_" then + EVar v -> + if v.value = "_" then PWild v.region else ( - Scoping.check_reserved_name v; + Scoping.check_reserved_name v; PVar v ) | EAnnot {region; value = {inside = EVar v, colon, typ; _}} -> @@ -652,6 +652,19 @@ let_expr(right_expr): disj_expr_level: disj_expr | conj_expr_level { $1 } +| "_" type_annotation_simple { + let (colon, type_expr) = $2 in + EAnnot { + value = { + inside = ( + EVar { value = "_"; region = $1 }, colon, type_expr + ); + lpar = Region.ghost; + rpar = Region.ghost; + }; + region = Region.ghost; + } +} | par(tuple(disj_expr_level)) type_annotation_simple? { let region = $1.region in let tuple = ETuple {value=$1.value.inside; region} in @@ -782,7 +795,6 @@ common_expr: | "" { EArith (Nat $1) } | "" { EBytes $1 } | "" | module_field { EVar $1 } -| "_" { EVar {value = "_"; region = $1} } | projection { EProj $1 } | update_record { EUpdate $1 } | "" { EString (String $1) } diff --git a/src/passes/1-parser/reasonligo/error.messages.checked-in b/src/passes/1-parser/reasonligo/error.messages.checked-in index 09fac47e9..a6c93721e 100644 --- a/src/passes/1-parser/reasonligo/error.messages.checked-in +++ b/src/passes/1-parser/reasonligo/error.messages.checked-in @@ -1,6 +1,6 @@ interactive_expr: C_None WILD ## -## Ends in an error in state: 173. +## Ends in an error in state: 174. ## ## call_expr_level -> call_expr_level_in . option(type_annotation_simple) [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] ## @@ -10,9 +10,9 @@ interactive_expr: C_None WILD -interactive_expr: C_Some VBAR +interactive_expr: C_Some WILD ## -## Ends in an error in state: 125. +## Ends in an error in state: 145. ## ## constr_expr -> C_Some . core_expr [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] ## @@ -24,7 +24,7 @@ interactive_expr: C_Some VBAR interactive_expr: Constr DOT Ident WILD ## -## Ends in an error in state: 111. +## Ends in an error in state: 131. ## ## module_fun -> Ident . [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE LBRACE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] ## projection -> Constr DOT Ident . selection [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE LBRACE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] @@ -37,7 +37,7 @@ interactive_expr: Constr DOT Ident WILD interactive_expr: Constr DOT WILD ## -## Ends in an error in state: 109. +## Ends in an error in state: 129. ## ## module_field -> Constr DOT . module_fun [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE LBRACE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] ## projection -> Constr DOT . Ident selection [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE LBRACE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] @@ -48,9 +48,9 @@ interactive_expr: Constr DOT WILD -interactive_expr: Constr Switch +interactive_expr: Constr WILD ## -## Ends in an error in state: 108. +## Ends in an error in state: 128. ## ## constr_expr -> Constr . core_expr [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] ## constr_expr -> Constr . [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] @@ -65,7 +65,7 @@ interactive_expr: Constr Switch interactive_expr: Ident DOT Ident WILD ## -## Ends in an error in state: 103. +## Ends in an error in state: 123. ## ## selection -> DOT Ident . selection [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE LBRACE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] ## selection -> DOT Ident . [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE LBRACE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] @@ -78,7 +78,7 @@ interactive_expr: Ident DOT Ident WILD interactive_expr: Ident DOT WILD ## -## Ends in an error in state: 102. +## Ends in an error in state: 122. ## ## selection -> DOT . Ident selection [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE LBRACE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] ## selection -> DOT . Ident [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE LBRACE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] @@ -91,7 +91,7 @@ interactive_expr: Ident DOT WILD interactive_expr: Ident LBRACKET Int RBRACKET WILD ## -## Ends in an error in state: 101. +## Ends in an error in state: 121. ## ## selection -> LBRACKET Int RBRACKET . selection [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE LBRACE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] ## selection -> LBRACKET Int RBRACKET . [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE LBRACE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] @@ -104,7 +104,7 @@ interactive_expr: Ident LBRACKET Int RBRACKET WILD interactive_expr: Ident LBRACKET Int WILD ## -## Ends in an error in state: 100. +## Ends in an error in state: 120. ## ## selection -> LBRACKET Int . RBRACKET selection [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE LBRACE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] ## selection -> LBRACKET Int . RBRACKET [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE LBRACE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] @@ -117,7 +117,7 @@ interactive_expr: Ident LBRACKET Int WILD interactive_expr: Ident LBRACKET WILD ## -## Ends in an error in state: 99. +## Ends in an error in state: 119. ## ## selection -> LBRACKET . Int RBRACKET selection [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE LBRACE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] ## selection -> LBRACKET . Int RBRACKET [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE LBRACE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] @@ -130,7 +130,7 @@ interactive_expr: Ident LBRACKET WILD interactive_expr: Ident WILD ## -## Ends in an error in state: 98. +## Ends in an error in state: 118. ## ## common_expr -> Ident . [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE LBRACE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] ## projection -> Ident . selection [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE LBRACE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] @@ -141,21 +141,9 @@ interactive_expr: Ident WILD -interactive_expr: If LBRACE VBAR +interactive_expr: If LBRACE True VBAR ## -## Ends in an error in state: 227. -## -## parenthesized_expr -> LBRACE . expr RBRACE [ LBRACE ] -## -## The known suffix of the stack is as follows: -## LBRACE -## - - - -interactive_expr: If LBRACE WILD VBAR -## -## Ends in an error in state: 228. +## Ends in an error in state: 229. ## ## parenthesized_expr -> LBRACE expr . RBRACE [ LBRACE ] ## @@ -166,50 +154,38 @@ interactive_expr: If LBRACE WILD 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) ## -interactive_expr: If LPAR VBAR +interactive_expr: If LBRACE VBAR ## -## Ends in an error in state: 97. +## Ends in an error in state: 228. ## -## parenthesized_expr -> LPAR . expr RPAR [ LBRACE ] +## parenthesized_expr -> LBRACE . expr RBRACE [ LBRACE ] ## ## The known suffix of the stack is as follows: -## LPAR +## LBRACE ## -interactive_expr: If LPAR WILD RPAR LBRACE If LPAR Bytes RPAR LBRACE VBAR +interactive_expr: If LPAR True RPAR LBRACE If LPAR Bytes RPAR LBRACE True ARROW Bytes VBAR ## -## Ends in an error in state: 350. -## -## if_then_else(closed_if) -> If parenthesized_expr LBRACE . closed_if option(SEMI) RBRACE Else LBRACE closed_if option(SEMI) RBRACE [ SEMI RBRACE ] -## -## The known suffix of the stack is as follows: -## If parenthesized_expr LBRACE -## - - - -interactive_expr: If LPAR WILD RPAR LBRACE If LPAR Bytes RPAR LBRACE WILD ARROW Bytes VBAR -## -## Ends in an error in state: 408. +## Ends in an error in state: 409. ## ## if_then_else(closed_if) -> If parenthesized_expr LBRACE closed_if . option(SEMI) RBRACE Else LBRACE closed_if option(SEMI) RBRACE [ SEMI RBRACE ] ## @@ -220,42 +196,30 @@ interactive_expr: If LPAR WILD RPAR LBRACE If LPAR Bytes RPAR LBRACE WILD ARROW ## 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) -## In state 216, spurious reduction of production fun_expr -> disj_expr_level ARROW expr -## In state 406, spurious reduction of production base_expr(closed_if) -> fun_expr -## In state 417, spurious reduction of production base_if_then_else__open(closed_if) -> base_expr(closed_if) -## In state 416, spurious reduction of production closed_if -> base_if_then_else__open(closed_if) +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) +## In state 217, spurious reduction of production fun_expr -> disj_expr_level ARROW expr +## In state 407, spurious reduction of production base_expr(closed_if) -> fun_expr +## In state 418, spurious reduction of production base_if_then_else__open(closed_if) -> base_expr(closed_if) +## In state 417, spurious reduction of production closed_if -> base_if_then_else__open(closed_if) ## -interactive_expr: If LPAR WILD RPAR LBRACE If LPAR Bytes RPAR LBRACE WILD RBRACE Else LBRACE VBAR +interactive_expr: If LPAR True RPAR LBRACE If LPAR Bytes RPAR LBRACE True RBRACE Else LBRACE True ARROW Bytes VBAR ## -## Ends in an error in state: 412. -## -## if_then_else(closed_if) -> If parenthesized_expr LBRACE closed_if option(SEMI) RBRACE Else LBRACE . closed_if option(SEMI) RBRACE [ SEMI RBRACE ] -## -## The known suffix of the stack is as follows: -## If parenthesized_expr LBRACE closed_if option(SEMI) RBRACE Else LBRACE -## - - - -interactive_expr: If LPAR WILD RPAR LBRACE If LPAR Bytes RPAR LBRACE WILD RBRACE Else LBRACE WILD ARROW Bytes VBAR -## -## Ends in an error in state: 413. +## Ends in an error in state: 414. ## ## if_then_else(closed_if) -> If parenthesized_expr LBRACE closed_if option(SEMI) RBRACE Else LBRACE closed_if . option(SEMI) RBRACE [ SEMI RBRACE ] ## @@ -266,30 +230,30 @@ interactive_expr: If LPAR WILD RPAR LBRACE If LPAR Bytes RPAR LBRACE WILD RBRACE ## 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) -## In state 216, spurious reduction of production fun_expr -> disj_expr_level ARROW expr -## In state 406, spurious reduction of production base_expr(closed_if) -> fun_expr -## In state 417, spurious reduction of production base_if_then_else__open(closed_if) -> base_expr(closed_if) -## In state 416, spurious reduction of production closed_if -> base_if_then_else__open(closed_if) +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) +## In state 217, spurious reduction of production fun_expr -> disj_expr_level ARROW expr +## In state 407, spurious reduction of production base_expr(closed_if) -> fun_expr +## In state 418, spurious reduction of production base_if_then_else__open(closed_if) -> base_expr(closed_if) +## In state 417, spurious reduction of production closed_if -> base_if_then_else__open(closed_if) ## -interactive_expr: If LPAR WILD RPAR LBRACE If LPAR Bytes RPAR LBRACE WILD RBRACE Else LBRACE WILD SEMI PLUS +interactive_expr: If LPAR True RPAR LBRACE If LPAR Bytes RPAR LBRACE True RBRACE Else LBRACE True SEMI PLUS ## -## Ends in an error in state: 414. +## Ends in an error in state: 415. ## ## if_then_else(closed_if) -> If parenthesized_expr LBRACE closed_if option(SEMI) RBRACE Else LBRACE closed_if option(SEMI) . RBRACE [ SEMI RBRACE ] ## @@ -299,9 +263,21 @@ interactive_expr: If LPAR WILD RPAR LBRACE If LPAR Bytes RPAR LBRACE WILD RBRACE -interactive_expr: If LPAR WILD RPAR LBRACE If LPAR Bytes RPAR LBRACE WILD RBRACE Else WILD +interactive_expr: If LPAR True RPAR LBRACE If LPAR Bytes RPAR LBRACE True RBRACE Else LBRACE VBAR ## -## Ends in an error in state: 411. +## Ends in an error in state: 413. +## +## if_then_else(closed_if) -> If parenthesized_expr LBRACE closed_if option(SEMI) RBRACE Else LBRACE . closed_if option(SEMI) RBRACE [ SEMI RBRACE ] +## +## The known suffix of the stack is as follows: +## If parenthesized_expr LBRACE closed_if option(SEMI) RBRACE Else LBRACE +## + + + +interactive_expr: If LPAR True RPAR LBRACE If LPAR Bytes RPAR LBRACE True RBRACE Else WILD +## +## Ends in an error in state: 412. ## ## if_then_else(closed_if) -> If parenthesized_expr LBRACE closed_if option(SEMI) RBRACE Else . LBRACE closed_if option(SEMI) RBRACE [ SEMI RBRACE ] ## @@ -311,9 +287,9 @@ interactive_expr: If LPAR WILD RPAR LBRACE If LPAR Bytes RPAR LBRACE WILD RBRACE -interactive_expr: If LPAR WILD RPAR LBRACE If LPAR Bytes RPAR LBRACE WILD RBRACE WILD +interactive_expr: If LPAR True RPAR LBRACE If LPAR Bytes RPAR LBRACE True RBRACE WILD ## -## Ends in an error in state: 410. +## Ends in an error in state: 411. ## ## if_then_else(closed_if) -> If parenthesized_expr LBRACE closed_if option(SEMI) RBRACE . Else LBRACE closed_if option(SEMI) RBRACE [ SEMI RBRACE ] ## @@ -323,9 +299,9 @@ interactive_expr: If LPAR WILD RPAR LBRACE If LPAR Bytes RPAR LBRACE WILD RBRACE -interactive_expr: If LPAR WILD RPAR LBRACE If LPAR Bytes RPAR LBRACE WILD SEMI PLUS +interactive_expr: If LPAR True RPAR LBRACE If LPAR Bytes RPAR LBRACE True SEMI PLUS ## -## Ends in an error in state: 409. +## Ends in an error in state: 410. ## ## if_then_else(closed_if) -> If parenthesized_expr LBRACE closed_if option(SEMI) . RBRACE Else LBRACE closed_if option(SEMI) RBRACE [ SEMI RBRACE ] ## @@ -335,9 +311,21 @@ interactive_expr: If LPAR WILD RPAR LBRACE If LPAR Bytes RPAR LBRACE WILD SEMI P -interactive_expr: If LPAR WILD RPAR LBRACE If LPAR Bytes RPAR WILD +interactive_expr: If LPAR True RPAR LBRACE If LPAR Bytes RPAR LBRACE VBAR ## -## Ends in an error in state: 349. +## Ends in an error in state: 351. +## +## if_then_else(closed_if) -> If parenthesized_expr LBRACE . closed_if option(SEMI) RBRACE Else LBRACE closed_if option(SEMI) RBRACE [ SEMI RBRACE ] +## +## The known suffix of the stack is as follows: +## If parenthesized_expr LBRACE +## + + + +interactive_expr: If LPAR True RPAR LBRACE If LPAR Bytes RPAR WILD +## +## Ends in an error in state: 350. ## ## if_then_else(closed_if) -> If parenthesized_expr . LBRACE closed_if option(SEMI) RBRACE Else LBRACE closed_if option(SEMI) RBRACE [ SEMI RBRACE ] ## @@ -347,9 +335,9 @@ interactive_expr: If LPAR WILD RPAR LBRACE If LPAR Bytes RPAR WILD -interactive_expr: If LPAR WILD RPAR LBRACE If WILD +interactive_expr: If LPAR True RPAR LBRACE If WILD ## -## Ends in an error in state: 348. +## Ends in an error in state: 349. ## ## if_then_else(closed_if) -> If . parenthesized_expr LBRACE closed_if option(SEMI) RBRACE Else LBRACE closed_if option(SEMI) RBRACE [ SEMI RBRACE ] ## @@ -359,21 +347,9 @@ interactive_expr: If LPAR WILD RPAR LBRACE If WILD -interactive_expr: If LPAR WILD RPAR LBRACE Switch VBAR +interactive_expr: If LPAR True RPAR LBRACE Switch True LBRACE VBAR VBAR ## -## Ends in an error in state: 232. -## -## switch_expr(base_if_then_else) -> Switch . switch_expr_ LBRACE cases(base_if_then_else) RBRACE [ SEMI RBRACE ] -## -## The known suffix of the stack is as follows: -## Switch -## - - - -interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR VBAR -## -## Ends in an error in state: 275. +## Ends in an error in state: 276. ## ## case_clause(base_if_then_else) -> VBAR . pattern ARROW base_if_then_else option(SEMI) [ VBAR RBRACE ] ## @@ -383,9 +359,9 @@ interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR VBAR -interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD ARROW Bytes SEMI WILD +interactive_expr: If LPAR True RPAR LBRACE Switch True LBRACE VBAR WILD ARROW Bytes SEMI WILD ## -## Ends in an error in state: 437. +## Ends in an error in state: 438. ## ## nseq(case_clause(base_if_then_else)) -> case_clause(base_if_then_else) . seq(case_clause(base_if_then_else)) [ RBRACE ] ## @@ -395,9 +371,9 @@ interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD ARROW By -interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD ARROW Bytes VBAR Bytes ARROW Bytes SEMI WILD +interactive_expr: If LPAR True RPAR LBRACE Switch True LBRACE VBAR WILD ARROW Bytes VBAR Bytes ARROW Bytes SEMI WILD ## -## Ends in an error in state: 439. +## Ends in an error in state: 440. ## ## seq(case_clause(base_if_then_else)) -> case_clause(base_if_then_else) . seq(case_clause(base_if_then_else)) [ RBRACE ] ## @@ -407,21 +383,9 @@ interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD ARROW By -interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD ARROW If LPAR Bytes RPAR LBRACE VBAR +interactive_expr: If LPAR True RPAR LBRACE Switch True LBRACE VBAR WILD ARROW If LPAR Bytes RPAR LBRACE True ARROW Bytes VBAR ## -## Ends in an error in state: 347. -## -## if_then_else(base_if_then_else) -> If parenthesized_expr LBRACE . closed_if option(SEMI) RBRACE Else LBRACE base_if_then_else option(SEMI) RBRACE [ VBAR SEMI RBRACE ] -## -## The known suffix of the stack is as follows: -## If parenthesized_expr LBRACE -## - - - -interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD ARROW If LPAR Bytes RPAR LBRACE WILD ARROW Bytes VBAR -## -## Ends in an error in state: 418. +## Ends in an error in state: 419. ## ## if_then_else(base_if_then_else) -> If parenthesized_expr LBRACE closed_if . option(SEMI) RBRACE Else LBRACE base_if_then_else option(SEMI) RBRACE [ VBAR SEMI RBRACE ] ## @@ -432,42 +396,30 @@ interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD ARROW If ## 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) -## In state 216, spurious reduction of production fun_expr -> disj_expr_level ARROW expr -## In state 406, spurious reduction of production base_expr(closed_if) -> fun_expr -## In state 417, spurious reduction of production base_if_then_else__open(closed_if) -> base_expr(closed_if) -## In state 416, spurious reduction of production closed_if -> base_if_then_else__open(closed_if) +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) +## In state 217, spurious reduction of production fun_expr -> disj_expr_level ARROW expr +## In state 407, spurious reduction of production base_expr(closed_if) -> fun_expr +## In state 418, spurious reduction of production base_if_then_else__open(closed_if) -> base_expr(closed_if) +## In state 417, spurious reduction of production closed_if -> base_if_then_else__open(closed_if) ## -interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD ARROW If LPAR Bytes RPAR LBRACE WILD RBRACE Else LBRACE VBAR +interactive_expr: If LPAR True RPAR LBRACE Switch True LBRACE VBAR WILD ARROW If LPAR Bytes RPAR LBRACE True RBRACE Else LBRACE True SEMI PLUS ## -## Ends in an error in state: 422. -## -## if_then_else(base_if_then_else) -> If parenthesized_expr LBRACE closed_if option(SEMI) RBRACE Else LBRACE . base_if_then_else option(SEMI) RBRACE [ VBAR SEMI RBRACE ] -## -## The known suffix of the stack is as follows: -## If parenthesized_expr LBRACE closed_if option(SEMI) RBRACE Else LBRACE -## - - - -interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD ARROW If LPAR Bytes RPAR LBRACE WILD RBRACE Else LBRACE WILD SEMI PLUS -## -## Ends in an error in state: 428. +## Ends in an error in state: 429. ## ## if_then_else(base_if_then_else) -> If parenthesized_expr LBRACE closed_if option(SEMI) RBRACE Else LBRACE base_if_then_else option(SEMI) . RBRACE [ VBAR SEMI RBRACE ] ## @@ -477,9 +429,9 @@ interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD ARROW If -interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD ARROW If LPAR Bytes RPAR LBRACE WILD RBRACE Else LBRACE WILD VBAR +interactive_expr: If LPAR True RPAR LBRACE Switch True LBRACE VBAR WILD ARROW If LPAR Bytes RPAR LBRACE True RBRACE Else LBRACE True VBAR ## -## Ends in an error in state: 427. +## Ends in an error in state: 428. ## ## if_then_else(base_if_then_else) -> If parenthesized_expr LBRACE closed_if option(SEMI) RBRACE Else LBRACE base_if_then_else . option(SEMI) RBRACE [ VBAR SEMI RBRACE ] ## @@ -490,26 +442,38 @@ interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD ARROW If ## 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 425, spurious reduction of production base_expr(base_if_then_else) -> disj_expr_level -## In state 430, spurious reduction of production base_if_then_else__open(base_if_then_else) -> base_expr(base_if_then_else) -## In state 426, spurious reduction of production base_if_then_else -> base_if_then_else__open(base_if_then_else) +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 426, spurious reduction of production base_expr(base_if_then_else) -> disj_expr_level +## In state 431, spurious reduction of production base_if_then_else__open(base_if_then_else) -> base_expr(base_if_then_else) +## In state 427, spurious reduction of production base_if_then_else -> base_if_then_else__open(base_if_then_else) ## -interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD ARROW If LPAR Bytes RPAR LBRACE WILD RBRACE Else WILD +interactive_expr: If LPAR True RPAR LBRACE Switch True LBRACE VBAR WILD ARROW If LPAR Bytes RPAR LBRACE True RBRACE Else LBRACE VBAR ## -## Ends in an error in state: 421. +## Ends in an error in state: 423. +## +## if_then_else(base_if_then_else) -> If parenthesized_expr LBRACE closed_if option(SEMI) RBRACE Else LBRACE . base_if_then_else option(SEMI) RBRACE [ VBAR SEMI RBRACE ] +## +## The known suffix of the stack is as follows: +## If parenthesized_expr LBRACE closed_if option(SEMI) RBRACE Else LBRACE +## + + + +interactive_expr: If LPAR True RPAR LBRACE Switch True LBRACE VBAR WILD ARROW If LPAR Bytes RPAR LBRACE True RBRACE Else WILD +## +## Ends in an error in state: 422. ## ## if_then_else(base_if_then_else) -> If parenthesized_expr LBRACE closed_if option(SEMI) RBRACE Else . LBRACE base_if_then_else option(SEMI) RBRACE [ VBAR SEMI RBRACE ] ## @@ -519,9 +483,9 @@ interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD ARROW If -interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD ARROW If LPAR Bytes RPAR LBRACE WILD RBRACE WILD +interactive_expr: If LPAR True RPAR LBRACE Switch True LBRACE VBAR WILD ARROW If LPAR Bytes RPAR LBRACE True RBRACE WILD ## -## Ends in an error in state: 420. +## Ends in an error in state: 421. ## ## if_then_else(base_if_then_else) -> If parenthesized_expr LBRACE closed_if option(SEMI) RBRACE . Else LBRACE base_if_then_else option(SEMI) RBRACE [ VBAR SEMI RBRACE ] ## @@ -531,9 +495,9 @@ interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD ARROW If -interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD ARROW If LPAR Bytes RPAR LBRACE WILD SEMI PLUS +interactive_expr: If LPAR True RPAR LBRACE Switch True LBRACE VBAR WILD ARROW If LPAR Bytes RPAR LBRACE True SEMI PLUS ## -## Ends in an error in state: 419. +## Ends in an error in state: 420. ## ## if_then_else(base_if_then_else) -> If parenthesized_expr LBRACE closed_if option(SEMI) . RBRACE Else LBRACE base_if_then_else option(SEMI) RBRACE [ VBAR SEMI RBRACE ] ## @@ -543,9 +507,21 @@ interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD ARROW If -interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD ARROW If LPAR Bytes RPAR WILD +interactive_expr: If LPAR True RPAR LBRACE Switch True LBRACE VBAR WILD ARROW If LPAR Bytes RPAR LBRACE VBAR ## -## Ends in an error in state: 346. +## Ends in an error in state: 348. +## +## if_then_else(base_if_then_else) -> If parenthesized_expr LBRACE . closed_if option(SEMI) RBRACE Else LBRACE base_if_then_else option(SEMI) RBRACE [ VBAR SEMI RBRACE ] +## +## The known suffix of the stack is as follows: +## If parenthesized_expr LBRACE +## + + + +interactive_expr: If LPAR True RPAR LBRACE Switch True LBRACE VBAR WILD ARROW If LPAR Bytes RPAR WILD +## +## Ends in an error in state: 347. ## ## if_then_else(base_if_then_else) -> If parenthesized_expr . LBRACE closed_if option(SEMI) RBRACE Else LBRACE base_if_then_else option(SEMI) RBRACE [ VBAR SEMI RBRACE ] ## @@ -555,9 +531,9 @@ interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD ARROW If -interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD ARROW If WILD +interactive_expr: If LPAR True RPAR LBRACE Switch True LBRACE VBAR WILD ARROW If WILD ## -## Ends in an error in state: 345. +## Ends in an error in state: 346. ## ## if_then_else(base_if_then_else) -> If . parenthesized_expr LBRACE closed_if option(SEMI) RBRACE Else LBRACE base_if_then_else option(SEMI) RBRACE [ VBAR SEMI RBRACE ] ## @@ -567,21 +543,9 @@ interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD ARROW If -interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD ARROW VBAR +interactive_expr: If LPAR True RPAR LBRACE Switch True LBRACE VBAR WILD ARROW True ARROW Bytes Type ## -## Ends in an error in state: 344. -## -## case_clause(base_if_then_else) -> VBAR pattern ARROW . base_if_then_else option(SEMI) [ VBAR RBRACE ] -## -## The known suffix of the stack is as follows: -## VBAR pattern ARROW -## - - - -interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD ARROW WILD ARROW Bytes Type -## -## Ends in an error in state: 431. +## Ends in an error in state: 432. ## ## case_clause(base_if_then_else) -> VBAR pattern ARROW base_if_then_else . option(SEMI) [ VBAR RBRACE ] ## @@ -592,30 +556,30 @@ interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD ARROW WI ## 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) -## In state 216, spurious reduction of production fun_expr -> disj_expr_level ARROW expr -## In state 424, spurious reduction of production base_expr(base_if_then_else) -> fun_expr -## In state 430, spurious reduction of production base_if_then_else__open(base_if_then_else) -> base_expr(base_if_then_else) -## In state 426, spurious reduction of production base_if_then_else -> base_if_then_else__open(base_if_then_else) +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) +## In state 217, spurious reduction of production fun_expr -> disj_expr_level ARROW expr +## In state 425, spurious reduction of production base_expr(base_if_then_else) -> fun_expr +## In state 431, spurious reduction of production base_if_then_else__open(base_if_then_else) -> base_expr(base_if_then_else) +## In state 427, spurious reduction of production base_if_then_else -> base_if_then_else__open(base_if_then_else) ## -interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD ARROW WILD Type +interactive_expr: If LPAR True RPAR LBRACE Switch True LBRACE VBAR WILD ARROW True Type ## -## Ends in an error in state: 425. +## Ends in an error in state: 426. ## ## base_expr(base_if_then_else) -> disj_expr_level . [ VBAR SEMI RBRACE ] ## bin_op(disj_expr_level,BOOL_OR,conj_expr_level) -> disj_expr_level . BOOL_OR conj_expr_level [ VBAR SEMI RBRACE Or BOOL_OR ARROW ] @@ -629,23 +593,35 @@ interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD ARROW WI ## 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level ## -interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD COMMA Bytes RPAR +interactive_expr: If LPAR True RPAR LBRACE Switch True LBRACE VBAR WILD ARROW VBAR ## -## Ends in an error in state: 343. +## Ends in an error in state: 345. +## +## case_clause(base_if_then_else) -> VBAR pattern ARROW . base_if_then_else option(SEMI) [ VBAR RBRACE ] +## +## The known suffix of the stack is as follows: +## VBAR pattern ARROW +## + + + +interactive_expr: If LPAR True RPAR LBRACE Switch True LBRACE VBAR WILD COMMA Bytes RPAR +## +## Ends in an error in state: 344. ## ## case_clause(base_if_then_else) -> VBAR pattern . ARROW base_if_then_else option(SEMI) [ VBAR RBRACE ] ## @@ -656,16 +632,16 @@ interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE VBAR WILD COMMA By ## 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 329, spurious reduction of production nsepseq(sub_pattern,COMMA) -> sub_pattern -## In state 332, spurious reduction of production tuple(sub_pattern) -> sub_pattern COMMA nsepseq(sub_pattern,COMMA) -## In state 341, spurious reduction of production pattern -> tuple(sub_pattern) +## In state 330, spurious reduction of production nsepseq(sub_pattern,COMMA) -> sub_pattern +## In state 333, spurious reduction of production tuple(sub_pattern) -> sub_pattern COMMA nsepseq(sub_pattern,COMMA) +## In state 342, spurious reduction of production pattern -> tuple(sub_pattern) ## -interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE WILD +interactive_expr: If LPAR True RPAR LBRACE Switch True LBRACE WILD ## -## Ends in an error in state: 274. +## Ends in an error in state: 275. ## ## switch_expr(base_if_then_else) -> Switch switch_expr_ LBRACE . cases(base_if_then_else) RBRACE [ SEMI RBRACE ] ## @@ -675,9 +651,9 @@ interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD LBRACE WILD -interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD WILD +interactive_expr: If LPAR True RPAR LBRACE Switch True WILD ## -## Ends in an error in state: 273. +## Ends in an error in state: 274. ## ## switch_expr(base_if_then_else) -> Switch switch_expr_ . LBRACE cases(base_if_then_else) RBRACE [ SEMI RBRACE ] ## @@ -687,22 +663,21 @@ interactive_expr: If LPAR WILD RPAR LBRACE Switch WILD WILD -interactive_expr: If LPAR WILD RPAR LBRACE VBAR +interactive_expr: If LPAR True RPAR LBRACE Switch WILD ## -## Ends in an error in state: 231. +## Ends in an error in state: 233. ## -## if_then(expr_with_let_expr) -> If parenthesized_expr LBRACE . closed_if option(SEMI) RBRACE [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] -## if_then_else(expr_with_let_expr) -> If parenthesized_expr LBRACE . closed_if option(SEMI) RBRACE Else LBRACE expr_with_let_expr option(SEMI) RBRACE [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] +## switch_expr(base_if_then_else) -> Switch . switch_expr_ LBRACE cases(base_if_then_else) RBRACE [ SEMI RBRACE ] ## ## The known suffix of the stack is as follows: -## If parenthesized_expr LBRACE +## Switch ## -interactive_expr: If LPAR WILD RPAR LBRACE WILD ARROW Bytes VBAR +interactive_expr: If LPAR True RPAR LBRACE True ARROW Bytes VBAR ## -## Ends in an error in state: 445. +## Ends in an error in state: 446. ## ## if_then(expr_with_let_expr) -> If parenthesized_expr LBRACE closed_if . option(SEMI) RBRACE [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] ## if_then_else(expr_with_let_expr) -> If parenthesized_expr LBRACE closed_if . option(SEMI) RBRACE Else LBRACE expr_with_let_expr option(SEMI) RBRACE [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] @@ -714,42 +689,30 @@ interactive_expr: If LPAR WILD RPAR LBRACE WILD ARROW 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) -## In state 216, spurious reduction of production fun_expr -> disj_expr_level ARROW expr -## In state 406, spurious reduction of production base_expr(closed_if) -> fun_expr -## In state 417, spurious reduction of production base_if_then_else__open(closed_if) -> base_expr(closed_if) -## In state 416, spurious reduction of production closed_if -> base_if_then_else__open(closed_if) +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) +## In state 217, spurious reduction of production fun_expr -> disj_expr_level ARROW expr +## In state 407, spurious reduction of production base_expr(closed_if) -> fun_expr +## In state 418, spurious reduction of production base_if_then_else__open(closed_if) -> base_expr(closed_if) +## In state 417, spurious reduction of production closed_if -> base_if_then_else__open(closed_if) ## -interactive_expr: If LPAR WILD RPAR LBRACE WILD RBRACE Else LBRACE VBAR +interactive_expr: If LPAR True RPAR LBRACE True RBRACE Else LBRACE True SEMI PLUS ## -## Ends in an error in state: 449. -## -## if_then_else(expr_with_let_expr) -> If parenthesized_expr LBRACE closed_if option(SEMI) RBRACE Else LBRACE . expr_with_let_expr option(SEMI) RBRACE [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] -## -## The known suffix of the stack is as follows: -## If parenthesized_expr LBRACE closed_if option(SEMI) RBRACE Else LBRACE -## - - - -interactive_expr: If LPAR WILD RPAR LBRACE WILD RBRACE Else LBRACE WILD SEMI PLUS -## -## Ends in an error in state: 451. +## Ends in an error in state: 452. ## ## if_then_else(expr_with_let_expr) -> If parenthesized_expr LBRACE closed_if option(SEMI) RBRACE Else LBRACE expr_with_let_expr option(SEMI) . RBRACE [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] ## @@ -759,9 +722,9 @@ interactive_expr: If LPAR WILD RPAR LBRACE WILD RBRACE Else LBRACE WILD SEMI PLU -interactive_expr: If LPAR WILD RPAR LBRACE WILD RBRACE Else LBRACE WILD VBAR +interactive_expr: If LPAR True RPAR LBRACE True RBRACE Else LBRACE True VBAR ## -## Ends in an error in state: 450. +## Ends in an error in state: 451. ## ## if_then_else(expr_with_let_expr) -> If parenthesized_expr LBRACE closed_if option(SEMI) RBRACE Else LBRACE expr_with_let_expr . option(SEMI) RBRACE [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] ## @@ -772,27 +735,39 @@ interactive_expr: If LPAR WILD RPAR LBRACE WILD RBRACE Else LBRACE WILD 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) -## In state 400, spurious reduction of production expr_with_let_expr -> expr +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) +## In state 401, spurious reduction of production expr_with_let_expr -> expr ## -interactive_expr: If LPAR WILD RPAR LBRACE WILD RBRACE Else WILD +interactive_expr: If LPAR True RPAR LBRACE True RBRACE Else LBRACE VBAR ## -## Ends in an error in state: 448. +## Ends in an error in state: 450. +## +## if_then_else(expr_with_let_expr) -> If parenthesized_expr LBRACE closed_if option(SEMI) RBRACE Else LBRACE . expr_with_let_expr option(SEMI) RBRACE [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] +## +## The known suffix of the stack is as follows: +## If parenthesized_expr LBRACE closed_if option(SEMI) RBRACE Else LBRACE +## + + + +interactive_expr: If LPAR True RPAR LBRACE True RBRACE Else WILD +## +## Ends in an error in state: 449. ## ## if_then_else(expr_with_let_expr) -> If parenthesized_expr LBRACE closed_if option(SEMI) RBRACE Else . LBRACE expr_with_let_expr option(SEMI) RBRACE [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] ## @@ -802,9 +777,9 @@ interactive_expr: If LPAR WILD RPAR LBRACE WILD RBRACE Else WILD -interactive_expr: If LPAR WILD RPAR LBRACE WILD RBRACE WILD +interactive_expr: If LPAR True RPAR LBRACE True RBRACE WILD ## -## Ends in an error in state: 447. +## Ends in an error in state: 448. ## ## if_then(expr_with_let_expr) -> If parenthesized_expr LBRACE closed_if option(SEMI) RBRACE . [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] ## if_then_else(expr_with_let_expr) -> If parenthesized_expr LBRACE closed_if option(SEMI) RBRACE . Else LBRACE expr_with_let_expr option(SEMI) RBRACE [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] @@ -815,9 +790,9 @@ interactive_expr: If LPAR WILD RPAR LBRACE WILD RBRACE WILD -interactive_expr: If LPAR WILD RPAR LBRACE WILD SEMI PLUS +interactive_expr: If LPAR True RPAR LBRACE True SEMI PLUS ## -## Ends in an error in state: 446. +## Ends in an error in state: 447. ## ## if_then(expr_with_let_expr) -> If parenthesized_expr LBRACE closed_if option(SEMI) . RBRACE [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] ## if_then_else(expr_with_let_expr) -> If parenthesized_expr LBRACE closed_if option(SEMI) . RBRACE Else LBRACE expr_with_let_expr option(SEMI) RBRACE [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] @@ -828,9 +803,9 @@ interactive_expr: If LPAR WILD RPAR LBRACE WILD SEMI PLUS -interactive_expr: If LPAR WILD RPAR LBRACE WILD VBAR +interactive_expr: If LPAR True RPAR LBRACE True VBAR ## -## Ends in an error in state: 407. +## Ends in an error in state: 408. ## ## base_expr(closed_if) -> disj_expr_level . [ SEMI RBRACE ] ## bin_op(disj_expr_level,BOOL_OR,conj_expr_level) -> disj_expr_level . BOOL_OR conj_expr_level [ SEMI RBRACE Or BOOL_OR ARROW ] @@ -844,23 +819,36 @@ interactive_expr: If LPAR WILD RPAR LBRACE WILD 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level ## -interactive_expr: If LPAR WILD RPAR WILD +interactive_expr: If LPAR True RPAR LBRACE VBAR ## -## Ends in an error in state: 230. +## Ends in an error in state: 232. +## +## if_then(expr_with_let_expr) -> If parenthesized_expr LBRACE . closed_if option(SEMI) RBRACE [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] +## if_then_else(expr_with_let_expr) -> If parenthesized_expr LBRACE . closed_if option(SEMI) RBRACE Else LBRACE expr_with_let_expr option(SEMI) RBRACE [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] +## +## The known suffix of the stack is as follows: +## If parenthesized_expr LBRACE +## + + + +interactive_expr: If LPAR True RPAR WILD +## +## Ends in an error in state: 231. ## ## if_then(expr_with_let_expr) -> If parenthesized_expr . LBRACE closed_if option(SEMI) RBRACE [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] ## if_then_else(expr_with_let_expr) -> If parenthesized_expr . LBRACE closed_if option(SEMI) RBRACE Else LBRACE expr_with_let_expr option(SEMI) RBRACE [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] @@ -871,9 +859,9 @@ interactive_expr: If LPAR WILD RPAR WILD -interactive_expr: If LPAR WILD VBAR +interactive_expr: If LPAR True VBAR ## -## Ends in an error in state: 225. +## Ends in an error in state: 226. ## ## parenthesized_expr -> LPAR expr . RPAR [ LBRACE ] ## @@ -884,26 +872,38 @@ interactive_expr: If LPAR WILD 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) +## + + + +interactive_expr: If LPAR VBAR +## +## Ends in an error in state: 117. +## +## parenthesized_expr -> LPAR . expr RPAR [ LBRACE ] +## +## The known suffix of the stack is as follows: +## LPAR ## interactive_expr: If WILD ## -## Ends in an error in state: 96. +## Ends in an error in state: 116. ## ## if_then(expr_with_let_expr) -> If . parenthesized_expr LBRACE closed_if option(SEMI) RBRACE [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] ## if_then_else(expr_with_let_expr) -> If . parenthesized_expr LBRACE closed_if option(SEMI) RBRACE Else LBRACE expr_with_let_expr option(SEMI) RBRACE [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] @@ -916,7 +916,7 @@ interactive_expr: If WILD interactive_expr: LBRACE ELLIPSIS Constr DOT Ident WILD ## -## Ends in an error in state: 251. +## Ends in an error in state: 252. ## ## projection -> Constr DOT Ident . selection [ COMMA ] ## @@ -928,7 +928,7 @@ interactive_expr: LBRACE ELLIPSIS Constr DOT Ident WILD interactive_expr: LBRACE ELLIPSIS Constr DOT WILD ## -## Ends in an error in state: 250. +## Ends in an error in state: 251. ## ## projection -> Constr DOT . Ident selection [ COMMA ] ## @@ -940,7 +940,7 @@ interactive_expr: LBRACE ELLIPSIS Constr DOT WILD interactive_expr: LBRACE ELLIPSIS Constr WILD ## -## Ends in an error in state: 249. +## Ends in an error in state: 250. ## ## projection -> Constr . DOT Ident selection [ COMMA ] ## @@ -952,7 +952,7 @@ interactive_expr: LBRACE ELLIPSIS Constr WILD interactive_expr: LBRACE ELLIPSIS Ident COMMA Ident COLON Bytes VBAR ## -## Ends in an error in state: 266. +## Ends in an error in state: 267. ## ## nsepseq(field_path_assignment,COMMA) -> field_path_assignment . [ RBRACE ] ## nsepseq(field_path_assignment,COMMA) -> field_path_assignment . COMMA nsepseq(field_path_assignment,COMMA) [ RBRACE ] @@ -965,27 +965,27 @@ interactive_expr: LBRACE ELLIPSIS Ident COMMA Ident COLON 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) -## In state 265, spurious reduction of production field_path_assignment -> nsepseq(field_name,DOT) COLON expr +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) +## In state 266, spurious reduction of production field_path_assignment -> nsepseq(field_name,DOT) COLON expr ## interactive_expr: LBRACE ELLIPSIS Ident COMMA Ident COLON VBAR ## -## Ends in an error in state: 264. +## Ends in an error in state: 265. ## ## field_path_assignment -> nsepseq(field_name,DOT) COLON . expr [ RBRACE COMMA ] ## @@ -997,7 +997,7 @@ interactive_expr: LBRACE ELLIPSIS Ident COMMA Ident COLON VBAR interactive_expr: LBRACE ELLIPSIS Ident COMMA Ident COMMA Ident COLON Bytes VBAR ## -## Ends in an error in state: 270. +## Ends in an error in state: 271. ## ## nsepseq(field_path_assignment,COMMA) -> field_path_assignment . [ RBRACE ] ## nsepseq(field_path_assignment,COMMA) -> field_path_assignment . COMMA nsepseq(field_path_assignment,COMMA) [ RBRACE ] @@ -1010,27 +1010,27 @@ interactive_expr: LBRACE ELLIPSIS Ident COMMA Ident COMMA Ident COLON 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) -## In state 265, spurious reduction of production field_path_assignment -> nsepseq(field_name,DOT) COLON expr +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) +## In state 266, spurious reduction of production field_path_assignment -> nsepseq(field_name,DOT) COLON expr ## interactive_expr: LBRACE ELLIPSIS Ident COMMA Ident COMMA Ident COMMA WILD ## -## Ends in an error in state: 271. +## Ends in an error in state: 272. ## ## nsepseq(field_path_assignment,COMMA) -> field_path_assignment COMMA . nsepseq(field_path_assignment,COMMA) [ RBRACE ] ## seq(__anonymous_0(field_path_assignment,COMMA)) -> field_path_assignment COMMA . seq(__anonymous_0(field_path_assignment,COMMA)) [ RBRACE ] @@ -1043,7 +1043,7 @@ interactive_expr: LBRACE ELLIPSIS Ident COMMA Ident COMMA Ident COMMA WILD interactive_expr: LBRACE ELLIPSIS Ident COMMA Ident COMMA WILD ## -## Ends in an error in state: 267. +## Ends in an error in state: 268. ## ## nsepseq(field_path_assignment,COMMA) -> field_path_assignment COMMA . nsepseq(field_path_assignment,COMMA) [ RBRACE ] ## nseq(__anonymous_0(field_path_assignment,COMMA)) -> field_path_assignment COMMA . seq(__anonymous_0(field_path_assignment,COMMA)) [ RBRACE ] @@ -1056,7 +1056,7 @@ interactive_expr: LBRACE ELLIPSIS Ident COMMA Ident COMMA WILD interactive_expr: LBRACE ELLIPSIS Ident COMMA Ident DOT Ident WILD ## -## Ends in an error in state: 257. +## Ends in an error in state: 258. ## ## nsepseq(field_name,DOT) -> Ident . [ COLON ] ## nsepseq(field_name,DOT) -> Ident . DOT nsepseq(field_name,DOT) [ COLON ] @@ -1069,7 +1069,7 @@ interactive_expr: LBRACE ELLIPSIS Ident COMMA Ident DOT Ident WILD interactive_expr: LBRACE ELLIPSIS Ident COMMA Ident DOT WILD ## -## Ends in an error in state: 256. +## Ends in an error in state: 257. ## ## nsepseq(field_name,DOT) -> Ident DOT . nsepseq(field_name,DOT) [ COLON ] ## @@ -1081,7 +1081,7 @@ interactive_expr: LBRACE ELLIPSIS Ident COMMA Ident DOT WILD interactive_expr: LBRACE ELLIPSIS Ident COMMA Ident WILD ## -## Ends in an error in state: 255. +## Ends in an error in state: 256. ## ## field_path_assignment -> Ident . [ RBRACE COMMA ] ## nsepseq(field_name,DOT) -> Ident . [ COLON ] @@ -1095,7 +1095,7 @@ interactive_expr: LBRACE ELLIPSIS Ident COMMA Ident WILD interactive_expr: LBRACE ELLIPSIS Ident COMMA WILD ## -## Ends in an error in state: 254. +## Ends in an error in state: 255. ## ## update_record -> LBRACE ELLIPSIS path COMMA . sep_or_term_list(field_path_assignment,COMMA) RBRACE [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE LBRACE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] ## @@ -1107,7 +1107,7 @@ interactive_expr: LBRACE ELLIPSIS Ident COMMA WILD interactive_expr: LBRACE ELLIPSIS Ident DOT Ident VBAR ## -## Ends in an error in state: 253. +## Ends in an error in state: 254. ## ## update_record -> LBRACE ELLIPSIS path . COMMA sep_or_term_list(field_path_assignment,COMMA) RBRACE [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE LBRACE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] ## @@ -1118,16 +1118,16 @@ interactive_expr: LBRACE ELLIPSIS 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 103, spurious reduction of production selection -> DOT Ident -## In state 106, spurious reduction of production projection -> Ident selection -## In state 252, spurious reduction of production path -> projection +## In state 123, spurious reduction of production selection -> DOT Ident +## In state 126, spurious reduction of production projection -> Ident selection +## In state 253, spurious reduction of production path -> projection ## interactive_expr: LBRACE ELLIPSIS Ident WILD ## -## Ends in an error in state: 248. +## Ends in an error in state: 249. ## ## path -> Ident . [ COMMA ] ## projection -> Ident . selection [ COMMA ] @@ -1140,7 +1140,7 @@ interactive_expr: LBRACE ELLIPSIS Ident WILD interactive_expr: LBRACE ELLIPSIS WILD ## -## Ends in an error in state: 247. +## Ends in an error in state: 248. ## ## update_record -> LBRACE ELLIPSIS . path COMMA sep_or_term_list(field_path_assignment,COMMA) RBRACE [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE LBRACE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] ## @@ -1152,7 +1152,7 @@ interactive_expr: LBRACE ELLIPSIS WILD interactive_expr: LBRACE Ident COLON Bytes VBAR ## -## Ends in an error in state: 468. +## Ends in an error in state: 469. ## ## sequence_or_record_in -> field_assignment . COMMA sep_or_term_list(field_assignment,COMMA) [ RBRACE ] ## @@ -1163,27 +1163,27 @@ interactive_expr: LBRACE Ident COLON 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) -## In state 465, spurious reduction of production field_assignment -> Ident COLON expr +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) +## In state 466, spurious reduction of production field_assignment -> Ident COLON expr ## interactive_expr: LBRACE Ident COLON VBAR ## -## Ends in an error in state: 464. +## Ends in an error in state: 465. ## ## field_assignment -> Ident COLON . expr [ RBRACE COMMA ] ## @@ -1195,7 +1195,7 @@ interactive_expr: LBRACE Ident COLON VBAR interactive_expr: LBRACE Ident COMMA Ident COLON Bytes VBAR ## -## Ends in an error in state: 474. +## Ends in an error in state: 475. ## ## nsepseq(field_assignment,COMMA) -> field_assignment . [ RBRACE ] ## nsepseq(field_assignment,COMMA) -> field_assignment . COMMA nsepseq(field_assignment,COMMA) [ RBRACE ] @@ -1208,27 +1208,27 @@ interactive_expr: LBRACE Ident COMMA Ident COLON 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) -## In state 465, spurious reduction of production field_assignment -> Ident COLON expr +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) +## In state 466, spurious reduction of production field_assignment -> Ident COLON expr ## interactive_expr: LBRACE Ident COMMA Ident COMMA Ident COLON Bytes VBAR ## -## Ends in an error in state: 478. +## Ends in an error in state: 479. ## ## nsepseq(field_assignment,COMMA) -> field_assignment . [ RBRACE ] ## nsepseq(field_assignment,COMMA) -> field_assignment . COMMA nsepseq(field_assignment,COMMA) [ RBRACE ] @@ -1241,27 +1241,27 @@ interactive_expr: LBRACE Ident COMMA Ident COMMA Ident COLON 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) -## In state 465, spurious reduction of production field_assignment -> Ident COLON expr +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) +## In state 466, spurious reduction of production field_assignment -> Ident COLON expr ## interactive_expr: LBRACE Ident COMMA Ident COMMA Ident COMMA WILD ## -## Ends in an error in state: 479. +## Ends in an error in state: 480. ## ## nsepseq(field_assignment,COMMA) -> field_assignment COMMA . nsepseq(field_assignment,COMMA) [ RBRACE ] ## seq(__anonymous_0(field_assignment,COMMA)) -> field_assignment COMMA . seq(__anonymous_0(field_assignment,COMMA)) [ RBRACE ] @@ -1274,7 +1274,7 @@ interactive_expr: LBRACE Ident COMMA Ident COMMA Ident COMMA WILD interactive_expr: LBRACE Ident COMMA Ident COMMA WILD ## -## Ends in an error in state: 475. +## Ends in an error in state: 476. ## ## nsepseq(field_assignment,COMMA) -> field_assignment COMMA . nsepseq(field_assignment,COMMA) [ RBRACE ] ## nseq(__anonymous_0(field_assignment,COMMA)) -> field_assignment COMMA . seq(__anonymous_0(field_assignment,COMMA)) [ RBRACE ] @@ -1287,7 +1287,7 @@ interactive_expr: LBRACE Ident COMMA Ident COMMA WILD interactive_expr: LBRACE Ident COMMA Ident WILD ## -## Ends in an error in state: 470. +## Ends in an error in state: 471. ## ## field_assignment -> Ident . [ RBRACE COMMA ] ## field_assignment -> Ident . COLON expr [ RBRACE COMMA ] @@ -1300,7 +1300,7 @@ interactive_expr: LBRACE Ident COMMA Ident WILD interactive_expr: LBRACE Ident COMMA WILD ## -## Ends in an error in state: 469. +## Ends in an error in state: 470. ## ## sequence_or_record_in -> field_assignment COMMA . sep_or_term_list(field_assignment,COMMA) [ RBRACE ] ## @@ -1312,7 +1312,7 @@ interactive_expr: LBRACE Ident COMMA WILD interactive_expr: LBRACE Ident WILD ## -## Ends in an error in state: 463. +## Ends in an error in state: 464. ## ## common_expr -> Ident . [ TIMES SLASH SEMI RBRACE PLUS Or NE Mod MINUS LT LPAR LE GT GE EQEQ COLON CAT BOOL_OR BOOL_AND ARROW ] ## field_assignment -> Ident . [ COMMA ] @@ -1325,48 +1325,9 @@ interactive_expr: LBRACE Ident WILD -interactive_expr: LBRACE VBAR +interactive_expr: LBRACE True SEMI True SEMI True SEMI VBAR ## -## Ends in an error in state: 93. -## -## sequence_or_record -> LBRACE . sequence_or_record_in RBRACE [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] -## update_record -> LBRACE . ELLIPSIS path COMMA sep_or_term_list(field_path_assignment,COMMA) RBRACE [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] -## -## The known suffix of the stack is as follows: -## LBRACE -## - - - -interactive_expr: LBRACE WILD SEMI VBAR -## -## Ends in an error in state: 482. -## -## option(SEMI) -> SEMI . [ RBRACE ] -## sequence_or_record_in -> expr_with_let_expr SEMI . sep_or_term_list(expr_with_let_expr,SEMI) [ RBRACE ] -## -## The known suffix of the stack is as follows: -## expr_with_let_expr SEMI -## - - - -interactive_expr: LBRACE WILD SEMI WILD SEMI VBAR -## -## Ends in an error in state: 487. -## -## nsepseq(expr_with_let_expr,SEMI) -> expr_with_let_expr SEMI . nsepseq(expr_with_let_expr,SEMI) [ RBRACE ] -## nseq(__anonymous_0(expr_with_let_expr,SEMI)) -> expr_with_let_expr SEMI . seq(__anonymous_0(expr_with_let_expr,SEMI)) [ RBRACE ] -## -## The known suffix of the stack is as follows: -## expr_with_let_expr SEMI -## - - - -interactive_expr: LBRACE WILD SEMI WILD SEMI WILD SEMI VBAR -## -## Ends in an error in state: 491. +## Ends in an error in state: 492. ## ## nsepseq(expr_with_let_expr,SEMI) -> expr_with_let_expr SEMI . nsepseq(expr_with_let_expr,SEMI) [ RBRACE ] ## seq(__anonymous_0(expr_with_let_expr,SEMI)) -> expr_with_let_expr SEMI . seq(__anonymous_0(expr_with_let_expr,SEMI)) [ RBRACE ] @@ -1377,9 +1338,9 @@ interactive_expr: LBRACE WILD SEMI WILD SEMI WILD SEMI VBAR -interactive_expr: LBRACE WILD SEMI WILD SEMI WILD VBAR +interactive_expr: LBRACE True SEMI True SEMI True VBAR ## -## Ends in an error in state: 490. +## Ends in an error in state: 491. ## ## nsepseq(expr_with_let_expr,SEMI) -> expr_with_let_expr . [ RBRACE ] ## nsepseq(expr_with_let_expr,SEMI) -> expr_with_let_expr . SEMI nsepseq(expr_with_let_expr,SEMI) [ RBRACE ] @@ -1392,27 +1353,40 @@ interactive_expr: LBRACE WILD SEMI WILD SEMI WILD 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) -## In state 400, spurious reduction of production expr_with_let_expr -> expr +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) +## In state 401, spurious reduction of production expr_with_let_expr -> expr ## -interactive_expr: LBRACE WILD SEMI WILD VBAR +interactive_expr: LBRACE True SEMI True SEMI VBAR ## -## Ends in an error in state: 486. +## Ends in an error in state: 488. +## +## nsepseq(expr_with_let_expr,SEMI) -> expr_with_let_expr SEMI . nsepseq(expr_with_let_expr,SEMI) [ RBRACE ] +## nseq(__anonymous_0(expr_with_let_expr,SEMI)) -> expr_with_let_expr SEMI . seq(__anonymous_0(expr_with_let_expr,SEMI)) [ RBRACE ] +## +## The known suffix of the stack is as follows: +## expr_with_let_expr SEMI +## + + + +interactive_expr: LBRACE True SEMI True VBAR +## +## Ends in an error in state: 487. ## ## nsepseq(expr_with_let_expr,SEMI) -> expr_with_let_expr . [ RBRACE ] ## nsepseq(expr_with_let_expr,SEMI) -> expr_with_let_expr . SEMI nsepseq(expr_with_let_expr,SEMI) [ RBRACE ] @@ -1425,27 +1399,40 @@ interactive_expr: LBRACE WILD SEMI WILD 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) -## In state 400, spurious reduction of production expr_with_let_expr -> expr +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) +## In state 401, spurious reduction of production expr_with_let_expr -> expr ## -interactive_expr: LBRACE WILD VBAR +interactive_expr: LBRACE True SEMI VBAR ## -## Ends in an error in state: 481. +## Ends in an error in state: 483. +## +## option(SEMI) -> SEMI . [ RBRACE ] +## sequence_or_record_in -> expr_with_let_expr SEMI . sep_or_term_list(expr_with_let_expr,SEMI) [ RBRACE ] +## +## The known suffix of the stack is as follows: +## expr_with_let_expr SEMI +## + + + +interactive_expr: LBRACE True VBAR +## +## Ends in an error in state: 482. ## ## sequence_or_record_in -> expr_with_let_expr . SEMI sep_or_term_list(expr_with_let_expr,SEMI) [ RBRACE ] ## sequence_or_record_in -> expr_with_let_expr . option(SEMI) [ RBRACE ] @@ -1457,53 +1444,40 @@ interactive_expr: LBRACE WILD 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) -## In state 400, spurious reduction of production expr_with_let_expr -> expr +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) +## In state 401, spurious reduction of production expr_with_let_expr -> expr ## -interactive_expr: LBRACKET VBAR +interactive_expr: LBRACE VBAR ## -## Ends in an error in state: 91. +## Ends in an error in state: 113. ## -## list_or_spread -> LBRACKET . expr COMMA sep_or_term_list(expr,COMMA) RBRACKET [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] -## list_or_spread -> LBRACKET . expr COMMA ELLIPSIS expr RBRACKET [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] -## list_or_spread -> LBRACKET . option(expr) RBRACKET [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] +## sequence_or_record -> LBRACE . sequence_or_record_in RBRACE [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] +## update_record -> LBRACE . ELLIPSIS path COMMA sep_or_term_list(field_path_assignment,COMMA) RBRACE [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] ## ## The known suffix of the stack is as follows: -## LBRACKET +## LBRACE ## -interactive_expr: LBRACKET WILD COMMA ELLIPSIS VBAR +interactive_expr: LBRACKET True COMMA ELLIPSIS True VBAR ## -## Ends in an error in state: 499. -## -## list_or_spread -> LBRACKET expr COMMA ELLIPSIS . expr RBRACKET [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] -## -## The known suffix of the stack is as follows: -## LBRACKET expr COMMA ELLIPSIS -## - - - -interactive_expr: LBRACKET WILD COMMA ELLIPSIS WILD VBAR -## -## Ends in an error in state: 500. +## Ends in an error in state: 501. ## ## list_or_spread -> LBRACKET expr COMMA ELLIPSIS expr . RBRACKET [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] ## @@ -1514,52 +1488,38 @@ interactive_expr: LBRACKET WILD COMMA ELLIPSIS WILD 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) ## -interactive_expr: LBRACKET WILD COMMA VBAR +interactive_expr: LBRACKET True COMMA ELLIPSIS VBAR ## -## Ends in an error in state: 498. +## Ends in an error in state: 500. ## -## list_or_spread -> LBRACKET expr COMMA . sep_or_term_list(expr,COMMA) RBRACKET [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] -## list_or_spread -> LBRACKET expr COMMA . ELLIPSIS expr RBRACKET [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] +## list_or_spread -> LBRACKET expr COMMA ELLIPSIS . expr RBRACKET [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] ## ## The known suffix of the stack is as follows: -## LBRACKET expr COMMA +## LBRACKET expr COMMA ELLIPSIS ## -interactive_expr: LBRACKET WILD COMMA WILD COMMA VBAR +interactive_expr: LBRACKET True COMMA True COMMA True COMMA VBAR ## -## Ends in an error in state: 507. -## -## nsepseq(expr,COMMA) -> expr COMMA . nsepseq(expr,COMMA) [ RBRACKET ] -## nseq(__anonymous_0(expr,COMMA)) -> expr COMMA . seq(__anonymous_0(expr,COMMA)) [ RBRACKET ] -## -## The known suffix of the stack is as follows: -## expr COMMA -## - - - -interactive_expr: LBRACKET WILD COMMA WILD COMMA WILD COMMA VBAR -## -## Ends in an error in state: 510. +## Ends in an error in state: 511. ## ## nsepseq(expr,COMMA) -> expr COMMA . nsepseq(expr,COMMA) [ RBRACKET ] ## seq(__anonymous_0(expr,COMMA)) -> expr COMMA . seq(__anonymous_0(expr,COMMA)) [ RBRACKET ] @@ -1570,9 +1530,9 @@ interactive_expr: LBRACKET WILD COMMA WILD COMMA WILD COMMA VBAR -interactive_expr: LBRACKET WILD COMMA WILD COMMA WILD VBAR +interactive_expr: LBRACKET True COMMA True COMMA True VBAR ## -## Ends in an error in state: 509. +## Ends in an error in state: 510. ## ## nsepseq(expr,COMMA) -> expr . [ RBRACKET ] ## nsepseq(expr,COMMA) -> expr . COMMA nsepseq(expr,COMMA) [ RBRACKET ] @@ -1585,26 +1545,39 @@ interactive_expr: LBRACKET WILD COMMA WILD COMMA WILD 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) ## -interactive_expr: LBRACKET WILD COMMA WILD VBAR +interactive_expr: LBRACKET True COMMA True COMMA VBAR ## -## Ends in an error in state: 506. +## Ends in an error in state: 508. +## +## nsepseq(expr,COMMA) -> expr COMMA . nsepseq(expr,COMMA) [ RBRACKET ] +## nseq(__anonymous_0(expr,COMMA)) -> expr COMMA . seq(__anonymous_0(expr,COMMA)) [ RBRACKET ] +## +## The known suffix of the stack is as follows: +## expr COMMA +## + + + +interactive_expr: LBRACKET True COMMA True VBAR +## +## Ends in an error in state: 507. ## ## nsepseq(expr,COMMA) -> expr . [ RBRACKET ] ## nsepseq(expr,COMMA) -> expr . COMMA nsepseq(expr,COMMA) [ RBRACKET ] @@ -1617,26 +1590,39 @@ interactive_expr: LBRACKET WILD COMMA WILD 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) ## -interactive_expr: LBRACKET WILD VBAR +interactive_expr: LBRACKET True COMMA VBAR ## -## Ends in an error in state: 497. +## Ends in an error in state: 499. +## +## list_or_spread -> LBRACKET expr COMMA . sep_or_term_list(expr,COMMA) RBRACKET [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] +## list_or_spread -> LBRACKET expr COMMA . ELLIPSIS expr RBRACKET [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] +## +## The known suffix of the stack is as follows: +## LBRACKET expr COMMA +## + + + +interactive_expr: LBRACKET True VBAR +## +## Ends in an error in state: 498. ## ## list_or_spread -> LBRACKET expr . COMMA sep_or_term_list(expr,COMMA) RBRACKET [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] ## list_or_spread -> LBRACKET expr . COMMA ELLIPSIS expr RBRACKET [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] @@ -1649,65 +1635,40 @@ interactive_expr: LBRACKET WILD 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) ## -interactive_expr: LPAR VBAR +interactive_expr: LBRACKET VBAR ## -## Ends in an error in state: 94. +## Ends in an error in state: 111. ## -## par(expr) -> LPAR . expr RPAR [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] -## par(tuple(disj_expr_level)) -> LPAR . tuple(disj_expr_level) RPAR [ VBAR Type SEMI RPAR RBRACKET RBRACE Or Let EOF COMMA COLON BOOL_OR Attr ARROW ] -## unit -> LPAR . RPAR [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] +## list_or_spread -> LBRACKET . expr COMMA sep_or_term_list(expr,COMMA) RBRACKET [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] +## list_or_spread -> LBRACKET . expr COMMA ELLIPSIS expr RBRACKET [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] +## list_or_spread -> LBRACKET . option(expr) RBRACKET [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] ## ## The known suffix of the stack is as follows: -## LPAR +## LBRACKET ## -interactive_expr: LPAR WILD COMMA Bytes RPAR COLON Ident TIMES +interactive_expr: LPAR True COMMA Bytes RPAR WILD ## -## Ends in an error in state: 165. -## -## base_expr(expr) -> disj_expr_level . [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] -## bin_op(disj_expr_level,BOOL_OR,conj_expr_level) -> disj_expr_level . BOOL_OR conj_expr_level [ VBAR Type SEMI RPAR RBRACKET RBRACE Or Let EOF COMMA BOOL_OR Attr ARROW ] -## bin_op(disj_expr_level,Or,conj_expr_level) -> disj_expr_level . Or conj_expr_level [ VBAR Type SEMI RPAR RBRACKET RBRACE Or Let EOF COMMA BOOL_OR Attr ARROW ] -## fun_expr -> disj_expr_level . ARROW expr [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] -## -## The known suffix of the stack is as follows: -## disj_expr_level -## -## WARNING: This example involves spurious reductions. -## 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 133, spurious reduction of production option(type_expr_simple_args) -> -## In state 142, spurious reduction of production type_expr_simple -> Ident option(type_expr_simple_args) -## In state 149, spurious reduction of production type_annotation_simple -> COLON type_expr_simple -## In state 150, spurious reduction of production option(type_annotation_simple) -> type_annotation_simple -## In state 151, spurious reduction of production disj_expr_level -> par(tuple(disj_expr_level)) option(type_annotation_simple) -## - - - -interactive_expr: LPAR WILD COMMA Bytes RPAR WILD -## -## Ends in an error in state: 130. +## Ends in an error in state: 150. ## ## disj_expr_level -> par(tuple(disj_expr_level)) . option(type_annotation_simple) [ VBAR Type SEMI RPAR RBRACKET RBRACE Or Let EOF COMMA BOOL_OR Attr ARROW ] ## @@ -1717,21 +1678,9 @@ interactive_expr: LPAR WILD COMMA Bytes RPAR WILD -interactive_expr: LPAR WILD COMMA VBAR +interactive_expr: LPAR True COMMA True COMMA VBAR ## -## Ends in an error in state: 458. -## -## tuple(disj_expr_level) -> disj_expr_level COMMA . nsepseq(disj_expr_level,COMMA) [ RPAR ] -## -## The known suffix of the stack is as follows: -## disj_expr_level COMMA -## - - - -interactive_expr: LPAR WILD COMMA WILD COMMA VBAR -## -## Ends in an error in state: 461. +## Ends in an error in state: 462. ## ## nsepseq(disj_expr_level,COMMA) -> disj_expr_level COMMA . nsepseq(disj_expr_level,COMMA) [ RPAR ] ## @@ -1741,9 +1690,9 @@ interactive_expr: LPAR WILD COMMA WILD COMMA VBAR -interactive_expr: LPAR WILD COMMA WILD VBAR +interactive_expr: LPAR True COMMA True VBAR ## -## Ends in an error in state: 460. +## Ends in an error in state: 461. ## ## bin_op(disj_expr_level,BOOL_OR,conj_expr_level) -> disj_expr_level . BOOL_OR conj_expr_level [ RPAR Or COMMA BOOL_OR ] ## bin_op(disj_expr_level,Or,conj_expr_level) -> disj_expr_level . Or conj_expr_level [ RPAR Or COMMA BOOL_OR ] @@ -1757,23 +1706,35 @@ interactive_expr: LPAR WILD COMMA WILD 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level ## -interactive_expr: LPAR WILD VBAR +interactive_expr: LPAR True COMMA VBAR ## -## Ends in an error in state: 457. +## Ends in an error in state: 459. +## +## tuple(disj_expr_level) -> disj_expr_level COMMA . nsepseq(disj_expr_level,COMMA) [ RPAR ] +## +## The known suffix of the stack is as follows: +## disj_expr_level COMMA +## + + + +interactive_expr: LPAR True VBAR +## +## Ends in an error in state: 458. ## ## base_expr(expr) -> disj_expr_level . [ RPAR ] ## bin_op(disj_expr_level,BOOL_OR,conj_expr_level) -> disj_expr_level . BOOL_OR conj_expr_level [ RPAR Or COMMA BOOL_OR ARROW ] @@ -1788,23 +1749,37 @@ interactive_expr: LPAR WILD 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## + + + +interactive_expr: LPAR VBAR +## +## Ends in an error in state: 114. +## +## par(expr) -> LPAR . expr RPAR [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] +## par(tuple(disj_expr_level)) -> LPAR . tuple(disj_expr_level) RPAR [ VBAR Type SEMI RPAR RBRACKET RBRACE Or Let EOF COMMA COLON BOOL_OR Attr ARROW ] +## unit -> LPAR . RPAR [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] +## +## The known suffix of the stack is as follows: +## LPAR ## interactive_expr: Let Rec VBAR ## -## Ends in an error in state: 354. +## Ends in an error in state: 355. ## ## let_expr(expr_with_let_expr) -> seq(Attr) Let Rec . let_binding SEMI expr_with_let_expr [ SEMI RBRACE EOF ] ## @@ -1816,7 +1791,7 @@ interactive_expr: Let Rec VBAR interactive_expr: Let Rec WILD EQ Bytes SEMI VBAR ## -## Ends in an error in state: 397. +## Ends in an error in state: 398. ## ## let_expr(expr_with_let_expr) -> seq(Attr) Let Rec let_binding SEMI . expr_with_let_expr [ SEMI RBRACE EOF ] ## @@ -1828,7 +1803,7 @@ interactive_expr: Let Rec WILD EQ Bytes SEMI VBAR interactive_expr: Let Rec WILD EQ Bytes VBAR ## -## Ends in an error in state: 396. +## Ends in an error in state: 397. ## ## let_expr(expr_with_let_expr) -> seq(Attr) Let Rec let_binding . SEMI expr_with_let_expr [ SEMI RBRACE EOF ] ## @@ -1839,27 +1814,27 @@ interactive_expr: Let Rec WILD EQ 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) -## In state 532, spurious reduction of production let_binding -> WILD option(type_annotation) EQ expr +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) +## In state 533, spurious reduction of production let_binding -> WILD option(type_annotation) EQ expr ## interactive_expr: Let VBAR ## -## Ends in an error in state: 353. +## Ends in an error in state: 354. ## ## let_expr(expr_with_let_expr) -> seq(Attr) Let . let_binding SEMI expr_with_let_expr [ SEMI RBRACE EOF ] ## let_expr(expr_with_let_expr) -> seq(Attr) Let . Rec let_binding SEMI expr_with_let_expr [ SEMI RBRACE EOF ] @@ -1872,7 +1847,7 @@ interactive_expr: Let VBAR interactive_expr: Let WILD EQ Bytes SEMI VBAR ## -## Ends in an error in state: 402. +## Ends in an error in state: 403. ## ## let_expr(expr_with_let_expr) -> seq(Attr) Let let_binding SEMI . expr_with_let_expr [ SEMI RBRACE EOF ] ## @@ -1884,7 +1859,7 @@ interactive_expr: Let WILD EQ Bytes SEMI VBAR interactive_expr: Let WILD EQ Bytes VBAR ## -## Ends in an error in state: 401. +## Ends in an error in state: 402. ## ## let_expr(expr_with_let_expr) -> seq(Attr) Let let_binding . SEMI expr_with_let_expr [ SEMI RBRACE EOF ] ## @@ -1895,27 +1870,27 @@ interactive_expr: Let WILD EQ 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) -## In state 532, spurious reduction of production let_binding -> WILD option(type_annotation) EQ expr +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) +## In state 533, spurious reduction of production let_binding -> WILD option(type_annotation) EQ expr ## -interactive_expr: MINUS VBAR +interactive_expr: MINUS WILD ## -## Ends in an error in state: 92. +## Ends in an error in state: 112. ## ## unary_expr_level -> MINUS . call_expr_level [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] ## @@ -1925,9 +1900,9 @@ interactive_expr: MINUS VBAR -interactive_expr: NOT VBAR +interactive_expr: NOT WILD ## -## Ends in an error in state: 90. +## Ends in an error in state: 110. ## ## unary_expr_level -> NOT . call_expr_level [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] ## @@ -1939,7 +1914,7 @@ interactive_expr: NOT VBAR interactive_expr: Switch Constr WILD ## -## Ends in an error in state: 114. +## Ends in an error in state: 134. ## ## module_field -> Constr . DOT module_fun [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE LBRACE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] ## projection -> Constr . DOT Ident selection [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE LBRACE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] @@ -1952,7 +1927,7 @@ interactive_expr: Switch Constr WILD interactive_expr: Switch LBRACE WILD ## -## Ends in an error in state: 246. +## Ends in an error in state: 247. ## ## update_record -> LBRACE . ELLIPSIS path COMMA sep_or_term_list(field_path_assignment,COMMA) RBRACE [ LBRACE ] ## @@ -1962,34 +1937,9 @@ interactive_expr: Switch LBRACE WILD -interactive_expr: Switch LBRACKET VBAR +interactive_expr: Switch LBRACKET True SEMI True SEMI VBAR ## -## Ends in an error in state: 233. -## -## list__(expr) -> LBRACKET . option(sep_or_term_list(expr,SEMI)) RBRACKET [ LBRACE ] -## -## The known suffix of the stack is as follows: -## LBRACKET -## - - - -interactive_expr: Switch LBRACKET WILD SEMI VBAR -## -## Ends in an error in state: 240. -## -## nsepseq(expr,SEMI) -> expr SEMI . nsepseq(expr,SEMI) [ RBRACKET ] -## nseq(__anonymous_0(expr,SEMI)) -> expr SEMI . seq(__anonymous_0(expr,SEMI)) [ RBRACKET ] -## -## The known suffix of the stack is as follows: -## expr SEMI -## - - - -interactive_expr: Switch LBRACKET WILD SEMI WILD SEMI VBAR -## -## Ends in an error in state: 244. +## Ends in an error in state: 245. ## ## nsepseq(expr,SEMI) -> expr SEMI . nsepseq(expr,SEMI) [ RBRACKET ] ## seq(__anonymous_0(expr,SEMI)) -> expr SEMI . seq(__anonymous_0(expr,SEMI)) [ RBRACKET ] @@ -2000,9 +1950,9 @@ interactive_expr: Switch LBRACKET WILD SEMI WILD SEMI VBAR -interactive_expr: Switch LBRACKET WILD SEMI WILD VBAR +interactive_expr: Switch LBRACKET True SEMI True VBAR ## -## Ends in an error in state: 243. +## Ends in an error in state: 244. ## ## nsepseq(expr,SEMI) -> expr . [ RBRACKET ] ## nsepseq(expr,SEMI) -> expr . SEMI nsepseq(expr,SEMI) [ RBRACKET ] @@ -2015,26 +1965,39 @@ interactive_expr: Switch LBRACKET WILD SEMI WILD 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) ## -interactive_expr: Switch LBRACKET WILD VBAR +interactive_expr: Switch LBRACKET True SEMI VBAR ## -## Ends in an error in state: 239. +## Ends in an error in state: 241. +## +## nsepseq(expr,SEMI) -> expr SEMI . nsepseq(expr,SEMI) [ RBRACKET ] +## nseq(__anonymous_0(expr,SEMI)) -> expr SEMI . seq(__anonymous_0(expr,SEMI)) [ RBRACKET ] +## +## The known suffix of the stack is as follows: +## expr SEMI +## + + + +interactive_expr: Switch LBRACKET True VBAR +## +## Ends in an error in state: 240. ## ## nsepseq(expr,SEMI) -> expr . [ RBRACKET ] ## nsepseq(expr,SEMI) -> expr . SEMI nsepseq(expr,SEMI) [ RBRACKET ] @@ -2047,39 +2010,38 @@ interactive_expr: Switch LBRACKET WILD 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) ## -interactive_expr: Switch LPAR VBAR +interactive_expr: Switch LBRACKET VBAR ## -## Ends in an error in state: 88. +## Ends in an error in state: 234. ## -## par(expr) -> LPAR . expr RPAR [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE LBRACE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] -## unit -> LPAR . RPAR [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE LBRACE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] +## list__(expr) -> LBRACKET . option(sep_or_term_list(expr,SEMI)) RBRACKET [ LBRACE ] ## ## The known suffix of the stack is as follows: -## LPAR +## LBRACKET ## -interactive_expr: Switch LPAR WILD VBAR +interactive_expr: Switch LPAR True VBAR ## -## Ends in an error in state: 455. +## Ends in an error in state: 456. ## ## par(expr) -> LPAR expr . RPAR [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE LBRACE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] ## @@ -2090,38 +2052,39 @@ interactive_expr: Switch LPAR WILD 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) ## -interactive_expr: Switch VBAR +interactive_expr: Switch LPAR VBAR ## -## Ends in an error in state: 84. +## Ends in an error in state: 108. ## -## switch_expr(base_cond) -> Switch . switch_expr_ LBRACE cases(base_cond) RBRACE [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] +## par(expr) -> LPAR . expr RPAR [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE LBRACE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] +## unit -> LPAR . RPAR [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LPAR LE LBRACE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] ## ## The known suffix of the stack is as follows: -## Switch +## LPAR ## -interactive_expr: Switch WILD LBRACE VBAR LBRACKET VBAR +interactive_expr: Switch True LBRACE VBAR LBRACKET VBAR ## -## Ends in an error in state: 335. +## Ends in an error in state: 336. ## ## list__(sub_pattern) -> LBRACKET . option(sep_or_term_list(sub_pattern,SEMI)) RBRACKET [ COMMA ARROW ] ## pattern -> LBRACKET . sub_pattern COMMA ELLIPSIS sub_pattern RBRACKET [ ARROW ] @@ -2132,9 +2095,9 @@ interactive_expr: Switch WILD LBRACE VBAR LBRACKET VBAR -interactive_expr: Switch WILD LBRACE VBAR LBRACKET WILD COMMA ELLIPSIS VBAR +interactive_expr: Switch True LBRACE VBAR LBRACKET WILD COMMA ELLIPSIS VBAR ## -## Ends in an error in state: 338. +## Ends in an error in state: 339. ## ## pattern -> LBRACKET sub_pattern COMMA ELLIPSIS . sub_pattern RBRACKET [ ARROW ] ## @@ -2144,9 +2107,9 @@ interactive_expr: Switch WILD LBRACE VBAR LBRACKET WILD COMMA ELLIPSIS VBAR -interactive_expr: Switch WILD LBRACE VBAR LBRACKET WILD COMMA ELLIPSIS WILD WILD +interactive_expr: Switch True LBRACE VBAR LBRACKET WILD COMMA ELLIPSIS WILD WILD ## -## Ends in an error in state: 339. +## Ends in an error in state: 340. ## ## pattern -> LBRACKET sub_pattern COMMA ELLIPSIS sub_pattern . RBRACKET [ ARROW ] ## @@ -2156,9 +2119,9 @@ interactive_expr: Switch WILD LBRACE VBAR LBRACKET WILD COMMA ELLIPSIS WILD WILD -interactive_expr: Switch WILD LBRACE VBAR LBRACKET WILD COMMA WILD +interactive_expr: Switch True LBRACE VBAR LBRACKET WILD COMMA WILD ## -## Ends in an error in state: 337. +## Ends in an error in state: 338. ## ## pattern -> LBRACKET sub_pattern COMMA . ELLIPSIS sub_pattern RBRACKET [ ARROW ] ## @@ -2168,9 +2131,9 @@ interactive_expr: Switch WILD LBRACE VBAR LBRACKET WILD COMMA WILD -interactive_expr: Switch WILD LBRACE VBAR LBRACKET WILD WILD +interactive_expr: Switch True LBRACE VBAR LBRACKET WILD WILD ## -## Ends in an error in state: 336. +## Ends in an error in state: 337. ## ## nsepseq(sub_pattern,SEMI) -> sub_pattern . [ RBRACKET ] ## nsepseq(sub_pattern,SEMI) -> sub_pattern . SEMI nsepseq(sub_pattern,SEMI) [ RBRACKET ] @@ -2183,9 +2146,9 @@ interactive_expr: Switch WILD LBRACE VBAR LBRACKET WILD WILD -interactive_expr: Switch WILD LBRACE VBAR LPAR Bytes RPAR WILD +interactive_expr: Switch True LBRACE VBAR LPAR Bytes RPAR WILD ## -## Ends in an error in state: 342. +## Ends in an error in state: 343. ## ## tuple(sub_pattern) -> sub_pattern . COMMA nsepseq(sub_pattern,COMMA) [ ARROW ] ## @@ -2195,9 +2158,9 @@ interactive_expr: Switch WILD LBRACE VBAR LPAR Bytes RPAR WILD -interactive_expr: Switch WILD LBRACE VBAR VBAR +interactive_expr: Switch True LBRACE VBAR VBAR ## -## Ends in an error in state: 515. +## Ends in an error in state: 516. ## ## case_clause(base_cond) -> VBAR . pattern ARROW base_cond option(SEMI) [ VBAR RBRACE ] ## @@ -2207,9 +2170,9 @@ interactive_expr: Switch WILD LBRACE VBAR VBAR -interactive_expr: Switch WILD LBRACE VBAR WILD ARROW Bytes SEMI WILD +interactive_expr: Switch True LBRACE VBAR WILD ARROW Bytes SEMI WILD ## -## Ends in an error in state: 528. +## Ends in an error in state: 529. ## ## nseq(case_clause(base_cond)) -> case_clause(base_cond) . seq(case_clause(base_cond)) [ RBRACE ] ## @@ -2219,9 +2182,9 @@ interactive_expr: Switch WILD LBRACE VBAR WILD ARROW Bytes SEMI WILD -interactive_expr: Switch WILD LBRACE VBAR WILD ARROW Bytes VBAR Bytes ARROW Bytes SEMI WILD +interactive_expr: Switch True LBRACE VBAR WILD ARROW Bytes VBAR Bytes ARROW Bytes SEMI WILD ## -## Ends in an error in state: 530. +## Ends in an error in state: 531. ## ## seq(case_clause(base_cond)) -> case_clause(base_cond) . seq(case_clause(base_cond)) [ RBRACE ] ## @@ -2231,21 +2194,9 @@ interactive_expr: Switch WILD LBRACE VBAR WILD ARROW Bytes VBAR Bytes ARROW Byte -interactive_expr: Switch WILD LBRACE VBAR WILD ARROW VBAR +interactive_expr: Switch True LBRACE VBAR WILD ARROW True ARROW Bytes Type ## -## Ends in an error in state: 517. -## -## case_clause(base_cond) -> VBAR pattern ARROW . base_cond option(SEMI) [ VBAR RBRACE ] -## -## The known suffix of the stack is as follows: -## VBAR pattern ARROW -## - - - -interactive_expr: Switch WILD LBRACE VBAR WILD ARROW WILD ARROW Bytes Type -## -## Ends in an error in state: 523. +## Ends in an error in state: 524. ## ## case_clause(base_cond) -> VBAR pattern ARROW base_cond . option(SEMI) [ VBAR RBRACE ] ## @@ -2256,30 +2207,30 @@ interactive_expr: Switch WILD LBRACE VBAR WILD ARROW WILD ARROW Bytes 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) -## In state 216, spurious reduction of production fun_expr -> disj_expr_level ARROW expr -## In state 518, spurious reduction of production base_expr(base_cond) -> fun_expr -## In state 521, spurious reduction of production base_cond__open(base_cond) -> base_expr(base_cond) -## In state 522, spurious reduction of production base_cond -> base_cond__open(base_cond) +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) +## In state 217, spurious reduction of production fun_expr -> disj_expr_level ARROW expr +## In state 519, spurious reduction of production base_expr(base_cond) -> fun_expr +## In state 522, spurious reduction of production base_cond__open(base_cond) -> base_expr(base_cond) +## In state 523, spurious reduction of production base_cond -> base_cond__open(base_cond) ## -interactive_expr: Switch WILD LBRACE VBAR WILD ARROW WILD Type +interactive_expr: Switch True LBRACE VBAR WILD ARROW True Type ## -## Ends in an error in state: 519. +## Ends in an error in state: 520. ## ## base_expr(base_cond) -> disj_expr_level . [ VBAR SEMI RBRACE ] ## bin_op(disj_expr_level,BOOL_OR,conj_expr_level) -> disj_expr_level . BOOL_OR conj_expr_level [ VBAR SEMI RBRACE Or BOOL_OR ARROW ] @@ -2293,23 +2244,35 @@ interactive_expr: Switch WILD LBRACE VBAR WILD ARROW WILD 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level ## -interactive_expr: Switch WILD LBRACE VBAR WILD COMMA Bytes RPAR +interactive_expr: Switch True LBRACE VBAR WILD ARROW VBAR ## -## Ends in an error in state: 516. +## Ends in an error in state: 518. +## +## case_clause(base_cond) -> VBAR pattern ARROW . base_cond option(SEMI) [ VBAR RBRACE ] +## +## The known suffix of the stack is as follows: +## VBAR pattern ARROW +## + + + +interactive_expr: Switch True LBRACE VBAR WILD COMMA Bytes RPAR +## +## Ends in an error in state: 517. ## ## case_clause(base_cond) -> VBAR pattern . ARROW base_cond option(SEMI) [ VBAR RBRACE ] ## @@ -2320,16 +2283,16 @@ interactive_expr: Switch WILD LBRACE VBAR WILD COMMA Bytes 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 329, spurious reduction of production nsepseq(sub_pattern,COMMA) -> sub_pattern -## In state 332, spurious reduction of production tuple(sub_pattern) -> sub_pattern COMMA nsepseq(sub_pattern,COMMA) -## In state 341, spurious reduction of production pattern -> tuple(sub_pattern) +## In state 330, spurious reduction of production nsepseq(sub_pattern,COMMA) -> sub_pattern +## In state 333, spurious reduction of production tuple(sub_pattern) -> sub_pattern COMMA nsepseq(sub_pattern,COMMA) +## In state 342, spurious reduction of production pattern -> tuple(sub_pattern) ## -interactive_expr: Switch WILD LBRACE VBAR WILD COMMA VBAR +interactive_expr: Switch True LBRACE VBAR WILD COMMA VBAR ## -## Ends in an error in state: 328. +## Ends in an error in state: 329. ## ## tuple(sub_pattern) -> sub_pattern COMMA . nsepseq(sub_pattern,COMMA) [ RPAR ARROW ] ## @@ -2339,9 +2302,9 @@ interactive_expr: Switch WILD LBRACE VBAR WILD COMMA VBAR -interactive_expr: Switch WILD LBRACE VBAR WILD COMMA WILD COMMA VBAR +interactive_expr: Switch True LBRACE VBAR WILD COMMA WILD COMMA VBAR ## -## Ends in an error in state: 330. +## Ends in an error in state: 331. ## ## nsepseq(sub_pattern,COMMA) -> sub_pattern COMMA . nsepseq(sub_pattern,COMMA) [ RPAR ARROW ] ## @@ -2351,9 +2314,9 @@ interactive_expr: Switch WILD LBRACE VBAR WILD COMMA WILD COMMA VBAR -interactive_expr: Switch WILD LBRACE VBAR WILD COMMA WILD WILD +interactive_expr: Switch True LBRACE VBAR WILD COMMA WILD WILD ## -## Ends in an error in state: 329. +## Ends in an error in state: 330. ## ## nsepseq(sub_pattern,COMMA) -> sub_pattern . [ RPAR ARROW ] ## nsepseq(sub_pattern,COMMA) -> sub_pattern . COMMA nsepseq(sub_pattern,COMMA) [ RPAR ARROW ] @@ -2364,9 +2327,9 @@ interactive_expr: Switch WILD LBRACE VBAR WILD COMMA WILD WILD -interactive_expr: Switch WILD LBRACE VBAR WILD WILD +interactive_expr: Switch True LBRACE VBAR WILD WILD ## -## Ends in an error in state: 433. +## Ends in an error in state: 434. ## ## pattern -> core_pattern . [ ARROW ] ## sub_pattern -> core_pattern . [ COMMA ] @@ -2377,9 +2340,9 @@ interactive_expr: Switch WILD LBRACE VBAR WILD WILD -interactive_expr: Switch WILD LBRACE WILD +interactive_expr: Switch True LBRACE WILD ## -## Ends in an error in state: 514. +## Ends in an error in state: 515. ## ## switch_expr(base_cond) -> Switch switch_expr_ LBRACE . cases(base_cond) RBRACE [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] ## @@ -2389,9 +2352,9 @@ interactive_expr: Switch WILD LBRACE WILD -interactive_expr: Switch WILD WILD +interactive_expr: Switch True WILD ## -## Ends in an error in state: 513. +## Ends in an error in state: 514. ## ## switch_expr(base_cond) -> Switch switch_expr_ . LBRACE cases(base_cond) RBRACE [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] ## @@ -2401,21 +2364,21 @@ interactive_expr: Switch WILD WILD -interactive_expr: VBAR +interactive_expr: Switch WILD ## -## Ends in an error in state: 543. +## Ends in an error in state: 104. ## -## interactive_expr' -> . interactive_expr [ # ] +## switch_expr(base_cond) -> Switch . switch_expr_ LBRACE cases(base_cond) RBRACE [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] ## ## The known suffix of the stack is as follows: -## +## Switch ## -interactive_expr: WILD ARROW VBAR +interactive_expr: True ARROW VBAR ## -## Ends in an error in state: 215. +## Ends in an error in state: 216. ## ## fun_expr -> disj_expr_level ARROW . expr [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] ## @@ -2425,9 +2388,9 @@ interactive_expr: WILD ARROW VBAR -interactive_expr: WILD BOOL_AND VBAR +interactive_expr: True BOOL_AND WILD ## -## Ends in an error in state: 169. +## Ends in an error in state: 170. ## ## bin_op(conj_expr_level,BOOL_AND,comp_expr_level) -> conj_expr_level BOOL_AND . comp_expr_level [ VBAR Type SEMI RPAR RBRACKET RBRACE Or Let EOF COMMA BOOL_OR BOOL_AND Attr ARROW ] ## @@ -2437,9 +2400,9 @@ interactive_expr: WILD BOOL_AND VBAR -interactive_expr: WILD BOOL_OR VBAR +interactive_expr: True BOOL_OR WILD ## -## Ends in an error in state: 213. +## Ends in an error in state: 214. ## ## bin_op(disj_expr_level,BOOL_OR,conj_expr_level) -> disj_expr_level BOOL_OR . conj_expr_level [ VBAR Type SEMI RPAR RBRACKET RBRACE Or Let EOF COMMA BOOL_OR Attr ARROW ] ## @@ -2449,9 +2412,9 @@ interactive_expr: WILD BOOL_OR VBAR -interactive_expr: WILD CAT VBAR +interactive_expr: True CAT WILD ## -## Ends in an error in state: 192. +## Ends in an error in state: 193. ## ## bin_op(add_expr_level,CAT,cat_expr_level) -> add_expr_level CAT . cat_expr_level [ VBAR Type SEMI RPAR RBRACKET RBRACE Or NE Let LT LE GT GE EQEQ EOF COMMA BOOL_OR BOOL_AND Attr ARROW ] ## @@ -2461,96 +2424,9 @@ interactive_expr: WILD CAT VBAR -interactive_expr: WILD COLON Ident LPAR Ident VBAR +interactive_expr: True COLON LPAR Ident RPAR WILD ## -## Ends in an error in state: 135. -## -## nsepseq(type_expr_simple,COMMA) -> type_expr_simple . [ RPAR ] -## nsepseq(type_expr_simple,COMMA) -> type_expr_simple . COMMA nsepseq(type_expr_simple,COMMA) [ RPAR ] -## -## The known suffix of the stack is as follows: -## type_expr_simple -## -## WARNING: This example involves spurious reductions. -## 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 133, spurious reduction of production option(type_expr_simple_args) -> -## In state 142, spurious reduction of production type_expr_simple -> Ident option(type_expr_simple_args) -## - - - -interactive_expr: WILD COLON Ident LPAR WILD -## -## Ends in an error in state: 134. -## -## par(nsepseq(type_expr_simple,COMMA)) -> LPAR . nsepseq(type_expr_simple,COMMA) RPAR [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] -## -## The known suffix of the stack is as follows: -## LPAR -## - - - -interactive_expr: WILD COLON Ident WILD -## -## Ends in an error in state: 133. -## -## type_expr_simple -> Ident . option(type_expr_simple_args) [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] -## -## The known suffix of the stack is as follows: -## Ident -## - - - -interactive_expr: WILD COLON LPAR Ident ARROW Ident VBAR -## -## Ends in an error in state: 145. -## -## type_expr_simple -> LPAR type_expr_simple ARROW type_expr_simple . RPAR [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] -## -## The known suffix of the stack is as follows: -## LPAR type_expr_simple ARROW type_expr_simple -## -## WARNING: This example involves spurious reductions. -## 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 133, spurious reduction of production option(type_expr_simple_args) -> -## In state 142, spurious reduction of production type_expr_simple -> Ident option(type_expr_simple_args) -## - - - -interactive_expr: WILD COLON LPAR Ident ARROW WILD -## -## Ends in an error in state: 144. -## -## type_expr_simple -> LPAR type_expr_simple ARROW . type_expr_simple RPAR [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] -## -## The known suffix of the stack is as follows: -## LPAR type_expr_simple ARROW -## - - - -interactive_expr: WILD COLON LPAR Ident COMMA WILD -## -## Ends in an error in state: 136. -## -## nsepseq(type_expr_simple,COMMA) -> type_expr_simple COMMA . nsepseq(type_expr_simple,COMMA) [ RPAR ] -## -## The known suffix of the stack is as follows: -## type_expr_simple COMMA -## - - - -interactive_expr: WILD COLON LPAR Ident RPAR WILD -## -## Ends in an error in state: 152. +## Ends in an error in state: 153. ## ## add_expr_level -> mult_expr_level . [ VBAR Type SEMI RPAR RBRACKET RBRACE PLUS Or NE MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] ## bin_op(mult_expr_level,Mod,unary_expr_level) -> mult_expr_level . Mod unary_expr_level [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] @@ -2563,55 +2439,9 @@ interactive_expr: WILD COLON LPAR Ident RPAR WILD -interactive_expr: WILD COLON LPAR Ident VBAR +interactive_expr: True EQEQ WILD ## -## Ends in an error in state: 143. -## -## nsepseq(type_expr_simple,COMMA) -> type_expr_simple . [ RPAR ] -## nsepseq(type_expr_simple,COMMA) -> type_expr_simple . COMMA nsepseq(type_expr_simple,COMMA) [ RPAR ] -## type_expr_simple -> LPAR type_expr_simple . ARROW type_expr_simple RPAR [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] -## -## The known suffix of the stack is as follows: -## LPAR type_expr_simple -## -## WARNING: This example involves spurious reductions. -## 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 133, spurious reduction of production option(type_expr_simple_args) -> -## In state 142, spurious reduction of production type_expr_simple -> Ident option(type_expr_simple_args) -## - - - -interactive_expr: WILD COLON LPAR WILD -## -## Ends in an error in state: 132. -## -## type_expr_simple -> LPAR . nsepseq(type_expr_simple,COMMA) RPAR [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] -## type_expr_simple -> LPAR . type_expr_simple ARROW type_expr_simple RPAR [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] -## -## The known suffix of the stack is as follows: -## LPAR -## - - - -interactive_expr: WILD COLON WILD -## -## Ends in an error in state: 131. -## -## type_annotation_simple -> COLON . type_expr_simple [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] -## -## The known suffix of the stack is as follows: -## COLON -## - - - -interactive_expr: WILD EQEQ VBAR -## -## Ends in an error in state: 202. +## Ends in an error in state: 203. ## ## bin_op(comp_expr_level,EQEQ,cat_expr_level) -> comp_expr_level EQEQ . cat_expr_level [ VBAR Type SEMI RPAR RBRACKET RBRACE Or NE Let LT LE GT GE EQEQ EOF COMMA BOOL_OR BOOL_AND Attr ARROW ] ## @@ -2621,9 +2451,9 @@ interactive_expr: WILD EQEQ VBAR -interactive_expr: WILD GE VBAR +interactive_expr: True GE WILD ## -## Ends in an error in state: 200. +## Ends in an error in state: 201. ## ## bin_op(comp_expr_level,GE,cat_expr_level) -> comp_expr_level GE . cat_expr_level [ VBAR Type SEMI RPAR RBRACKET RBRACE Or NE Let LT LE GT GE EQEQ EOF COMMA BOOL_OR BOOL_AND Attr ARROW ] ## @@ -2633,9 +2463,9 @@ interactive_expr: WILD GE VBAR -interactive_expr: WILD GT VBAR +interactive_expr: True GT WILD ## -## Ends in an error in state: 198. +## Ends in an error in state: 199. ## ## bin_op(comp_expr_level,GT,cat_expr_level) -> comp_expr_level GT . cat_expr_level [ VBAR Type SEMI RPAR RBRACKET RBRACE Or NE Let LT LE GT GE EQEQ EOF COMMA BOOL_OR BOOL_AND Attr ARROW ] ## @@ -2645,9 +2475,9 @@ interactive_expr: WILD GT VBAR -interactive_expr: WILD LE VBAR +interactive_expr: True LE WILD ## -## Ends in an error in state: 196. +## Ends in an error in state: 197. ## ## bin_op(comp_expr_level,LE,cat_expr_level) -> comp_expr_level LE . cat_expr_level [ VBAR Type SEMI RPAR RBRACKET RBRACE Or NE Let LT LE GT GE EQEQ EOF COMMA BOOL_OR BOOL_AND Attr ARROW ] ## @@ -2657,22 +2487,9 @@ interactive_expr: WILD LE VBAR -interactive_expr: WILD LPAR VBAR +interactive_expr: True LPAR True COMMA VBAR ## -## Ends in an error in state: 156. -## -## call_expr -> core_expr LPAR . nsepseq(expr,COMMA) RPAR [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] -## unit -> LPAR . RPAR [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] -## -## The known suffix of the stack is as follows: -## core_expr LPAR -## - - - -interactive_expr: WILD LPAR WILD COMMA VBAR -## -## Ends in an error in state: 163. +## Ends in an error in state: 164. ## ## nsepseq(expr,COMMA) -> expr COMMA . nsepseq(expr,COMMA) [ RPAR ] ## @@ -2682,9 +2499,9 @@ interactive_expr: WILD LPAR WILD COMMA VBAR -interactive_expr: WILD LPAR WILD VBAR +interactive_expr: True LPAR True VBAR ## -## Ends in an error in state: 162. +## Ends in an error in state: 163. ## ## nsepseq(expr,COMMA) -> expr . [ RPAR ] ## nsepseq(expr,COMMA) -> expr . COMMA nsepseq(expr,COMMA) [ RPAR ] @@ -2696,26 +2513,39 @@ interactive_expr: WILD LPAR WILD 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) ## Missing `)`. -interactive_expr: WILD LT VBAR +interactive_expr: True LPAR VBAR ## -## Ends in an error in state: 194. +## Ends in an error in state: 157. +## +## call_expr -> core_expr LPAR . nsepseq(expr,COMMA) RPAR [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] +## unit -> LPAR . RPAR [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] +## +## The known suffix of the stack is as follows: +## core_expr LPAR +## + + + +interactive_expr: True LT WILD +## +## Ends in an error in state: 195. ## ## bin_op(comp_expr_level,LT,cat_expr_level) -> comp_expr_level LT . cat_expr_level [ VBAR Type SEMI RPAR RBRACKET RBRACE Or NE Let LT LE GT GE EQEQ EOF COMMA BOOL_OR BOOL_AND Attr ARROW ] ## @@ -2725,21 +2555,9 @@ interactive_expr: WILD LT VBAR -interactive_expr: WILD MINUS VBAR +interactive_expr: True MINUS True COLON LPAR Ident RPAR WILD ## -## Ends in an error in state: 190. -## -## bin_op(add_expr_level,MINUS,mult_expr_level) -> add_expr_level MINUS . mult_expr_level [ VBAR Type SEMI RPAR RBRACKET RBRACE PLUS Or NE MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] -## -## The known suffix of the stack is as follows: -## add_expr_level MINUS -## - - - -interactive_expr: WILD MINUS WILD COLON LPAR Ident RPAR WILD -## -## Ends in an error in state: 191. +## Ends in an error in state: 192. ## ## bin_op(add_expr_level,MINUS,mult_expr_level) -> add_expr_level MINUS mult_expr_level . [ VBAR Type SEMI RPAR RBRACKET RBRACE PLUS Or NE MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] ## bin_op(mult_expr_level,Mod,unary_expr_level) -> mult_expr_level . Mod unary_expr_level [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] @@ -2752,9 +2570,21 @@ interactive_expr: WILD MINUS WILD COLON LPAR Ident RPAR WILD -interactive_expr: WILD Mod VBAR +interactive_expr: True MINUS WILD ## -## Ends in an error in state: 188. +## Ends in an error in state: 191. +## +## bin_op(add_expr_level,MINUS,mult_expr_level) -> add_expr_level MINUS . mult_expr_level [ VBAR Type SEMI RPAR RBRACKET RBRACE PLUS Or NE MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] +## +## The known suffix of the stack is as follows: +## add_expr_level MINUS +## + + + +interactive_expr: True Mod WILD +## +## Ends in an error in state: 189. ## ## bin_op(mult_expr_level,Mod,unary_expr_level) -> mult_expr_level Mod . unary_expr_level [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] ## @@ -2764,9 +2594,9 @@ interactive_expr: WILD Mod VBAR -interactive_expr: WILD NE VBAR +interactive_expr: True NE WILD ## -## Ends in an error in state: 171. +## Ends in an error in state: 172. ## ## bin_op(comp_expr_level,NE,cat_expr_level) -> comp_expr_level NE . cat_expr_level [ VBAR Type SEMI RPAR RBRACKET RBRACE Or NE Let LT LE GT GE EQEQ EOF COMMA BOOL_OR BOOL_AND Attr ARROW ] ## @@ -2776,9 +2606,9 @@ interactive_expr: WILD NE VBAR -interactive_expr: WILD Or VBAR +interactive_expr: True Or WILD ## -## Ends in an error in state: 166. +## Ends in an error in state: 167. ## ## bin_op(disj_expr_level,Or,conj_expr_level) -> disj_expr_level Or . conj_expr_level [ VBAR Type SEMI RPAR RBRACKET RBRACE Or Let EOF COMMA BOOL_OR Attr ARROW ] ## @@ -2788,21 +2618,9 @@ interactive_expr: WILD Or VBAR -interactive_expr: WILD PLUS VBAR +interactive_expr: True PLUS True COLON LPAR Ident RPAR WILD ## -## Ends in an error in state: 184. -## -## bin_op(add_expr_level,PLUS,mult_expr_level) -> add_expr_level PLUS . mult_expr_level [ VBAR Type SEMI RPAR RBRACKET RBRACE PLUS Or NE MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] -## -## The known suffix of the stack is as follows: -## add_expr_level PLUS -## - - - -interactive_expr: WILD PLUS WILD COLON LPAR Ident RPAR WILD -## -## Ends in an error in state: 185. +## Ends in an error in state: 186. ## ## bin_op(add_expr_level,PLUS,mult_expr_level) -> add_expr_level PLUS mult_expr_level . [ VBAR Type SEMI RPAR RBRACKET RBRACE PLUS Or NE MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] ## bin_op(mult_expr_level,Mod,unary_expr_level) -> mult_expr_level . Mod unary_expr_level [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] @@ -2815,9 +2633,21 @@ interactive_expr: WILD PLUS WILD COLON LPAR Ident RPAR WILD -interactive_expr: WILD SLASH VBAR +interactive_expr: True PLUS WILD ## -## Ends in an error in state: 186. +## Ends in an error in state: 185. +## +## bin_op(add_expr_level,PLUS,mult_expr_level) -> add_expr_level PLUS . mult_expr_level [ VBAR Type SEMI RPAR RBRACKET RBRACE PLUS Or NE MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] +## +## The known suffix of the stack is as follows: +## add_expr_level PLUS +## + + + +interactive_expr: True SLASH WILD +## +## Ends in an error in state: 187. ## ## bin_op(mult_expr_level,SLASH,unary_expr_level) -> mult_expr_level SLASH . unary_expr_level [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] ## @@ -2827,9 +2657,9 @@ interactive_expr: WILD SLASH VBAR -interactive_expr: WILD TIMES VBAR +interactive_expr: True TIMES WILD ## -## Ends in an error in state: 153. +## Ends in an error in state: 154. ## ## bin_op(mult_expr_level,TIMES,unary_expr_level) -> mult_expr_level TIMES . unary_expr_level [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] ## @@ -2839,9 +2669,9 @@ interactive_expr: WILD TIMES VBAR -interactive_expr: WILD VBAR +interactive_expr: True VBAR ## -## Ends in an error in state: 545. +## Ends in an error in state: 546. ## ## interactive_expr -> expr_with_let_expr . EOF [ # ] ## @@ -2852,27 +2682,27 @@ interactive_expr: WILD 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) -## In state 400, spurious reduction of production expr_with_let_expr -> expr +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) +## In state 401, spurious reduction of production expr_with_let_expr -> expr ## -interactive_expr: WILD WILD +interactive_expr: True WILD ## -## Ends in an error in state: 155. +## Ends in an error in state: 156. ## ## call_expr -> core_expr . LPAR nsepseq(expr,COMMA) RPAR [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] ## call_expr -> core_expr . unit [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA COLON CAT BOOL_OR BOOL_AND Attr ARROW ] @@ -2884,6 +2714,187 @@ interactive_expr: WILD WILD +interactive_expr: VBAR +## +## Ends in an error in state: 544. +## +## interactive_expr' -> . interactive_expr [ # ] +## +## The known suffix of the stack is as follows: +## +## + + + +interactive_expr: WILD COLON Ident LPAR Ident VBAR +## +## Ends in an error in state: 87. +## +## nsepseq(type_expr_simple,COMMA) -> type_expr_simple . [ RPAR ] +## nsepseq(type_expr_simple,COMMA) -> type_expr_simple . COMMA nsepseq(type_expr_simple,COMMA) [ RPAR ] +## +## The known suffix of the stack is as follows: +## type_expr_simple +## +## WARNING: This example involves spurious reductions. +## 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 85, spurious reduction of production option(type_expr_simple_args) -> +## In state 94, spurious reduction of production type_expr_simple -> Ident option(type_expr_simple_args) +## + + + +interactive_expr: WILD COLON Ident LPAR WILD +## +## Ends in an error in state: 86. +## +## par(nsepseq(type_expr_simple,COMMA)) -> LPAR . nsepseq(type_expr_simple,COMMA) RPAR [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] +## +## The known suffix of the stack is as follows: +## LPAR +## + + + +interactive_expr: WILD COLON Ident TIMES +## +## Ends in an error in state: 166. +## +## base_expr(expr) -> disj_expr_level . [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] +## bin_op(disj_expr_level,BOOL_OR,conj_expr_level) -> disj_expr_level . BOOL_OR conj_expr_level [ VBAR Type SEMI RPAR RBRACKET RBRACE Or Let EOF COMMA BOOL_OR Attr ARROW ] +## bin_op(disj_expr_level,Or,conj_expr_level) -> disj_expr_level . Or conj_expr_level [ VBAR Type SEMI RPAR RBRACKET RBRACE Or Let EOF COMMA BOOL_OR Attr ARROW ] +## fun_expr -> disj_expr_level . ARROW expr [ VBAR Type SEMI RPAR RBRACKET RBRACE Let EOF COMMA Attr ] +## +## The known suffix of the stack is as follows: +## disj_expr_level +## +## WARNING: This example involves spurious reductions. +## 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 85, spurious reduction of production option(type_expr_simple_args) -> +## In state 94, spurious reduction of production type_expr_simple -> Ident option(type_expr_simple_args) +## In state 101, spurious reduction of production type_annotation_simple -> COLON type_expr_simple +## In state 102, spurious reduction of production disj_expr_level -> WILD type_annotation_simple +## + + + +interactive_expr: WILD COLON Ident WILD +## +## Ends in an error in state: 85. +## +## type_expr_simple -> Ident . option(type_expr_simple_args) [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] +## +## The known suffix of the stack is as follows: +## Ident +## + + + +interactive_expr: WILD COLON LPAR Ident ARROW Ident VBAR +## +## Ends in an error in state: 97. +## +## type_expr_simple -> LPAR type_expr_simple ARROW type_expr_simple . RPAR [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] +## +## The known suffix of the stack is as follows: +## LPAR type_expr_simple ARROW type_expr_simple +## +## WARNING: This example involves spurious reductions. +## 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 85, spurious reduction of production option(type_expr_simple_args) -> +## In state 94, spurious reduction of production type_expr_simple -> Ident option(type_expr_simple_args) +## + + + +interactive_expr: WILD COLON LPAR Ident ARROW WILD +## +## Ends in an error in state: 96. +## +## type_expr_simple -> LPAR type_expr_simple ARROW . type_expr_simple RPAR [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] +## +## The known suffix of the stack is as follows: +## LPAR type_expr_simple ARROW +## + + + +interactive_expr: WILD COLON LPAR Ident COMMA WILD +## +## Ends in an error in state: 88. +## +## nsepseq(type_expr_simple,COMMA) -> type_expr_simple COMMA . nsepseq(type_expr_simple,COMMA) [ RPAR ] +## +## The known suffix of the stack is as follows: +## type_expr_simple COMMA +## + + + +interactive_expr: WILD COLON LPAR Ident VBAR +## +## Ends in an error in state: 95. +## +## nsepseq(type_expr_simple,COMMA) -> type_expr_simple . [ RPAR ] +## nsepseq(type_expr_simple,COMMA) -> type_expr_simple . COMMA nsepseq(type_expr_simple,COMMA) [ RPAR ] +## type_expr_simple -> LPAR type_expr_simple . ARROW type_expr_simple RPAR [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] +## +## The known suffix of the stack is as follows: +## LPAR type_expr_simple +## +## WARNING: This example involves spurious reductions. +## 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 85, spurious reduction of production option(type_expr_simple_args) -> +## In state 94, spurious reduction of production type_expr_simple -> Ident option(type_expr_simple_args) +## + + + +interactive_expr: WILD COLON LPAR WILD +## +## Ends in an error in state: 84. +## +## type_expr_simple -> LPAR . nsepseq(type_expr_simple,COMMA) RPAR [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] +## type_expr_simple -> LPAR . type_expr_simple ARROW type_expr_simple RPAR [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] +## +## The known suffix of the stack is as follows: +## LPAR +## + + + +interactive_expr: WILD COLON WILD +## +## Ends in an error in state: 83. +## +## type_annotation_simple -> COLON . type_expr_simple [ VBAR Type TIMES SLASH SEMI RPAR RBRACKET RBRACE PLUS Or NE Mod MINUS Let LT LE GT GE EQEQ EOF COMMA CAT BOOL_OR BOOL_AND Attr ARROW ] +## +## The known suffix of the stack is as follows: +## COLON +## + + + +interactive_expr: WILD WILD +## +## Ends in an error in state: 82. +## +## disj_expr_level -> WILD . type_annotation_simple [ VBAR Type SEMI RPAR RBRACKET RBRACE Or Let EOF COMMA BOOL_OR Attr ARROW ] +## +## The known suffix of the stack is as follows: +## WILD +## + + + contract: Attr WILD ## ## Ends in an error in state: 69. @@ -2898,7 +2909,7 @@ contract: Attr WILD contract: Let Ident COLON Constr Type ## -## Ends in an error in state: 376. +## Ends in an error in state: 377. ## ## let_binding -> Ident option(type_annotation) . EQ expr [ Type SEMI Let EOF Attr ] ## @@ -2921,7 +2932,7 @@ contract: Let Ident COLON Constr Type contract: Let Ident EQ VBAR ## -## Ends in an error in state: 377. +## Ends in an error in state: 378. ## ## let_binding -> Ident option(type_annotation) EQ . expr [ Type SEMI Let EOF Attr ] ## @@ -2934,11 +2945,11 @@ This is an incorrect let binding. Examples of correct let bindings: let a: int = 4; let (a: int, b: int) = (1, 2); -let func = (a: int, b: int) => a + b; +let func = (a: int, b: int) => a + b contract: Let Ident WILD ## -## Ends in an error in state: 375. +## Ends in an error in state: 376. ## ## let_binding -> Ident . option(type_annotation) EQ expr [ Type SEMI Let EOF Attr ] ## sub_irrefutable -> Ident . [ COMMA ] @@ -2951,7 +2962,7 @@ contract: Let Ident WILD contract: Let LBRACE Ident EQ Bytes COMMA Ident EQ Bytes COMMA WILD ## -## Ends in an error in state: 311. +## Ends in an error in state: 312. ## ## nsepseq(field_pattern,COMMA) -> field_pattern COMMA . nsepseq(field_pattern,COMMA) [ RBRACE ] ## seq(__anonymous_0(field_pattern,COMMA)) -> field_pattern COMMA . seq(__anonymous_0(field_pattern,COMMA)) [ RBRACE ] @@ -2964,7 +2975,7 @@ contract: Let LBRACE Ident EQ Bytes COMMA Ident EQ Bytes COMMA WILD contract: Let LBRACE Ident EQ Bytes COMMA Ident EQ Bytes WILD ## -## Ends in an error in state: 310. +## Ends in an error in state: 311. ## ## nsepseq(field_pattern,COMMA) -> field_pattern . [ RBRACE ] ## nsepseq(field_pattern,COMMA) -> field_pattern . COMMA nsepseq(field_pattern,COMMA) [ RBRACE ] @@ -2978,7 +2989,7 @@ contract: Let LBRACE Ident EQ Bytes COMMA Ident EQ Bytes WILD contract: Let LBRACE Ident EQ Bytes COMMA WILD ## -## Ends in an error in state: 307. +## Ends in an error in state: 308. ## ## nsepseq(field_pattern,COMMA) -> field_pattern COMMA . nsepseq(field_pattern,COMMA) [ RBRACE ] ## nseq(__anonymous_0(field_pattern,COMMA)) -> field_pattern COMMA . seq(__anonymous_0(field_pattern,COMMA)) [ RBRACE ] @@ -2991,7 +3002,7 @@ contract: Let LBRACE Ident EQ Bytes COMMA WILD contract: Let LBRACE Ident EQ Bytes RBRACE COLON Constr Type ## -## Ends in an error in state: 389. +## Ends in an error in state: 390. ## ## let_binding -> record_pattern option(type_annotation) . EQ expr [ Type SEMI Let EOF Attr ] ## @@ -3014,7 +3025,7 @@ contract: Let LBRACE Ident EQ Bytes RBRACE COLON Constr Type contract: Let LBRACE Ident EQ Bytes RBRACE EQ VBAR ## -## Ends in an error in state: 390. +## Ends in an error in state: 391. ## ## let_binding -> record_pattern option(type_annotation) EQ . expr [ Type SEMI Let EOF Attr ] ## @@ -3026,7 +3037,7 @@ contract: Let LBRACE Ident EQ Bytes RBRACE EQ VBAR contract: Let LBRACE Ident EQ Bytes RBRACE WILD ## -## Ends in an error in state: 388. +## Ends in an error in state: 389. ## ## let_binding -> record_pattern . option(type_annotation) EQ expr [ Type SEMI Let EOF Attr ] ## sub_irrefutable -> record_pattern . [ COMMA ] @@ -3039,7 +3050,7 @@ contract: Let LBRACE Ident EQ Bytes RBRACE WILD contract: Let LBRACE Ident EQ Bytes WILD ## -## Ends in an error in state: 306. +## Ends in an error in state: 307. ## ## nsepseq(field_pattern,COMMA) -> field_pattern . [ RBRACE ] ## nsepseq(field_pattern,COMMA) -> field_pattern . COMMA nsepseq(field_pattern,COMMA) [ RBRACE ] @@ -3053,7 +3064,7 @@ contract: Let LBRACE Ident EQ Bytes WILD contract: Let LBRACE Ident EQ VBAR ## -## Ends in an error in state: 284. +## Ends in an error in state: 285. ## ## field_pattern -> Ident EQ . sub_pattern [ RBRACE COMMA ] ## @@ -3065,7 +3076,7 @@ contract: Let LBRACE Ident EQ VBAR contract: Let LBRACE Ident WILD ## -## Ends in an error in state: 283. +## Ends in an error in state: 284. ## ## field_pattern -> Ident . EQ sub_pattern [ RBRACE COMMA ] ## @@ -3077,7 +3088,7 @@ contract: Let LBRACE Ident WILD contract: Let LBRACE WILD ## -## Ends in an error in state: 282. +## Ends in an error in state: 283. ## ## record_pattern -> LBRACE . sep_or_term_list(field_pattern,COMMA) RBRACE [ SEMI RPAR RBRACKET RBRACE EQ COMMA COLON ARROW ] ## @@ -3089,7 +3100,7 @@ contract: Let LBRACE WILD contract: Let LPAR C_Some VBAR ## -## Ends in an error in state: 289. +## Ends in an error in state: 290. ## ## constr_pattern -> C_Some . sub_pattern [ SEMI RPAR RBRACKET RBRACE COMMA ARROW ] ## @@ -3101,7 +3112,7 @@ contract: Let LPAR C_Some VBAR contract: Let LPAR Constr LBRACKET VBAR ## -## Ends in an error in state: 281. +## Ends in an error in state: 282. ## ## list__(sub_pattern) -> LBRACKET . option(sep_or_term_list(sub_pattern,SEMI)) RBRACKET [ SEMI RPAR RBRACKET RBRACE COMMA ARROW ] ## @@ -3113,7 +3124,7 @@ contract: Let LPAR Constr LBRACKET VBAR contract: Let LPAR Constr LBRACKET WILD SEMI VBAR ## -## Ends in an error in state: 314. +## Ends in an error in state: 315. ## ## nsepseq(sub_pattern,SEMI) -> sub_pattern SEMI . nsepseq(sub_pattern,SEMI) [ RBRACKET ] ## nseq(__anonymous_0(sub_pattern,SEMI)) -> sub_pattern SEMI . seq(__anonymous_0(sub_pattern,SEMI)) [ RBRACKET ] @@ -3126,7 +3137,7 @@ contract: Let LPAR Constr LBRACKET WILD SEMI VBAR contract: Let LPAR Constr LBRACKET WILD SEMI WILD SEMI VBAR ## -## Ends in an error in state: 316. +## Ends in an error in state: 317. ## ## nsepseq(sub_pattern,SEMI) -> sub_pattern SEMI . nsepseq(sub_pattern,SEMI) [ RBRACKET ] ## seq(__anonymous_0(sub_pattern,SEMI)) -> sub_pattern SEMI . seq(__anonymous_0(sub_pattern,SEMI)) [ RBRACKET ] @@ -3139,7 +3150,7 @@ contract: Let LPAR Constr LBRACKET WILD SEMI WILD SEMI VBAR contract: Let LPAR Constr LBRACKET WILD SEMI WILD WILD ## -## Ends in an error in state: 315. +## Ends in an error in state: 316. ## ## nsepseq(sub_pattern,SEMI) -> sub_pattern . [ RBRACKET ] ## nsepseq(sub_pattern,SEMI) -> sub_pattern . SEMI nsepseq(sub_pattern,SEMI) [ RBRACKET ] @@ -3153,7 +3164,7 @@ contract: Let LPAR Constr LBRACKET WILD SEMI WILD WILD contract: Let LPAR Constr LBRACKET WILD WILD ## -## Ends in an error in state: 313. +## Ends in an error in state: 314. ## ## nsepseq(sub_pattern,SEMI) -> sub_pattern . [ RBRACKET ] ## nsepseq(sub_pattern,SEMI) -> sub_pattern . SEMI nsepseq(sub_pattern,SEMI) [ RBRACKET ] @@ -3167,7 +3178,7 @@ contract: Let LPAR Constr LBRACKET WILD WILD contract: Let LPAR Constr LPAR VBAR ## -## Ends in an error in state: 280. +## Ends in an error in state: 281. ## ## par(ptuple) -> LPAR . ptuple RPAR [ SEMI RPAR RBRACKET RBRACE COMMA ARROW ] ## par(sub_pattern) -> LPAR . sub_pattern RPAR [ SEMI RPAR RBRACKET RBRACE COMMA ARROW ] @@ -3181,7 +3192,7 @@ contract: Let LPAR Constr LPAR VBAR contract: Let LPAR Constr LPAR WILD COMMA Bytes ARROW ## -## Ends in an error in state: 333. +## Ends in an error in state: 334. ## ## par(ptuple) -> LPAR ptuple . RPAR [ SEMI RPAR RBRACKET RBRACE COMMA ARROW ] ## @@ -3192,16 +3203,16 @@ contract: Let LPAR Constr LPAR WILD COMMA Bytes ARROW ## 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 329, spurious reduction of production nsepseq(sub_pattern,COMMA) -> sub_pattern -## In state 332, spurious reduction of production tuple(sub_pattern) -> sub_pattern COMMA nsepseq(sub_pattern,COMMA) -## In state 325, spurious reduction of production ptuple -> tuple(sub_pattern) +## In state 330, spurious reduction of production nsepseq(sub_pattern,COMMA) -> sub_pattern +## In state 333, spurious reduction of production tuple(sub_pattern) -> sub_pattern COMMA nsepseq(sub_pattern,COMMA) +## In state 326, spurious reduction of production ptuple -> tuple(sub_pattern) ## contract: Let LPAR Constr LPAR WILD WILD ## -## Ends in an error in state: 326. +## Ends in an error in state: 327. ## ## par(sub_pattern) -> LPAR sub_pattern . RPAR [ SEMI RPAR RBRACKET RBRACE COMMA ARROW ] ## tuple(sub_pattern) -> sub_pattern . COMMA nsepseq(sub_pattern,COMMA) [ RPAR ] @@ -3214,7 +3225,7 @@ contract: Let LPAR Constr LPAR WILD WILD contract: Let LPAR Constr SEMI ## -## Ends in an error in state: 373. +## Ends in an error in state: 374. ## ## par(closed_irrefutable) -> LPAR closed_irrefutable . RPAR [ RPAR EQ COMMA COLON ] ## @@ -3225,15 +3236,15 @@ contract: Let LPAR Constr 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 288, spurious reduction of production constr_pattern -> Constr -## In state 372, spurious reduction of production closed_irrefutable -> constr_pattern +## In state 289, spurious reduction of production constr_pattern -> Constr +## In state 373, spurious reduction of production closed_irrefutable -> constr_pattern ## contract: Let LPAR Constr VBAR ## -## Ends in an error in state: 288. +## Ends in an error in state: 289. ## ## constr_pattern -> Constr . sub_pattern [ SEMI RPAR RBRACKET RBRACE COMMA ARROW ] ## constr_pattern -> Constr . [ SEMI RPAR RBRACKET RBRACE COMMA ARROW ] @@ -3246,7 +3257,7 @@ contract: Let LPAR Constr VBAR contract: Let LPAR RPAR COLON Constr Type ## -## Ends in an error in state: 380. +## Ends in an error in state: 381. ## ## let_binding -> unit option(type_annotation) . EQ expr [ Type SEMI Let EOF Attr ] ## @@ -3269,7 +3280,7 @@ contract: Let LPAR RPAR COLON Constr Type contract: Let LPAR RPAR EQ VBAR ## -## Ends in an error in state: 381. +## Ends in an error in state: 382. ## ## let_binding -> unit option(type_annotation) EQ . expr [ Type SEMI Let EOF Attr ] ## @@ -3281,7 +3292,7 @@ contract: Let LPAR RPAR EQ VBAR contract: Let LPAR RPAR WILD ## -## Ends in an error in state: 379. +## Ends in an error in state: 380. ## ## let_binding -> unit . option(type_annotation) EQ expr [ Type SEMI Let EOF Attr ] ## sub_irrefutable -> unit . [ COMMA ] @@ -3294,7 +3305,7 @@ contract: Let LPAR RPAR WILD contract: Let LPAR VBAR ## -## Ends in an error in state: 355. +## Ends in an error in state: 356. ## ## par(closed_irrefutable) -> LPAR . closed_irrefutable RPAR [ RPAR EQ COMMA COLON ] ## unit -> LPAR . RPAR [ RPAR EQ COMMA COLON ] @@ -3307,7 +3318,7 @@ contract: Let LPAR VBAR contract: Let LPAR WILD COLON WILD ## -## Ends in an error in state: 370. +## Ends in an error in state: 371. ## ## typed_pattern -> irrefutable COLON . type_expr [ RPAR ] ## @@ -3319,7 +3330,7 @@ contract: Let LPAR WILD COLON WILD contract: Let LPAR WILD COMMA Ident EQ ## -## Ends in an error in state: 369. +## Ends in an error in state: 370. ## ## closed_irrefutable -> irrefutable . [ RPAR ] ## typed_pattern -> irrefutable . COLON type_expr [ RPAR ] @@ -3331,16 +3342,16 @@ contract: Let LPAR WILD COMMA Ident EQ ## 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 363, spurious reduction of production nsepseq(sub_irrefutable,COMMA) -> sub_irrefutable -## In state 368, spurious reduction of production tuple(sub_irrefutable) -> sub_irrefutable COMMA nsepseq(sub_irrefutable,COMMA) -## In state 360, spurious reduction of production irrefutable -> tuple(sub_irrefutable) +## In state 364, spurious reduction of production nsepseq(sub_irrefutable,COMMA) -> sub_irrefutable +## In state 369, spurious reduction of production tuple(sub_irrefutable) -> sub_irrefutable COMMA nsepseq(sub_irrefutable,COMMA) +## In state 361, spurious reduction of production irrefutable -> tuple(sub_irrefutable) ## contract: Let LPAR WILD RPAR COLON Constr Type ## -## Ends in an error in state: 393. +## Ends in an error in state: 394. ## ## let_binding -> par(closed_irrefutable) option(type_annotation) . EQ expr [ Type SEMI Let EOF Attr ] ## @@ -3363,7 +3374,7 @@ contract: Let LPAR WILD RPAR COLON Constr Type contract: Let LPAR WILD RPAR EQ VBAR ## -## Ends in an error in state: 394. +## Ends in an error in state: 395. ## ## let_binding -> par(closed_irrefutable) option(type_annotation) EQ . expr [ Type SEMI Let EOF Attr ] ## @@ -3375,7 +3386,7 @@ contract: Let LPAR WILD RPAR EQ VBAR contract: Let LPAR WILD RPAR WILD ## -## Ends in an error in state: 392. +## Ends in an error in state: 393. ## ## let_binding -> par(closed_irrefutable) . option(type_annotation) EQ expr [ Type SEMI Let EOF Attr ] ## sub_irrefutable -> par(closed_irrefutable) . [ COMMA ] @@ -3388,7 +3399,7 @@ contract: Let LPAR WILD RPAR WILD contract: Let LPAR WILD WILD ## -## Ends in an error in state: 361. +## Ends in an error in state: 362. ## ## irrefutable -> sub_irrefutable . [ RPAR COLON ] ## tuple(sub_irrefutable) -> sub_irrefutable . COMMA nsepseq(sub_irrefutable,COMMA) [ RPAR COLON ] @@ -3401,7 +3412,7 @@ contract: Let LPAR WILD WILD contract: Let Rec VBAR ## -## Ends in an error in state: 533. +## Ends in an error in state: 534. ## ## let_declaration -> seq(Attr) Let Rec . let_binding [ Type SEMI Let EOF Attr ] ## @@ -3460,7 +3471,7 @@ contract: Let WILD COLON WILD contract: Let WILD COMMA Ident COLON Constr Type ## -## Ends in an error in state: 384. +## Ends in an error in state: 385. ## ## let_binding -> tuple(sub_irrefutable) option(type_annotation) . EQ expr [ Type SEMI Let EOF Attr ] ## @@ -3483,7 +3494,7 @@ contract: Let WILD COMMA Ident COLON Constr Type contract: Let WILD COMMA Ident EQ VBAR ## -## Ends in an error in state: 385. +## Ends in an error in state: 386. ## ## let_binding -> tuple(sub_irrefutable) option(type_annotation) EQ . expr [ Type SEMI Let EOF Attr ] ## @@ -3495,7 +3506,7 @@ contract: Let WILD COMMA Ident EQ VBAR contract: Let WILD COMMA Ident RPAR ## -## Ends in an error in state: 383. +## Ends in an error in state: 384. ## ## let_binding -> tuple(sub_irrefutable) . option(type_annotation) EQ expr [ Type SEMI Let EOF Attr ] ## @@ -3506,15 +3517,15 @@ contract: Let WILD COMMA Ident 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 363, spurious reduction of production nsepseq(sub_irrefutable,COMMA) -> sub_irrefutable -## In state 368, spurious reduction of production tuple(sub_irrefutable) -> sub_irrefutable COMMA nsepseq(sub_irrefutable,COMMA) +## In state 364, spurious reduction of production nsepseq(sub_irrefutable,COMMA) -> sub_irrefutable +## In state 369, spurious reduction of production tuple(sub_irrefutable) -> sub_irrefutable COMMA nsepseq(sub_irrefutable,COMMA) ## contract: Let WILD COMMA VBAR ## -## Ends in an error in state: 362. +## Ends in an error in state: 363. ## ## tuple(sub_irrefutable) -> sub_irrefutable COMMA . nsepseq(sub_irrefutable,COMMA) [ RPAR EQ COLON ] ## @@ -3526,7 +3537,7 @@ contract: Let WILD COMMA VBAR contract: Let WILD COMMA WILD COMMA VBAR ## -## Ends in an error in state: 364. +## Ends in an error in state: 365. ## ## nsepseq(sub_irrefutable,COMMA) -> sub_irrefutable COMMA . nsepseq(sub_irrefutable,COMMA) [ RPAR EQ COLON ] ## @@ -3538,7 +3549,7 @@ contract: Let WILD COMMA WILD COMMA VBAR contract: Let WILD COMMA WILD WILD ## -## Ends in an error in state: 363. +## Ends in an error in state: 364. ## ## nsepseq(sub_irrefutable,COMMA) -> sub_irrefutable . [ RPAR EQ COLON ] ## nsepseq(sub_irrefutable,COMMA) -> sub_irrefutable . COMMA nsepseq(sub_irrefutable,COMMA) [ RPAR EQ COLON ] @@ -3551,7 +3562,7 @@ contract: Let WILD COMMA WILD WILD contract: Let WILD EQ Bytes VBAR ## -## Ends in an error in state: 536. +## Ends in an error in state: 537. ## ## declaration -> let_declaration . option(SEMI) [ Type Let EOF Attr ] ## @@ -3562,21 +3573,21 @@ contract: Let WILD EQ 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 155, spurious reduction of production call_expr_level_in -> core_expr -## In state 173, spurious reduction of production option(type_annotation_simple) -> -## In state 174, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) -## In state 175, spurious reduction of production unary_expr_level -> call_expr_level -## In state 128, spurious reduction of production mult_expr_level -> unary_expr_level -## In state 152, spurious reduction of production add_expr_level -> mult_expr_level -## In state 183, spurious reduction of production cat_expr_level -> add_expr_level -## In state 204, spurious reduction of production comp_expr_level -> cat_expr_level -## In state 211, spurious reduction of production conj_expr_level -> comp_expr_level -## In state 218, spurious reduction of production disj_expr_level -> conj_expr_level -## In state 165, spurious reduction of production base_expr(expr) -> disj_expr_level -## In state 222, spurious reduction of production base_cond__open(expr) -> base_expr(expr) -## In state 223, spurious reduction of production expr -> base_cond__open(expr) -## In state 532, spurious reduction of production let_binding -> WILD option(type_annotation) EQ expr -## In state 535, spurious reduction of production let_declaration -> seq(Attr) Let let_binding +## In state 156, spurious reduction of production call_expr_level_in -> core_expr +## In state 174, spurious reduction of production option(type_annotation_simple) -> +## In state 175, spurious reduction of production call_expr_level -> call_expr_level_in option(type_annotation_simple) +## In state 176, spurious reduction of production unary_expr_level -> call_expr_level +## In state 148, spurious reduction of production mult_expr_level -> unary_expr_level +## In state 153, spurious reduction of production add_expr_level -> mult_expr_level +## In state 184, spurious reduction of production cat_expr_level -> add_expr_level +## In state 205, spurious reduction of production comp_expr_level -> cat_expr_level +## In state 212, spurious reduction of production conj_expr_level -> comp_expr_level +## In state 219, spurious reduction of production disj_expr_level -> conj_expr_level +## In state 166, spurious reduction of production base_expr(expr) -> disj_expr_level +## In state 223, spurious reduction of production base_cond__open(expr) -> base_expr(expr) +## In state 224, spurious reduction of production expr -> base_cond__open(expr) +## In state 533, spurious reduction of production let_binding -> WILD option(type_annotation) EQ expr +## In state 536, spurious reduction of production let_declaration -> seq(Attr) Let let_binding ## @@ -3686,7 +3697,7 @@ contract: Type Ident EQ Constr RPAR contract: Type Ident EQ Constr SEMI WILD ## -## Ends in an error in state: 540. +## Ends in an error in state: 541. ## ## declarations -> declaration . [ EOF ] ## declarations -> declaration . declarations [ EOF ]