NAME

       ocamlyacc - The OCaml parser generator

SYNOPSIS

       ocamlyacc [ -bprefix ] [ -q ] [ -v ] [ -version ] [ -vnum ] filename.mly

DESCRIPTION

       The  ocamlyacc(1)  command  produces  a  parser  from  a  LALR(1) context-free grammar specification with
       attached semantic actions, in the style of yacc(1).  Assuming the  input  file  is  grammar.mly,  running
       ocamlyacc produces OCaml code for a parser in the file grammar.ml, and its interface in file grammar.mli.

       The  generated  module  defines one parsing function per entry point in the grammar. These functions have
       the same names as the entry points.  Parsing functions take as arguments a lexical analyzer  (a  function
       from  lexer buffers to tokens) and a lexer buffer, and return the semantic attribute of the corresponding
       entry point. Lexical analyzer  functions  are  usually  generated  from  a  lexer  specification  by  the
       ocamllex(1)  program.  Lexer buffers are an abstract data type implemented in the standard library module
       Lexing. Tokens are values from the concrete  type  token,  defined  in  the  interface  file  grammar.mli
       produced by ocamlyacc(1).

OPTIONS

       The ocamlyacc(1) command recognizes the following options:

       -bprefix
              Name  the  output  files  prefix.ml,  prefix.mli,  prefix.output,  instead  of  the default naming
              convention.

       -q     This option has no effect.

       --strict
              Reject grammars with conflicts.

       -v     Generate a description of the parsing tables and a report on conflicts resulting from  ambiguities
              in the grammar. The description is put in file grammar.output.

       -version
              Print version string and exit.

       -vnum  Print short version number and exit.

       -      Read  the  grammar  specification from standard input.  The default output file names are stdin.ml
              and stdin.mli.

       -- file
              Process file as the grammar specification, even if its name starts  with  a  dash  (-)  character.
              This option must be the last on the command line.

SEE ALSO

       ocamllex(1).
       The OCaml user's manual, chapter "Lexer and parser generators".

                                                                                                    OCAMLYACC(1)