diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2001-11-05 13:34:42 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2001-11-05 13:34:42 +0000 |
| commit | 2cf0db42321856b8a99d443b61ac5a589bfcfc25 (patch) | |
| tree | 9c3d8c0e7354127e4de3289f20dd20eec2f6c9f6 /stdlib | |
| parent | 4d1fc14e97e1549b6025612e60a97bdb5a53838d (diff) | |
Ajout mecanisme de trace dans les parsers ocamlyacc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3981 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/parsing.ml | 4 | ||||
| -rw-r--r-- | stdlib/parsing.mli | 4 |
2 files changed, 6 insertions, 2 deletions
diff --git a/stdlib/parsing.ml b/stdlib/parsing.ml index 87270e846..e6a6f602a 100644 --- a/stdlib/parsing.ml +++ b/stdlib/parsing.ml @@ -50,7 +50,9 @@ type parse_tables = tablesize : int; table : string; check : string; - error_function : string -> unit } + error_function : string -> unit; + names_const : string; + names_block : string } exception YYexit of Obj.t exception Parse_error diff --git a/stdlib/parsing.mli b/stdlib/parsing.mli index 4e424d02b..8bb403858 100644 --- a/stdlib/parsing.mli +++ b/stdlib/parsing.mli @@ -70,7 +70,9 @@ type parse_tables = tablesize : int; table : string; check : string; - error_function : string -> unit } + error_function : string -> unit; + names_const : string; + names_block : string } exception YYexit of Obj.t |