drjdn
commented
3 years ago The current grammar has no shift-reduce or reduce-reduce warnings. I'm open to suggestions on how to reorder the grammar for better graphical representation provided that would still hold and all tests pass.
On Tue, Jun 29, 2021 at 4:10 AM Domingo Alvarez Duarte < @.***> wrote:
I've done a experimental tool to convert bison grammars to a kind of EBNF understood by https://www.bottlecaps.de/rr/ui to generate railroad diagrams see bellow the converted src/lib/parser.mly and with some hand made changes to allow view it at https://www.bottlecaps.de/rr/ui the order of the rules could be changed to a better view of the railroad diagrams. Copy and paste the EBNF bellow on https://www.bottlecaps.de/rr/ui tab Edit Grammar then switch to the tab View Diagram.
/ From https://raw.githubusercontent.com/drjdn/ocaml_lua_parser/master/src/lib/parser.mly /
prog ::= chunk EOF chunk ::= statlist retstat OSC | statlist statlist ::= OSC | statlist stat OSC block ::= chunk stat ::= varlist ASSIGN explist | functioncall | label | GOTO ident | DO block END | WHILE exp DO block END | REPEAT block UNTIL exp | IF exp THEN block END | IF exp THEN block ELSE block END | IF exp THEN block elseifps END | IF exp THEN block elseifps ELSE block END | FOR ident ASSIGN exp COMMA exp DO block END | FOR ident ASSIGN exp COMMA exp COMMA exp DO block END | FOR namelist IN explist DO block END | FUNCTION funcname funcbody | LOCAL FUNCTION ident funcbody | LOCAL namelist | LOCAL namelist ASSIGN explist elseifp ::= ELSEIF exp THEN block elseifps ::= elseifp | elseifps elseifp retstat ::= RETURN | RETURN explist | BREAK label ::= DCOLON ident DCOLON funcname ::= fname | fname COLON ident varlist ::= var | varlist COMMA var var ::= ident | bracket key | functioncall key | var key key ::= LB exp RB | DOT ident fname ::= ident | fname DOT ident namelist ::= ident | namelist COMMA ident explist ::= exp | explist COMMA exp exp ::= primary | var | functioncall | exp OR exp | exp AND exp | exp LT exp | exp GT exp | exp LE exp | exp GE exp | exp NE exp | exp EQ exp | exp CAT exp | exp PLUS exp | exp MINUS exp | exp MULT exp | exp DIV exp | exp MOD exp | exp CARAT exp | NOT exp | HASH exp | MINUS exp primary ::= BOOL | NUM_CONST | STR_CONST | ELLIPSIS | functiondef | tableconstructor | bracket bracket ::= LPAR exp RPAR functioncall ::= bracket args | bracket COLON ident args | var args | var COLON ident args | functioncall args | functioncall COLON ident args args ::= LPAR RPAR | LPAR explist RPAR | tableconstructor | STR_CONST functiondef ::= FUNCTION funcbody funcbody ::= LPAR RPAR block END | LPAR parlist RPAR block END parlist ::= namelist | namelist COMMA ELLIPSIS | ELLIPSIS tableconstructor ::= LCB RCB | LCB fieldlist RCB fieldlist ::= fields | fields fieldsep fields ::= field | fields fieldsep field field ::= LB exp RB ASSIGN exp | ident ASSIGN exp | exp fieldsep ::= COMMA | SEMI ident ::= IDENT OSC ::= / empty / | SEMI
// Tokens
PLUS ::= "+" MINUS ::= "-" MULT ::= "*" DIV ::= "/" MOD ::= "%" CARAT ::= "^" GT ::= ">" LT ::= "<" GE ::= ">=" LE ::= "<=" EQ ::= "==" NE ::= "~=" ASSIGN ::= "=" DOT ::= "." CAT ::= ".." ELLIPSIS ::= "..." COLON ::= ":" DCOLON ::= "::" SEMI ::= ";" COMMA ::= "," HASH ::= "#" LCB ::= "{" RCB ::= "}" LPAR ::= "(" RPAR ::= ")" LB ::= "[" RB ::= "]" AND ::= "and" BREAK ::= "break" DO ::= "do" ELSE ::= "else" ELSEIF ::= "elseif" END ::= "end" FOR ::= "for" FUNCTION ::= "function" GOTO ::= "goto" IF ::= "if" IN ::= "in" LOCAL ::= "local" NOT ::= "not" OR ::= "or" REPEAT ::= "repeat" RETURN ::= "return" THEN ::= "then" UNTIL ::= "until" WHILE ::= "while"
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/drjdn/ocaml_lua_parser/issues/1, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAJWETVVNHCQTF6QRD3HKDDTVF5YFANCNFSM47PR5P5Q .
I've done a experimental tool to convert bison grammars to a kind of EBNF understood by https://www.bottlecaps.de/rr/ui to generate railroad diagrams see bellow the converted
src/lib/parser.mlyand with some hand made changes to allow view it at https://www.bottlecaps.de/rr/ui the order of the rules could be changed to a better view of the railroad diagrams. Copy and paste the EBNF bellow on https://www.bottlecaps.de/rr/ui tab Edit Grammar then switch to the tab View Diagram.