Parse Succesful!

[Abstract Syntax]

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