summaryrefslogtreecommitdiffstats
path: root/camlp4
diff options
context:
space:
mode:
authorDaniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>2002-02-13 17:06:35 +0000
committerDaniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>2002-02-13 17:06:35 +0000
commit7b383af79dd0bb7dee7dbdd6398480379303f5ce (patch)
treef109dddc900dea22c5f8793514bfe876358cd1b7 /camlp4
parentafd7fce5e9299d34c8883ec3afed5ea5f998ebdf (diff)
-
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4404 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4')
-rw-r--r--camlp4/meta/pa_extend.ml3
-rw-r--r--camlp4/ocaml_src/meta/pa_extend.ml3
2 files changed, 6 insertions, 0 deletions
diff --git a/camlp4/meta/pa_extend.ml b/camlp4/meta/pa_extend.ml
index 990310b13..89fd440ad 100644
--- a/camlp4/meta/pa_extend.ml
+++ b/camlp4/meta/pa_extend.ml
@@ -326,6 +326,9 @@ value rec quot_expr e =
| <:expr< ($list:el$) >> ->
let el = List.map quot_expr el in
<:expr< Qast.Tuple $mklistexp loc el$ >>
+ | <:expr< let $rec:r$ $list:pel$ in $e$ >> ->
+ let pel = List.map (fun (p, e) -> (p, quot_expr e)) pel in
+ <:expr< let $rec:r$ $list:pel$ in $quot_expr e$ >>
| _ -> e ]
;
diff --git a/camlp4/ocaml_src/meta/pa_extend.ml b/camlp4/ocaml_src/meta/pa_extend.ml
index 1bc27e922..111dcbd68 100644
--- a/camlp4/ocaml_src/meta/pa_extend.ml
+++ b/camlp4/ocaml_src/meta/pa_extend.ml
@@ -761,6 +761,9 @@ let rec quot_expr e =
MLast.ExAcc
(loc, MLast.ExUid (loc, "Qast"), MLast.ExUid (loc, "Tuple")),
mklistexp loc el)
+ | MLast.ExLet (_, r, pel, e) ->
+ let pel = List.map (fun (p, e) -> p, quot_expr e) pel in
+ MLast.ExLet (loc, r, pel, quot_expr e)
| _ -> e
;;