diff options
Diffstat (limited to 'typing/tast_mapper.ml')
| -rw-r--r-- | typing/tast_mapper.ml | 4 |
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} |
