Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help
OCAMLYACC(1)		     General Commands Manual		    OCAMLYACC(1)

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 pro-
     duces 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  gen-
     erated from a lexer specification by the ocamllex(1) program. Lexer buffers
     are  an  abstract data type implemented in the standard library module Lex-
     ing. Tokens are values from the concrete type token, defined in the  inter-
     face 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  con-
	    flicts 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 com-
	    mand line.

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

								    OCAMLYACC(1)

Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=ocamlyacc&sektion=1&manpath=FreeBSD+Ports+15.1.quarterly>

home | help