diff options
| author | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-12-22 13:58:03 +0000 |
|---|---|---|
| committer | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-12-22 13:58:03 +0000 |
| commit | 7607a5b6f510e247b50e6028519d480283364bac (patch) | |
| tree | fa515f54dd2030fdae03e62af37b5f30fe64de8b /camlp4/compile | |
| parent | 751851e34cd5ad06e6eac6ba7a5bfc9584602b7f (diff) | |
-
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4182 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4/compile')
| -rw-r--r-- | camlp4/compile/compile.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/camlp4/compile/compile.ml b/camlp4/compile/compile.ml index 41ccb5e47..2dcee96d5 100644 --- a/camlp4/compile/compile.ml +++ b/camlp4/compile/compile.ml @@ -245,7 +245,9 @@ and parse_symbol entry nlevn s rkont fkont ending_act = let patt = nth_patt_of_act ending_act in let p_con = String.escaped (fst tok) in let p_prm = String.escaped (snd tok) in - if snd tok = "" then <:patt< ($str:p_con$, $patt$) >> + if snd tok = "" then + if fst tok = "ANY" then <:patt< (_, $patt$) >> + else <:patt< ($str:p_con$, $patt$) >> else let p = <:patt< ($str:p_con$, $str:p_prm$) >> in match patt with |