diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2003-07-23 22:26:19 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2003-07-23 22:26:19 +0000 |
| commit | 819c95b2f8713b38ec9e7cd6341031d2cbc5bff6 (patch) | |
| tree | d5bae3e23159e4acef6ecb197c1f44ff7d72f2e2 /camlp4/ocaml_src/lib/plexer.mli | |
| parent | 029b863032bf35c34fec1917fafd24138b0a7ccc (diff) | |
pr_depend.ml : constructeurs manquants; bootstrap des sources
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5727 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4/ocaml_src/lib/plexer.mli')
| -rw-r--r-- | camlp4/ocaml_src/lib/plexer.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/camlp4/ocaml_src/lib/plexer.mli b/camlp4/ocaml_src/lib/plexer.mli index a541007d1..601c17533 100644 --- a/camlp4/ocaml_src/lib/plexer.mli +++ b/camlp4/ocaml_src/lib/plexer.mli @@ -22,7 +22,7 @@ val gmake : unit -> Token.t Token.glexer;; - * [("", s)] is the keyword [s]. - * [("LIDENT", s)] is the ident [s] starting with a lowercase letter. - * [("UIDENT", s)] is the ident [s] starting with an uppercase letter. -- * [("INT", s)] (resp. ["INT32"], ["INT64"] and ["NATIVEINT"]) +- * [("INT", s)] (resp. ["INT32"], ["INT64"] and ["NATIVEINT"]) is an integer constant whose string source is [s]. - * [("FLOAT", s)] is a float constant whose string source is [s]. - * [("STRING", s)] is the string constant [s]. |