/* File: else3.y
   Another way to resolve the dangling else is to rewrite the grammar
   with "matched" versus "open" if statements (p. 212 in the
   purple dragon book).
*/

%{
%}

%token IF THEN ELSE
%token FOO
%token EXPR

%%

program : statement_list ;

statement_list : statement_list statement 
	| statement
	;

statement : if_stmt 
	;

stmt_block : '{' statement_list '}' ;

other_stmt : FOO ';'
	| stmt_block
	;

if_stmt : matched_if_stmt 
	| open_if_stmt
	;

matched_if_stmt : IF EXPR THEN matched_if_stmt ELSE matched_if_stmt
	| other_stmt
	;

open_if_stmt : IF EXPR THEN if_stmt
	| IF EXPR THEN matched_if_stmt ELSE open_if_stmt
	;

%%