Skip to content

Instantly share code, notes, and snippets.

@tjdevries

tjdevries/conflicts.smh

Created May 8, 2024 14:05
Show Gist options
  • Save tjdevries/d3f9ccc9c2a6f61b457215faf0cf4984 to your computer and use it in GitHub Desktop.
Save tjdevries/d3f9ccc9c2a6f61b457215faf0cf4984 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
conflicts.smh
** Conflict (shift/reduce) in state 230.
** Token involved: LPAR
** This state is reached from prog after reading:
varlist1 EQUAL LPAR exp RPAR
** The derivations that appear below have the following common factor:
** (The question mark symbol (?) represents the spot where the derivations begin to differ.)
prog
list(terminated(stat,option(SEMICOLON))) EOF
(?)
** In state 230, looking ahead at LPAR, shifting is permitted
** because of the following sub-derivation:
stat option(SEMICOLON) list(terminated(stat,option(SEMICOLON)))
binding
varlist1 EQUAL explist1
separated_nonempty_list(COMMA,exp)
exp
exp_or
exp_and
exp_logic
exp_add
exp_mul
exp_unop
exp_exponent
exp_atom
functioncall
LPAR exp RPAR args
. LPAR explist RPAR
** In state 230, looking ahead at LPAR, reducing production
** exp_atom -> LPAR exp RPAR
** is permitted because of the following sub-derivation:
stat option(SEMICOLON) list(terminated(stat,option(SEMICOLON))) // lookahead token appears because option(SEMICOLON) can vanish and list(terminated(stat,option(SEMICOLON))) can begin with LPAR
binding // lookahead token is inherited
varlist1 EQUAL explist1 // lookahead token is inherited
separated_nonempty_list(COMMA,exp) // lookahead token is inherited
exp // lookahead token is inherited
exp_or // lookahead token is inherited
exp_and // lookahead token is inherited
exp_logic // lookahead token is inherited
exp_add // lookahead token is inherited
exp_mul // lookahead token is inherited
exp_unop // lookahead token is inherited
exp_exponent // lookahead token is inherited
exp_atom // lookahead token is inherited
LPAR exp RPAR .
** Conflict (shift/reduce) in state 156.
** Token involved: LPAR
** This state is reached from prog after reading:
functioncall
** The derivations that appear below have the following common factor:
** (The question mark symbol (?) represents the spot where the derivations begin to differ.)
prog
list(terminated(stat,option(SEMICOLON))) EOF
(?)
** In state 156, looking ahead at LPAR, shifting is permitted
** because of the following sub-derivation:
stat option(SEMICOLON) list(terminated(stat,option(SEMICOLON)))
functioncall
functioncall args
. LPAR explist RPAR
** In state 156, looking ahead at LPAR, reducing production
** stat -> functioncall
** is permitted because of the following sub-derivation:
stat option(SEMICOLON) list(terminated(stat,option(SEMICOLON))) // lookahead token appears because option(SEMICOLON) can vanish and list(terminated(stat,option(SEMICOLON))) can begin with LPAR
functioncall .
** Conflict (shift/reduce) in state 147.
** Token involved: SEMICOLON
** This state is reached from prog after reading:
KW_REPEAT stat
** The derivations that appear below have the following common factor:
** (The question mark symbol (?) represents the spot where the derivations begin to differ.)
prog
list(terminated(stat,option(SEMICOLON))) EOF
stat option(SEMICOLON) list(terminated(stat,option(SEMICOLON)))
repeat_statement
KW_REPEAT block KW_UNTIL exp
chunk
(?)
** In state 147, looking ahead at SEMICOLON, reducing production
** option(SEMICOLON) ->
** is permitted because of the following sub-derivation:
list(terminated(stat,option(SEMICOLON))) option(SEMICOLON) option(terminated(laststat,option(SEMICOLON))) // lookahead token appears because option(SEMICOLON) can begin with SEMICOLON
stat option(SEMICOLON) list(terminated(stat,option(SEMICOLON))) // lookahead token is inherited because list(terminated(stat,option(SEMICOLON))) can vanish
.
** In state 147, looking ahead at SEMICOLON, shifting is permitted
** because of the following sub-derivation:
list(terminated(stat,option(SEMICOLON))) option(SEMICOLON) option(terminated(laststat,option(SEMICOLON)))
stat option(SEMICOLON) list(terminated(stat,option(SEMICOLON)))
. SEMICOLON
** Conflict (shift/reduce) in state 34.
** Token involved: LPAR
** This state is reached from prog after reading:
varlist1 EQUAL functioncall
** The derivations that appear below have the following common factor:
** (The question mark symbol (?) represents the spot where the derivations begin to differ.)
prog
list(terminated(stat,option(SEMICOLON))) EOF
(?)
** In state 34, looking ahead at LPAR, shifting is permitted
** because of the following sub-derivation:
stat option(SEMICOLON) list(terminated(stat,option(SEMICOLON)))
binding
varlist1 EQUAL explist1
separated_nonempty_list(COMMA,exp)
exp
exp_or
exp_and
exp_logic
exp_add
exp_mul
exp_unop
exp_exponent
exp_atom
functioncall
functioncall args
. LPAR explist RPAR
** In state 34, looking ahead at LPAR, reducing production
** exp_atom -> functioncall
** is permitted because of the following sub-derivation:
stat option(SEMICOLON) list(terminated(stat,option(SEMICOLON))) // lookahead token appears because option(SEMICOLON) can vanish and list(terminated(stat,option(SEMICOLON))) can begin with LPAR
binding // lookahead token is inherited
varlist1 EQUAL explist1 // lookahead token is inherited
separated_nonempty_list(COMMA,exp) // lookahead token is inherited
exp // lookahead token is inherited
exp_or // lookahead token is inherited
exp_and // lookahead token is inherited
exp_logic // lookahead token is inherited
exp_add // lookahead token is inherited
exp_mul // lookahead token is inherited
exp_unop // lookahead token is inherited
exp_exponent // lookahead token is inherited
exp_atom // lookahead token is inherited
functioncall .
** Conflict (shift/reduce) in state 28.
** Token involved: LPAR
** This state is reached from prog after reading:
varlist1 EQUAL var
** The derivations that appear below have the following common factor:
** (The question mark symbol (?) represents the spot where the derivations begin to differ.)
prog
list(terminated(stat,option(SEMICOLON))) EOF
(?)
** In state 28, looking ahead at LPAR, shifting is permitted
** because of the following sub-derivation:
stat option(SEMICOLON) list(terminated(stat,option(SEMICOLON)))
binding
varlist1 EQUAL explist1
separated_nonempty_list(COMMA,exp)
exp
exp_or
exp_and
exp_logic
exp_add
exp_mul
exp_unop
exp_exponent
exp_atom
functioncall
var args
. LPAR explist RPAR
** In state 28, looking ahead at LPAR, reducing production
** exp_atom -> var
** is permitted because of the following sub-derivation:
stat option(SEMICOLON) list(terminated(stat,option(SEMICOLON))) // lookahead token appears because option(SEMICOLON) can vanish and list(terminated(stat,option(SEMICOLON))) can begin with LPAR
binding // lookahead token is inherited
varlist1 EQUAL explist1 // lookahead token is inherited
separated_nonempty_list(COMMA,exp) // lookahead token is inherited
exp // lookahead token is inherited
exp_or // lookahead token is inherited
exp_and // lookahead token is inherited
exp_logic // lookahead token is inherited
exp_add // lookahead token is inherited
exp_mul // lookahead token is inherited
exp_unop // lookahead token is inherited
exp_exponent // lookahead token is inherited
exp_atom // lookahead token is inherited
var .
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment