diff options
| author | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-11-07 12:42:25 +0000 |
|---|---|---|
| committer | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-11-07 12:42:25 +0000 |
| commit | 7d23cf6672c4ecdb026dd1ab0840ce3e0092ac70 (patch) | |
| tree | ed87d5dbaa2b660d0f8fbc2e737b77622d7208b6 /camlp4/ocaml_src/lib/plexer.mli | |
| parent | 27a1084a0982698734bf3cbb7e4c740842b953d0 (diff) | |
-
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3996 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4/ocaml_src/lib/plexer.mli')
| -rw-r--r-- | camlp4/ocaml_src/lib/plexer.mli | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/camlp4/ocaml_src/lib/plexer.mli b/camlp4/ocaml_src/lib/plexer.mli index 905f97720..eb17845e4 100644 --- a/camlp4/ocaml_src/lib/plexer.mli +++ b/camlp4/ocaml_src/lib/plexer.mli @@ -37,3 +37,8 @@ val make : unit -> Token.lexer;; The lexer do not use global (mutable) variables: instantiations of [Plexer.make ()] do not perturb each other. *) + +val dollar_for_antiquotation : bool ref;; + (* When True (default), the next call to [Plexer.make ()] returns a + lexer where the dollar sign is used for antiquotations. If False, + the dollar sign can be used as token. *) |