Grammar railroad diagram

[mingodad]

Using a modified byacc (https://github.com/mingodad/lalr-parser-test/tree/main/byacc) that can export an EBNF understood by (IPV4) https://rr.red-dove.com/ui or (IPV6) https://www.bottlecaps.de/rr/ui that generates a nice navigable railroad diagram for the grammar in https://github.com/ncihnegn/miranda/blob/master/rules.y (see the instruction bellow at the top).

//
// EBNF to be viewd at
//	(IPV6) https://www.bottlecaps.de/rr/ui
//	(IPV4) https://rr.red-dove.com/ui
//
// Copy and paste this at one url shown above in the 'Edit Grammar' tab
// then click the 'View Diagram' tab.
//
entity ::=
	 /*error
	|*/ script
	| VALUE exp
	| EVAL exp
	| EVAL exp COLONCOLON
	| EVAL exp TO

script ::=
	 /*empty*/
	| defs

exp ::=
	 op
	| e1

op ::=
	 '~'
	| '#'
	| diop

diop ::=
	 '-'
	| diop1

diop1 ::=
	 '+'
	| PLUSPLUS
	| ':'
	| MINUSMINUS
	| VEL
	| '&'
	| relop
	| '*'
	| '/'
	| DIV
	| REM
	| '^'
	| '.'
	| '!'
	| INFIXNAME
	| INFIXCNAME

relop ::=
	 '>'
	| GE
	| eqop
	| NE
	| LE
	| '<'

eqop ::=
	 EQEQ
	| '='

rhs ::=
	 cases WHERE ldefs
	| exp WHERE ldefs
	| exp
	| cases

cases ::=
	 exp ',' if exp
	| exp ',' OTHERWISE
	| cases reindent ELSEQ alt

alt ::=
	 here exp
	| here exp ',' if exp
	| here exp ',' OTHERWISE

if ::=
	 /*empty*/
	| IF

indent ::=
	 /*empty*/

outdent ::=
	 separator

separator ::=
	 OFFSIDE
	| ';'

reindent ::=
	 /*empty*/

liste ::=
	 exp
	| liste ',' exp

e1 ::=
	 '~' e1
	| e1 PLUSPLUS e1
	| e1 ':' e1
	| e1 MINUSMINUS e1
	| e1 VEL e1
	| e1 '&' e1
	| reln
	| e2

es1 ::=
	 '~' e1
	| e1 PLUSPLUS e1
	| e1 PLUSPLUS
	| e1 ':' e1
	| e1 ':'
	| e1 MINUSMINUS e1
	| e1 MINUSMINUS
	| e1 VEL e1
	| e1 VEL
	| e1 '&' e1
	| e1 '&'
	| relsn
	| es2

e2 ::=
	 '-' e2
	| '#' e2
	| e2 '+' e2
	| e2 '-' e2
	| e2 '*' e2
	| e2 '/' e2
	| e2 DIV e2
	| e2 REM e2
	| e2 '^' e2
	| e2 '.' e2
	| e2 '!' e2
	| e3

es2 ::=
	 '-' e2
	| '#' e2
	| e2 '+' e2
	| e2 '+'
	| e2 '-' e2
	| e2 '-'
	| e2 '*' e2
	| e2 '*'
	| e2 '/' e2
	| e2 '/'
	| e2 DIV e2
	| e2 DIV
	| e2 REM e2
	| e2 REM
	| e2 '^' e2
	| e2 '^'
	| e2 '.' e2
	| e2 '.'
	| e2 '!' e2
	| e2 '!'
	| es3

e3 ::=
	 comb INFIXNAME e3
	| comb INFIXCNAME e3
	| comb

es3 ::=
	 comb INFIXNAME e3
	| comb INFIXNAME
	| comb INFIXCNAME e3
	| comb INFIXCNAME
	| comb

comb ::=
	 comb arg
	| arg

reln ::=
	 e2 relop e2
	| reln relop e2

relsn ::=
	 e2 relop e2
	| e2 relop
	| reln relop e2

arg ::=
	 LEX lexrules ENDIR
	| NAME
	| CNAME
	| CONST
	| READVALSY
	| SHOWSYM
	| DOLLAR2
	| '[' ']'
	| '[' exp ']'
	| '[' exp ',' exp ']'
	| '[' exp ',' exp ',' liste ']'
	| '[' exp DOTDOT exp ']'
	| '[' exp DOTDOT ']'
	| '[' exp ',' exp DOTDOT exp ']'
	| '[' exp ',' exp DOTDOT ']'
	| '[' exp '|' qualifiers ']'
	| '[' exp DIAG qualifiers ']'
	| '(' op ')'
	| '(' es1 ')'
	| '(' diop1 e1 ')'
	| '(' ')'
	| '(' exp ',' liste ')'

lexrules ::=
	 lexrules lstart here re indent ARROW exp lpostfix outdent
	| lexdefs

lstart ::=
	 /*empty*/
	| '<' cnames '>'

cnames ::=
	 CNAME
	| cnames CNAME

lpostfix ::=
	 /*empty*/
	| LBEGIN CNAME
	| LBEGIN CONST

lexdefs ::=
	 lexdefs LEXDEF indent '=' re outdent
	| /*empty*/

re ::=
	 re1 '|' re
	| re1

re1 ::=
	 lterm '/' lterm
	| lterm '/'
	| lterm

lterm ::=
	 lfac lterm
	| lfac

lfac ::=
	 lunit '*'
	| lunit '+'
	| lunit '?'
	| lunit

lunit ::=
	 '(' re ')'
	| CONST
	| CHARCLASS
	| ANTICHARCLASS
	| '.'
	| name

name ::=
	 NAME
	| CNAME

qualifiers ::=
	 exp
	| generator
	| qualifiers ';' generator
	| qualifiers ';' exp

generator ::=
	 e1 ',' generator
	| generator1

generator1 ::=
	 e1 LEFTARROW exp
	| e1 LEFTARROW exp ',' exp DOTDOT

defs ::=
	 def
	| defs def

def ::=
	 v act2 indent '=' here rhs outdent
	| spec
	| ABSTYPE here typeforms indent WITH lspecs outdent
	| typeform indent act1 here EQEQ type act2 outdent
	| typeform indent act1 here COLON2EQ construction act2 outdent
	| indent setexp EXPORT parts outdent
	| FREE here '{' specs '}'
	| INCLUDE bindings modifiers outdent

def ::=
	 here BNF names outdent productions ENDIR

setexp ::=
	 here

bindings ::=
	 /*empty*/
	| '{' bindingseq '}'

bindingseq ::=
	 bindingseq binding
	| binding

binding ::=
	 NAME indent '=' exp outdent
	| typeform indent act1 EQEQ type act2 outdent

modifiers ::=
	 /*empty*/
	| negmods

negmods ::=
	 negmods negmod
	| negmod

negmod ::=
	 NAME '/' NAME
	| CNAME '/' CNAME
	| '-' NAME

here ::=
	 /*empty*/

act1 ::=
	 /*empty*/

act2 ::=
	 /*empty*/

ldefs ::=
	 ldef
	| ldefs ldef

ldef ::=
	 spec
	| typeform here EQEQ
	| typeform here COLON2EQ
	| v act2 indent '=' here rhs outdent

vlist ::=
	 v
	| vlist ',' v

v ::=
	 v1
	| v1 ':' v

v1 ::=
	 v1 '+' CONST
	| '-' CONST
	| v2 INFIXNAME v1
	| v2 INFIXCNAME v1
	| v2

v2 ::=
	 v3
	| v2 v3

v3 ::=
	 NAME
	| CNAME
	| CONST
	| '[' ']'
	| '[' vlist ']'
	| '(' ')'
	| '(' v ')'
	| '(' v ',' vlist ')'

type ::=
	 type1
	| type ARROW type

type1 ::=
	 type2 INFIXNAME type1
	| type2

type2 ::=
	 tap
	| argtype

tap ::=
	 NAME argtype
	| tap argtype

argtype ::=
	 NAME
	| typevar
	| '(' typelist ')'
	| '[' type ']'
	| '[' type ',' typel ']'

typelist ::=
	 /*empty*/
	| type
	| type ',' typel

typel ::=
	 type
	| typel ',' type

parts ::=
	 parts NAME
	| parts '-' NAME
	| parts PATHNAME
	| parts '+'
	| NAME
	| '-' NAME
	| PATHNAME
	| '+'

specs ::=
	 specs spec
	| spec

spec ::=
	 typeforms indent here COLONCOLON ttype outdent

lspecs ::=
	 lspecs lspec
	| lspec

lspec ::=
	 namelist indent here COLONCOLON type outdent

namelist ::=
	 NAME ',' namelist
	| NAME

typeforms ::=
	 typeforms ',' typeform act2
	| typeform act2

typeform ::=
	 CNAME typevars
	| NAME typevars
	| typevar INFIXNAME typevar
	| typevar INFIXCNAME typevar

ttype ::=
	 type
	| TYPE

typevar ::=
	 '*'
	| TYPEVAR

typevars ::=
	 /*empty*/
	| typevar typevars

construction ::=
	 constructs

constructs ::=
	 construct
	| constructs '|' construct

construct ::=
	 field here INFIXCNAME field
	| construct1

construct1 ::=
	 '(' construct ')'
	| construct1 field1
	| here CNAME

field ::=
	 type
	| argtype '!'

field1 ::=
	 argtype '!'
	| argtype

names ::=
	 /*empty*/
	| names NAME

productions ::=
	 lspec
	| production
	| productions lspec
	| productions production

production ::=
	 NAME params ':' indent grhs outdent

params ::=
	 /*empty*/

params ::=
	 '(' names ')'

grhs ::=
	 here phrase

phrase ::=
	 error_term
	| phrase1
	| phrase1 '|' error_term

phrase1 ::=
	 term
	| phrase1 '|' here term

term ::=
	 count_factors

term ::=
	 count_factors indent '=' here rhs outdent

error_term ::=
	 ERRORSY

error_term ::=
	 ERRORSY indent '=' here rhs outdent

count_factors ::=
	 EMPTYSY
	| EMPTYSY factors

count_factors ::=
	 factors

factors ::=
	 factor
	| factors factor

factor ::=
	 unit
	| '{' unit '}'
	| '{' unit
	| unit '}'

unit ::=
	 symbol
	| symbol '*'
	| symbol '+'
	| symbol '?'

symbol ::=
	 NAME
	| ENDSY
	| CONST
	| '^'

symbol ::=
	 '[' exp ']'
	| '-'

//Tokens

ABSTYPE ::= "abstype"
//ANTICHARCLASS ::= ANTICHARCLASS
ARROW ::= "->"
BNF ::= "%bnf"
//CHARCLASS ::= CHARCLASS
//CNAME ::= CNAME
COLON2EQ ::= "::="
COLONCOLON ::= "::"
DIAG ::= "//"
DIV ::= "div"
DOLLAR2 ::= "$$"
DOTDOT ::= ".."
ELSEQ ::= ";="
EMPTYSY ::= "empty"
ENDIR ::= "%%"
ENDSY ::= "end"
EQEQ ::= "=="
ERRORSY ::= "error"
//EVAL ::= EVAL
EXPORT ::= "%export"
FREE ::= "%free"
GE ::= ">="
IF ::= "if"
INCLUDE ::= "%include"
LBEGIN ::= "%%begin"
LE ::= "<="
LEFTARROW ::= "<-"
LEX ::= "%lex"
//LEXDEF ::= LEXDEF
MINUSMINUS ::= "--"
NE ::= "~="
//OFFSIDE ::= OFFSIDE
OTHERWISE ::= "otherwise"
//PATHNAME ::= PATHNAME
PLUSPLUS ::= "++"
READVALSY ::= "readvals"
REM ::= "mod"
SHOWSYM ::= "show"
TO ::= "&>"
TYPE ::= "type"
//TYPEVAR ::= TYPEVAR
//VALUE ::= VALUE
VEL ::= "\\/"
WHERE ::= "where"
WITH ::= "with"

[mingodad]

Also to be able to build miranda on Ubntu 18.04 I needed to change a bit the sed filters applied to .host see diff bellow:

----------------------------------- Makefile -----------------------------------
index 5f7ec73..b36859d 100644
@@ -20,7 +20,7 @@ mira: big.o cmbnms.o data.o lex.o reduce.o steer.o trans.o types.o y.tab.o \
 			    version.c miralib/.version Makefile .host
 	$(CC) $(CFLAGS) -DVERS=`cat miralib/.version` \
         -DVDATE="\"`git show -s --format=%cd --date=format:'%d %b %Y'`\"" \
-		-DHOST="`cat .host`" version.c cmbnms.o y.tab.o data.o lex.o \
+		-DHOST="\"`cat .host`\"" version.c cmbnms.o y.tab.o data.o lex.o \
 	    big.o reduce.o steer.o trans.o types.o -lm -o mira
 	strip mira$(EX)
 .host:
@@ -28,7 +28,7 @@ mira: big.o cmbnms.o data.o lex.o reduce.o steer.o trans.o types.o y.tab.o \
 	@echo $(CC) $(CFLAGS) >> .host
 	$(CC) -v 2>> .host
 	sed -i 's/.*/&\\\\n/' .host
-	sed -i 's/\\n /\\n/g' .host
+	sed -i -z 's/\n//g' .host
 y.tab.c y.tab.h: rules.y
 	$(YACC) -d rules.y
 big.o cmbns.o data.o lex.o reduce.o steer.o trans.o types.o y.tab.o: \