diff options
Diffstat (limited to 'typing/typedtree.ml')
| -rw-r--r-- | typing/typedtree.ml | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/typing/typedtree.ml b/typing/typedtree.ml index 5ab71c62f..912f60845 100644 --- a/typing/typedtree.ml +++ b/typing/typedtree.ml @@ -114,10 +114,13 @@ and meth = (* Value expressions for the class language *) and class_expr = - { cl_desc: class_expr_desc; - cl_loc: Location.t; - cl_type: Types.class_type; - cl_env: Env.t } + { + cl_desc: class_expr_desc; + cl_loc: Location.t; + cl_type: Types.class_type; + cl_env: Env.t; + cl_attributes: attribute list; + } and class_expr_desc = Tcl_ident of Path.t * Longident.t loc * core_type list |