[Abstract syntax]

MkGrammar ([Rule (LabNoP (Id (Ident "MkGrammar")), IdCat (Ident "Grammar"), [NTerminal (ListCat (IdCat (Ident "Def")))]); Rule (LabNoP (ListE), ListCat (IdCat (Ident "Def")), []); Rule (LabNoP (ListCons), ListCat (IdCat (Ident "Def")), [NTerminal (IdCat (Ident "Def")); Terminal (";"); NTerminal (ListCat (IdCat (Ident "Def")))]); Rule (LabNoP (ListE), ListCat (IdCat (Ident "Item")), []); Rule (LabNoP (ListCons), ListCat (IdCat (Ident "Item")), [NTerminal (IdCat (Ident "Item")); NTerminal (ListCat (IdCat (Ident "Item")))]); Rule (LabNoP (Id (Ident "Rule")), IdCat (Ident "Def"), [NTerminal (IdCat (Ident "Label")); Terminal ("."); NTerminal (IdCat (Ident "Cat")); Terminal ("::="); NTerminal (ListCat (IdCat (Ident "Item")))]); Rule (LabNoP (Id (Ident "Terminal")), IdCat (Ident "Item"), [NTerminal (IdCat (Ident "String"))]); Rule (LabNoP (Id (Ident "NTerminal")), IdCat (Ident "Item"), [NTerminal (IdCat (Ident "Cat"))]); Rule (LabNoP (Id (Ident "ListCat")), IdCat (Ident "Cat"), [Terminal ("["); NTerminal (IdCat (Ident "Cat")); Terminal ("]")]); Rule (LabNoP (Id (Ident "IdCat")), IdCat (Ident "Cat"), [NTerminal (IdCat (Ident "Ident"))]); Rule (LabNoP (Id (Ident "LabNoP")), IdCat (Ident "Label"), [NTerminal (IdCat (Ident "LabelId"))]); Rule (LabNoP (Id (Ident "LabP")), IdCat (Ident "Label"), [NTerminal (IdCat (Ident "LabelId")); NTerminal (ListCat (IdCat (Ident "ProfItem")))]); Rule (LabNoP (Id (Ident "LabPF")), IdCat (Ident "Label"), [NTerminal (IdCat (Ident "LabelId")); NTerminal (IdCat (Ident "LabelId")); NTerminal (ListCat (IdCat (Ident "ProfItem")))]); Rule (LabNoP (Id (Ident "LabF")), IdCat (Ident "Label"), [NTerminal (IdCat (Ident "LabelId")); NTerminal (IdCat (Ident "LabelId"))]); Rule (LabNoP (Id (Ident "Id")), IdCat (Ident "LabelId"), [NTerminal (IdCat (Ident "Ident"))]); Rule (LabNoP (Id (Ident "Wild")), IdCat (Ident "LabelId"), [Terminal ("_")]); Rule (LabNoP (Id (Ident "ListE")), IdCat (Ident "LabelId"), [Terminal ("["); Terminal ("]")]); Rule (LabNoP (Id (Ident "ListCons")), IdCat (Ident "LabelId"), [Terminal ("("); Terminal (":"); Terminal (")")]); Rule (LabNoP (Id (Ident "ListOne")), IdCat (Ident "LabelId"), [Terminal ("("); Terminal (":"); Terminal ("["); Terminal ("]"); Terminal (")")]); Rule (LabNoP (Id (Ident "ProfIt")), IdCat (Ident "ProfItem"), [Terminal ("("); Terminal ("["); NTerminal (ListCat (IdCat (Ident "IntList"))); Terminal ("]"); Terminal (","); Terminal ("["); NTerminal (ListCat (IdCat (Ident "Integer"))); Terminal ("]"); Terminal (")")]); Rule (LabNoP (Id (Ident "Ints")), IdCat (Ident "IntList"), [Terminal ("["); NTerminal (ListCat (IdCat (Ident "Integer"))); Terminal ("]")]); Separator (MEmpty, IdCat (Ident "Integer"), ","); Separator (MEmpty, IdCat (Ident "IntList"), ","); Terminator (MNonempty, IdCat (Ident "ProfItem"), ""); Rule (LabNoP (Id (Ident "Comment")), IdCat (Ident "Def"), [Terminal ("comment"); NTerminal (IdCat (Ident "String"))]); Rule (LabNoP (Id (Ident "Comments")), IdCat (Ident "Def"), [Terminal ("comment"); NTerminal (IdCat (Ident "String")); NTerminal (IdCat (Ident "String"))]); Rule (LabNoP (Id (Ident "Internal")), IdCat (Ident "Def"), [Terminal ("internal"); NTerminal (IdCat (Ident "Label")); Terminal ("."); NTerminal (IdCat (Ident "Cat")); Terminal ("::="); NTerminal (ListCat (IdCat (Ident "Item")))]); Rule (LabNoP (Id (Ident "Token")), IdCat (Ident "Def"), [Terminal ("token"); NTerminal (IdCat (Ident "Ident")); NTerminal (IdCat (Ident "Reg"))]); Rule (LabNoP (Id (Ident "PosToken")), IdCat (Ident "Def"), [Terminal ("position"); Terminal ("token"); NTerminal (IdCat (Ident "Ident")); NTerminal (IdCat (Ident "Reg"))]); Rule (LabNoP (Id (Ident "Entryp")), IdCat (Ident "Def"), [Terminal ("entrypoints"); NTerminal (ListCat (IdCat (Ident "Ident")))]); Rule (LabNoP (Id (Ident "Separator")), IdCat (Ident "Def"), [Terminal ("separator"); NTerminal (IdCat (Ident "MinimumSize")); NTerminal (IdCat (Ident "Cat")); NTerminal (IdCat (Ident "String"))]); Rule (LabNoP (Id (Ident "Terminator")), IdCat (Ident "Def"), [Terminal ("terminator"); NTerminal (IdCat (Ident "MinimumSize")); NTerminal (IdCat (Ident "Cat")); NTerminal (IdCat (Ident "String"))]); Rule (LabNoP (Id (Ident "Coercions")), IdCat (Ident "Def"), [Terminal ("coercions"); NTerminal (IdCat (Ident "Ident")); NTerminal (IdCat (Ident "Integer"))]); Rule (LabNoP (Id (Ident "Rules")), IdCat (Ident "Def"), [Terminal ("rules"); NTerminal (IdCat (Ident "Ident")); Terminal ("::="); NTerminal (ListCat (IdCat (Ident "RHS")))]); Rule (LabNoP (Id (Ident "Layout")), IdCat (Ident "Def"), [Terminal ("layout"); NTerminal (ListCat (IdCat (Ident "String")))]); Rule (LabNoP (Id (Ident "LayoutStop")), IdCat (Ident "Def"), [Terminal ("layout"); Terminal ("stop"); NTerminal (ListCat (IdCat (Ident "String")))]); Rule (LabNoP (Id (Ident "LayoutTop")), IdCat (Ident "Def"), [Terminal ("layout"); Terminal ("toplevel")]); Separator (MNonempty, IdCat (Ident "String"), ","); Separator (MNonempty, IdCat (Ident "RHS"), "|"); Rule (LabNoP (Id (Ident "MkRHS")), IdCat (Ident "RHS"), [NTerminal (ListCat (IdCat (Ident "Item")))]); Rule (LabNoP (Id (Ident "MNonempty")), IdCat (Ident "MinimumSize"), [Terminal ("nonempty")]); Rule (LabNoP (Id (Ident "MEmpty")), IdCat (Ident "MinimumSize"), []); Rule (LabNoP (Id (Ident "RSeq")), IdCat (Ident "Reg2"), [NTerminal (IdCat (Ident "Reg2")); NTerminal (IdCat (Ident "Reg3"))]); Rule (LabNoP (Id (Ident "RAlt")), IdCat (Ident "Reg1"), [NTerminal (IdCat (Ident "Reg1")); Terminal ("|"); NTerminal (IdCat (Ident "Reg2"))]); Rule (LabNoP (Id (Ident "RMinus")), IdCat (Ident "Reg1"), [NTerminal (IdCat (Ident "Reg2")); Terminal ("-"); NTerminal (IdCat (Ident "Reg2"))]); Rule (LabNoP (Id (Ident "RStar")), IdCat (Ident "Reg3"), [NTerminal (IdCat (Ident "Reg3")); Terminal ("*")]); Rule (LabNoP (Id (Ident "RPlus")), IdCat (Ident "Reg3"), [NTerminal (IdCat (Ident "Reg3")); Terminal ("+")]); Rule (LabNoP (Id (Ident "ROpt")), IdCat (Ident "Reg3"), [NTerminal (IdCat (Ident "Reg3")); Terminal ("?")]); Rule (LabNoP (Id (Ident "REps")), IdCat (Ident "Reg3"), [Terminal ("eps")]); Rule (LabNoP (Id (Ident "RChar")), IdCat (Ident "Reg3"), [NTerminal (IdCat (Ident "Char"))]); Rule (LabNoP (Id (Ident "RAlts")), IdCat (Ident "Reg3"), [Terminal ("["); NTerminal (IdCat (Ident "String")); Terminal ("]")]); Rule (LabNoP (Id (Ident "RSeqs")), IdCat (Ident "Reg3"), [Terminal ("{"); NTerminal (IdCat (Ident "String")); Terminal ("}")]); Rule (LabNoP (Id (Ident "RDigit")), IdCat (Ident "Reg3"), [Terminal ("digit")]); Rule (LabNoP (Id (Ident "RLetter")), IdCat (Ident "Reg3"), [Terminal ("letter")]); Rule (LabNoP (Id (Ident "RUpper")), IdCat (Ident "Reg3"), [Terminal ("upper")]); Rule (LabNoP (Id (Ident "RLower")), IdCat (Ident "Reg3"), [Terminal ("lower")]); Rule (LabNoP (Id (Ident "RAny")), IdCat (Ident "Reg3"), [Terminal ("char")]); Rule (LabNoP (Wild), IdCat (Ident "Reg"), [NTerminal (IdCat (Ident "Reg1"))]); Rule (LabNoP (Wild), IdCat (Ident "Reg1"), [NTerminal (IdCat (Ident "Reg2"))]); Rule (LabNoP (Wild), IdCat (Ident "Reg2"), [NTerminal (IdCat (Ident "Reg3"))]); Rule (LabNoP (Wild), IdCat (Ident "Reg3"), [Terminal ("("); NTerminal (IdCat (Ident "Reg")); Terminal (")")]); Rule (LabNoP (ListOne), ListCat (IdCat (Ident "Ident")), [NTerminal (IdCat (Ident "Ident"))]); Rule (LabNoP (ListCons), ListCat (IdCat (Ident "Ident")), [NTerminal (IdCat (Ident "Ident")); Terminal (","); NTerminal (ListCat (IdCat (Ident "Ident")))]); Comment ("--"); Comments ("{-", "-}")])

