diff options
author | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2002-02-13 17:06:35 +0000 |
---|---|---|
committer | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2002-02-13 17:06:35 +0000 |
commit | 7b383af79dd0bb7dee7dbdd6398480379303f5ce (patch) | |
tree | f109dddc900dea22c5f8793514bfe876358cd1b7 /camlp4 | |
parent | afd7fce5e9299d34c8883ec3afed5ea5f998ebdf (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.ml | 3 | ||||
-rw-r--r-- | camlp4/ocaml_src/meta/pa_extend.ml | 3 |
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 ;; |