module Make: functor (Lex : LEX) -> functor (T : TRACE with module Lex = Lex) -> sig .. end
Functor taking a lexer Lex and a tracer T and returning a parser implementation.
| Parameters: |
Lex |
: |
LEX
|
T |
: |
TRACE with module Lex = Lex
|
|
val parse : Lex.d -> T.Lex.lexbuf -> T.Lex.lexeme Kwstack.t
The parser function.
Raises Syntax for syntax or semantic errors
Returns the value stack with final result as computed by Lex.eval; a depth
of greater than 1 indicates a syntax error
data : arbitrary runtime auxiliary data to be passed to Lex.eval
lexbuf : a lexbuf, from Lex.of_string or Lex.of_channel