diff options
Diffstat (limited to 'typing/typeclass.mli')
| -rw-r--r-- | typing/typeclass.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/typeclass.mli b/typing/typeclass.mli index 6b74abd715..83a5315f45 100644 --- a/typing/typeclass.mli +++ b/typing/typeclass.mli @@ -75,6 +75,7 @@ type error = Ident.t * Types.class_declaration * (type_expr * type_expr) list | Final_self_clash of (type_expr * type_expr) list | Not_a_variable + | Bad_field_access of string exception Error of Location.t * error |