summaryrefslogtreecommitdiff
path: root/typing/tast_mapper.ml
diff options
context:
space:
mode:
Diffstat (limited to 'typing/tast_mapper.ml')
-rw-r--r--typing/tast_mapper.ml4
1 files changed, 4 insertions, 0 deletions
diff --git a/typing/tast_mapper.ml b/typing/tast_mapper.ml
index 0873dd4c9e..ce67092958 100644
--- a/typing/tast_mapper.ml
+++ b/typing/tast_mapper.ml
@@ -521,6 +521,8 @@ let class_expr sub x =
)
| Tcl_ident (path, lid, tyl) ->
Tcl_ident (path, lid, List.map (sub.typ sub) tyl)
+ | Tcl_open (ovf, p, lid, env, e) ->
+ Tcl_open (ovf, p, lid, sub.env sub env, sub.class_expr sub e)
in
{x with cl_desc; cl_env}
@@ -541,6 +543,8 @@ let class_type sub x =
sub.typ sub ct,
sub.class_type sub cl
)
+ | Tcty_open (ovf, p, lid, env, e) ->
+ Tcty_open (ovf, p, lid, sub.env sub env, sub.class_type sub e)
in
{x with cltyp_desc; cltyp_env}