diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/tast_iter.ml | 4 | ||||
| -rw-r--r-- | tools/untypeast.ml | 5 |
2 files changed, 4 insertions, 5 deletions
diff --git a/tools/tast_iter.ml b/tools/tast_iter.ml index 099238cee0..0de4f1cf1b 100644 --- a/tools/tast_iter.ml +++ b/tools/tast_iter.ml @@ -97,8 +97,8 @@ let expression sub exp = | Texp_let (rec_flag, list, exp) -> sub # bindings (rec_flag, list); sub # expression exp - | Texp_bind (list, exp) -> - sub # bindings (Default, list); + | Texp_bind (b, exp) -> + sub # binding b; sub # expression exp | Texp_function (_, cases, _) -> sub # bindings (Nonrecursive, cases) diff --git a/tools/untypeast.ml b/tools/untypeast.ml index 217dcc4dc9..4161c9fe01 100644 --- a/tools/untypeast.ml +++ b/tools/untypeast.ml @@ -199,9 +199,8 @@ and untype_expression exp = List.map (fun (pat, exp) -> untype_pattern pat, untype_expression exp) list, untype_expression exp) - | Texp_bind (list, exp) -> - Pexp_bind (List.map (fun (pat, exp) -> - untype_pattern pat, untype_expression exp) list, + | Texp_bind ((p,e), exp) -> + Pexp_bind ([untype_pattern p, untype_expression e], untype_expression exp) | Texp_function (label, cases, _) -> Pexp_function (label, None, |