diff options
| author | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-12-27 14:13:39 +0000 |
|---|---|---|
| committer | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-12-27 14:13:39 +0000 |
| commit | 78a6d38cd01aacb50aaf5a3d98fac98f9ce22bdd (patch) | |
| tree | 443785a0ac171b773b0c145d7dea0fec2954803d | |
| parent | a329564a79e17eeb9dd6ed2e3a4b582df26a4a8c (diff) | |
| download | ocaml-78a6d38cd01aacb50aaf5a3d98fac98f9ce22bdd.tar.gz | |
-
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4191 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | camlp4/etc/pr_extend.ml | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/camlp4/etc/pr_extend.ml b/camlp4/etc/pr_extend.ml index dde80a12fd..6713eb91bf 100644 --- a/camlp4/etc/pr_extend.ml +++ b/camlp4/etc/pr_extend.ml @@ -51,8 +51,8 @@ value rec listwbws elem b sep el dg k = value rec get_globals = fun - [ [(<:patt< _ >>, <:expr< ($lid:s$ : Grammar.Entry.e '$_$) >>) :: pel] -> - [s :: get_globals pel] + [ [(<:patt< _ >>, <:expr< ($e$ : Grammar.Entry.e '$_$) >>) :: pel] -> + [e :: get_globals pel] | [] -> [] | _ -> raise Not_found ] ; @@ -398,7 +398,9 @@ value extend_body (globals, e) k = HVbox [: `HVbox [: :]; `HOVbox - [: `S LR "GLOBAL"; `S RO ":"; list ident sl [: `S RO ";" :] :]; + [: `S LR "GLOBAL"; `S RO ":"; + list (fun e k -> HVbox [: `expr e "" k :]) sl + [: `S RO ";" :] :]; `s :] ] ; |