Previous Next Contents

3   Producing files with ML-Yacc

ML-Yacc may be used from the interactive system or built as a stand-alone program which may be run from the Unix command line. See the file README in the mlyacc directory for directions on installing ML-Yacc. We recommend thaat ML-Yacc be installed as a stand-alone program.

If you are using the stand-alone version of ML-Yacc, invoke the program ``sml-yacc'' with the name of the specifcation file. If you are using ML-Yacc in the interactive system, load the file ``smlyacc.sml''. The end result is a structure ParseGen, with one value parseGen in it. Apply parseGen to a string containing the name of the specification file.

Two files will be created, one named by attaching ``.sig'' to the name of the specification, the other named by attaching ``.sml'' to the name of the specification.


Previous Next Contents