PSL/Sugar parser
===============

This directory is adapted from "examples/lexyacc" in the mosml distribution.

The files in this directory present lexer and parser specifications
for PSL/Sugar properties.

    File        contents
    --------------------------------------------------------
    README      describes the grammar and the lexical conventions,
                and gives an example (this file)
    Lexer.lex   the lexer specification
    Parser.grm  the parser specification
    Data.sml    describes the abstract syntax datatype
    Main.sml    uses the generated lexer and parser 


Generating, compiling, and using the lexer and parser
-----------------------------------------------------

You may type `make' to perform steps 1-3 below.

1. Generate the parser
    mosmlyac Parser.grm

2. Generate the lexer
    mosmllex Lexer.lex

3. Compile lexer, parser and auxiliary programs
    mosmlc -c Data.sml Parser.sig Parser.sml Lexer.sml Main.sml