HCoop / hcoop / debian / mlton.git / blame
| Commit | Line | Data |
|---|---|---|
| 7f918cf1 CE |
1 | \relax |
| 2 | \citation{bf} | |
| 3 | \citation{ahu} | |
| 4 | \@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{4}} | |
| 5 | \@writefile{toc}{\contentsline {subsection}{\numberline {1.1}General}{4}} | |
| 6 | \@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Module Dependencies}}{5}} | |
| 7 | \@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Modules}{5}} | |
| 8 | \@writefile{toc}{\contentsline {subsection}{\numberline {1.3}Error Recovery}{5}} | |
| 9 | \@writefile{toc}{\contentsline {subsection}{\numberline {1.4}Precedence}{6}} | |
| 10 | \@writefile{toc}{\contentsline {subsection}{\numberline {1.5}Notation}{7}} | |
| 11 | \@writefile{toc}{\contentsline {section}{\numberline {2}ML-Yacc specifications}{7}} | |
| 12 | \@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Lexical Definitions}{8}} | |
| 13 | \@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Grammar}{9}} | |
| 14 | \@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Required ML-Yacc Declarations}{10}} | |
| 15 | \@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Optional ML-Yacc Declarations}{11}} | |
| 16 | \newlabel{optional-def}{{2.4}{11}} | |
| 17 | \@writefile{toc}{\contentsline {subsection}{\numberline {2.5}Declarations for improving error-recovery}{13}} | |
| 18 | \@writefile{toc}{\contentsline {subsection}{\numberline {2.6}Rules}{13}} | |
| 19 | \@writefile{toc}{\contentsline {section}{\numberline {3}Producing files with ML-Yacc}{14}} | |
| 20 | \@writefile{toc}{\contentsline {section}{\numberline {4}The lexical analyzer}{14}} | |
| 21 | \@writefile{toc}{\contentsline {section}{\numberline {5}Creating the parser}{15}} | |
| 22 | \newlabel{create-parser}{{5}{15}} | |
| 23 | \@writefile{toc}{\contentsline {section}{\numberline {6}Using the parser}{18}} | |
| 24 | \@writefile{toc}{\contentsline {subsection}{\numberline {6.1}Parser Structure Signatures}{18}} | |
| 25 | \@writefile{toc}{\contentsline {subsection}{\numberline {6.2}Using the parser structure}{19}} | |
| 26 | \@writefile{toc}{\contentsline {section}{\numberline {7}Examples}{20}} | |
| 27 | \@writefile{toc}{\contentsline {subsection}{\numberline {7.1}Sample Grammar}{21}} | |
| 28 | \@writefile{toc}{\contentsline {subsection}{\numberline {7.2}Sample Lexer}{22}} | |
| 29 | \@writefile{toc}{\contentsline {subsection}{\numberline {7.3}Top-level code}{23}} | |
| 30 | \@writefile{toc}{\contentsline {section}{\numberline {8}Signatures}{24}} | |
| 31 | \@writefile{toc}{\contentsline {subsection}{\numberline {8.1}Parsing structure signatures}{24}} | |
| 32 | \@writefile{toc}{\contentsline {subsection}{\numberline {8.2}Lexers}{26}} | |
| 33 | \@writefile{toc}{\contentsline {subsection}{\numberline {8.3}Signatures for the functor produced by ML-Yacc}{27}} | |
| 34 | \@writefile{toc}{\contentsline {subsection}{\numberline {8.4}User parser signatures}{29}} | |
| 35 | \@writefile{toc}{\contentsline {section}{\numberline {9}Sharing constraints}{30}} | |
| 36 | \@writefile{toc}{\contentsline {section}{\numberline {10}Hints}{31}} | |
| 37 | \@writefile{toc}{\contentsline {subsection}{\numberline {10.1}Multiple start symbols}{31}} | |
| 38 | \@writefile{toc}{\contentsline {subsection}{\numberline {10.2}Functorizing things further}{32}} | |
| 39 | \bibcite{bf}{1} | |
| 40 | \bibcite{ahu}{2} | |
| 41 | \@writefile{toc}{\contentsline {section}{\numberline {11}Acknowledgements}{33}} | |
| 42 | \@writefile{toc}{\contentsline {section}{\numberline {12}Bugs}{33}} |