diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-08-09 09:39:43 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-08-09 09:39:43 +0000 |
commit | 6d9f7f16f8fa49a1eb767e4b865b462fa4c21c30 (patch) | |
tree | 0341ee9797e2a2dce17733985269dd84d7651c31 /stdlib/parsing.mli | |
parent | 260bb413e941897bdb84efc2b4da4bad5cf0dc0e (diff) | |
download | ocaml-6d9f7f16f8fa49a1eb767e4b865b462fa4c21c30.tar.gz |
Ajout de la recuperation d'erreurs dans les parsers Yacc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@187 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/parsing.mli')
-rw-r--r-- | stdlib/parsing.mli | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/stdlib/parsing.mli b/stdlib/parsing.mli index 99e891ce19..c1c1fedad5 100644 --- a/stdlib/parsing.mli +++ b/stdlib/parsing.mli @@ -44,11 +44,13 @@ type parse_tables = gindex : string; tablesize : int; table : string; - check : string } + check : string; + error_function : string -> unit } exception YYexit of Obj.t val yyparse : parse_tables -> int -> (Lexing.lexbuf -> 'a) -> Lexing.lexbuf -> 'b val peek_val : parser_env -> int -> 'a -val is_current_lookahead: 'a -> bool +val is_current_lookahead : 'a -> bool +val parse_error : string -> unit |