[Linearized tree]

MkGrammar . Grammar ::= [Def] ;
[] . [Def] ::= ;
(:) . [Def] ::= Def ";" [Def] ;
[] . [Item] ::= ;
(:) . [Item] ::= Item [Item] ;
Rule . Def ::= Label "." Cat "::=" [Item] ;
Terminal . Item ::= String ;
NTerminal . Item ::= Cat ;
ListCat . Cat ::= "[" Cat "]" ;
IdCat . Cat ::= Ident ;
LabNoP . Label ::= LabelId ;
LabP . Label ::= LabelId [ProfItem] ;
LabPF . Label ::= LabelId LabelId [ProfItem] ;
LabF . Label ::= LabelId LabelId ;
Id . LabelId ::= Ident ;
Wild . LabelId ::= "_" ;
ListE . LabelId ::= "[" "]" ;
ListCons . LabelId ::= "(" ":" ")" ;
ListOne . LabelId ::= "(" ":" "[" "]" ")" ;
ProfIt . ProfItem ::= "(" "[" [IntList] "]" "," "[" [Integer] "]" ")" ;
Ints . IntList ::= "[" [Integer] "]" ;
separator Integer "," ;
separator IntList "," ;
terminator nonempty ProfItem "" ;
Comment . Def ::= "comment" String ;
Comments . Def ::= "comment" String String ;
Internal . Def ::= "internal" Label "." Cat "::=" [Item] ;
Token . Def ::= "token" Ident Reg ;
PosToken . Def ::= "position" "token" Ident Reg ;
Entryp . Def ::= "entrypoints" [Ident] ;
Separator . Def ::= "separator" MinimumSize Cat String ;
Terminator . Def ::= "terminator" MinimumSize Cat String ;
Coercions . Def ::= "coercions" Ident Integer ;
Rules . Def ::= "rules" Ident "::=" [RHS] ;
Layout . Def ::= "layout" [String] ;
LayoutStop . Def ::= "layout" "stop" [String] ;
LayoutTop . Def ::= "layout" "toplevel" ;
separator nonempty String "," ;
separator nonempty RHS "|" ;
MkRHS . RHS ::= [Item] ;
MNonempty . MinimumSize ::= "nonempty" ;
MEmpty . MinimumSize ::= ;
RSeq . Reg2 ::= Reg2 Reg3 ;
RAlt . Reg1 ::= Reg1 "|" Reg2 ;
RMinus . Reg1 ::= Reg2 "-" Reg2 ;
RStar . Reg3 ::= Reg3 "*" ;
RPlus . Reg3 ::= Reg3 "+" ;
ROpt . Reg3 ::= Reg3 "?" ;
REps . Reg3 ::= "eps" ;
RChar . Reg3 ::= Char ;
RAlts . Reg3 ::= "[" String "]" ;
RSeqs . Reg3 ::= "{" String "}" ;
RDigit . Reg3 ::= "digit" ;
RLetter . Reg3 ::= "letter" ;
RUpper . Reg3 ::= "upper" ;
RLower . Reg3 ::= "lower" ;
RAny . Reg3 ::= "char" ;
_ . Reg ::= Reg1 ;
_ . Reg1 ::= Reg2 ;
_ . Reg2 ::= Reg3 ;
_ . Reg3 ::= "(" Reg ")" ;
(: []) . [Ident] ::= Ident ;
(:) . [Ident] ::= Ident "," [Ident] ;
comment "--" ;
comment "{-" "-}" ;