sig
type token =
WITH
| WHILE
| WHEN
| VIRTUAL
| VAL
| UNDERSCORE
| UIDENT of string
| TYPE
| TRY
| TRUE
| TO
| TILDE
| THEN
| STRUCT
| STRING of (string * string option)
| STAR
| SIG
| SEMISEMI
| SEMI
| RPAREN
| REC
| RBRACKET
| RBRACE
| QUOTE
| QUESTION
| PRIVATE
| PREFIXOP of string
| PLUSEQ
| PLUSDOT
| PLUS
| PERCENT
| OR
| OPTLABEL of string
| OPEN
| OF
| OBJECT
| NONREC
| NEW
| MUTABLE
| MODULE
| MINUSGREATER
| MINUSDOT
| MINUS
| METHOD
| MATCH
| LPAREN
| LIDENT of string
| LETOP of string
| LET
| LESSMINUS
| LESS
| LBRACKETPERCENTPERCENT
| LBRACKETPERCENT
| LBRACKETLESS
| LBRACKETGREATER
| LBRACKETBAR
| LBRACKETATATAT
| LBRACKETATAT
| LBRACKETAT
| LBRACKET
| LBRACELESS
| LBRACE
| LAZY
| LABEL of string
| INT of (string * char option)
| INITIALIZER
| INHERIT
| INFIXOP4 of string
| INFIXOP3 of string
| INFIXOP2 of string
| INFIXOP1 of string
| INFIXOP0 of string
| INCLUDE
| IN
| IF
| HASHOP of string
| HASH
| GREATERRBRACKET
| GREATERRBRACE
| GREATER
| FUNCTOR
| FUNCTION
| FUN
| FOR
| FLOAT of (string * char option)
| FALSE
| EXTERNAL
| EXCEPTION
| EQUAL
| EOL
| EOF
| END
| ELSE
| DOWNTO
| DOTOP of string
| DOTDOT
| DOT
| DONE
| DOCSTRING of Docstrings.docstring
| DO
| CONSTRAINT
| COMMENT of (string * Location.t)
| COMMA
| COLONGREATER
| COLONEQUAL
| COLONCOLON
| COLON
| CLASS
| CHAR of char
| BEGIN
| BARRBRACKET
| BARBAR
| BAR
| BANG
| BACKQUOTE
| ASSERT
| AS
| ANDOP of string
| AND
| AMPERSAND
| AMPERAMPER
exception Error
val use_file :
(Stdlib.Lexing.lexbuf -> Parser.token) ->
Stdlib.Lexing.lexbuf -> Parsetree.toplevel_phrase list
val toplevel_phrase :
(Stdlib.Lexing.lexbuf -> Parser.token) ->
Stdlib.Lexing.lexbuf -> Parsetree.toplevel_phrase
val parse_pattern :
(Stdlib.Lexing.lexbuf -> Parser.token) ->
Stdlib.Lexing.lexbuf -> Parsetree.pattern
val parse_expression :
(Stdlib.Lexing.lexbuf -> Parser.token) ->
Stdlib.Lexing.lexbuf -> Parsetree.expression
val parse_core_type :
(Stdlib.Lexing.lexbuf -> Parser.token) ->
Stdlib.Lexing.lexbuf -> Parsetree.core_type
val interface :
(Stdlib.Lexing.lexbuf -> Parser.token) ->
Stdlib.Lexing.lexbuf -> Parsetree.signature
val implementation :
(Stdlib.Lexing.lexbuf -> Parser.token) ->
Stdlib.Lexing.lexbuf -> Parsetree.structure
module MenhirInterpreter :
sig
type token = token
type production
type 'a env
type 'a checkpoint = private
InputNeeded of 'a env
| Shifting of 'a env * 'a env * bool
| AboutToReduce of 'a env * production
| HandlingError of 'a env
| Accepted of 'a
| Rejected
val offer :
'a checkpoint ->
token * CamlinternalMenhirLib.IncrementalEngine.position *
CamlinternalMenhirLib.IncrementalEngine.position -> 'a checkpoint
val resume : 'a checkpoint -> 'a checkpoint
type supplier =
unit ->
token * CamlinternalMenhirLib.IncrementalEngine.position *
CamlinternalMenhirLib.IncrementalEngine.position
val lexer_lexbuf_to_supplier :
(Lexing.lexbuf -> token) -> Lexing.lexbuf -> supplier
val loop : supplier -> 'a checkpoint -> 'a
val loop_handle :
('a -> 'answer) ->
('a checkpoint -> 'answer) -> supplier -> 'a checkpoint -> 'answer
val loop_handle_undo :
('a -> 'answer) ->
('a checkpoint -> 'a checkpoint -> 'answer) ->
supplier -> 'a checkpoint -> 'answer
val shifts : 'a checkpoint -> 'a env option
val acceptable :
'a checkpoint ->
token -> CamlinternalMenhirLib.IncrementalEngine.position -> bool
type 'a lr1state
val number : 'a lr1state -> int
val production_index : production -> int
val find_production : int -> production
type element =
Element : 'a lr1state * 'a *
CamlinternalMenhirLib.IncrementalEngine.position *
CamlinternalMenhirLib.IncrementalEngine.position -> element
type stack = element CamlinternalMenhirLib.General.stream
val stack : 'a env -> stack
val top : 'a env -> element option
val pop_many : int -> 'a env -> 'a env option
val get : int -> 'a env -> element option
val current_state_number : 'a env -> int
val equal : 'a env -> 'a env -> bool
val positions :
'a env ->
CamlinternalMenhirLib.IncrementalEngine.position *
CamlinternalMenhirLib.IncrementalEngine.position
val env_has_default_reduction : 'a env -> bool
val state_has_default_reduction : 'a lr1state -> bool
val pop : 'a env -> 'a env option
val force_reduction : production -> 'a env -> 'a env
val input_needed : 'a env -> 'a checkpoint
end
module Incremental :
sig
val use_file :
Stdlib.Lexing.position ->
Parsetree.toplevel_phrase list Parser.MenhirInterpreter.checkpoint
val toplevel_phrase :
Stdlib.Lexing.position ->
Parsetree.toplevel_phrase Parser.MenhirInterpreter.checkpoint
val parse_pattern :
Stdlib.Lexing.position ->
Parsetree.pattern Parser.MenhirInterpreter.checkpoint
val parse_expression :
Stdlib.Lexing.position ->
Parsetree.expression Parser.MenhirInterpreter.checkpoint
val parse_core_type :
Stdlib.Lexing.position ->
Parsetree.core_type Parser.MenhirInterpreter.checkpoint
val interface :
Stdlib.Lexing.position ->
Parsetree.signature Parser.MenhirInterpreter.checkpoint
val implementation :
Stdlib.Lexing.position ->
Parsetree.structure Parser.MenhirInterpreter.checkpoint
end
end
The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from this page.