ML-Yacc User's Manual
Version 2.4

David R. Tarditi¹
Andrew W. Appel<sup>2

1</sup> Microsoft Research

²Department of Computer Science
Princeton University


April 24, 2000

New in version 2.4: Explanation of how to build a parser (Section 5) and the Calc example (Section 7) revised for SML/NJ Version 110 and the use of CM.

• Introduction
  • General
  • Modules
  • Error Recovery
  • Precedence
  • Notation
• ML-Yacc specifications
  • Lexical Definitions
  • Grammar
  • Required ML-Yacc Declarations
  • Optional ML-Yacc Declarations
  • Declarations for improving error-recovery
  • Rules
• Producing files with ML-Yacc
• The lexical analyzer
• Creating the parser
• Using the parser
  • Parser Structure Signatures
  • Using the parser structure
• Examples
  • Sample Grammar
  • Sample Lexer
  • Top-level code
• Signatures
  • Parsing structure signatures
  • Lexers
  • Signatures for the functor produced by ML-Yacc
  • User parser signatures
• Sharing constraints
• Hints
  • Multiple start symbols
  • Functorizing things further
• Acknowledgements
• Bugs
• References

This document was tranlated from L^AT_EX by H^EV^EA and H^AC^HA.