This is a grammar for Berkeley Pascal, hacked to be SLR, though that is
not necessary because ML-Yacc supports LALR(1).

To construct the parser, make this your current directory and run the
following commands

  mlyacc pascal.grm
  mllex pascal.lex
  mlton pascal.mlb

They will apply ML-Yacc to the file "pascal.grm" to create
the files "pascal.grm.sig" and "pascal.grm.sml", then
ML_Lex will be applied to pascal.lex to produce pascal.lex.sml.

Then these generated files will be compiled together with necessary
components from the ML-Yacc library supplied by the mlyacc-lib.mlb
file.

The end result is a structure Parser with two functions.  The
function

  parse: string ->
         PascalParser.result *
         (Parser.PascalParser.svalue,PascalParser.pos) LrParser.Token.token
            LrParser.stream

parses input from a file, while

  keybd: unit ->
         Parser.PascalParser.result *
         (Parser.PascalParser.svalue,Parser.PascalParser.pos)
           LrParser.Token.token LrParser.stream

parses from the standard input.
