diff options
Diffstat (limited to 'typing/includeclass.ml')
| -rw-r--r-- | typing/includeclass.ml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/typing/includeclass.ml b/typing/includeclass.ml index 912f64ace8..49e0ce9d2e 100644 --- a/typing/includeclass.ml +++ b/typing/includeclass.ml @@ -78,14 +78,17 @@ let include_err ppf = | CM_Non_mutable_value lab -> fprintf ppf "@[The non-mutable instance variable %s cannot become mutable@]" lab + | CM_Non_concrete_value lab -> + fprintf ppf + "@[The virtual instance variable %s cannot become concrete@]" lab | CM_Missing_value lab -> fprintf ppf "@[The first class type has no instance variable %s@]" lab | CM_Missing_method lab -> fprintf ppf "@[The first class type has no method %s@]" lab | CM_Hide_public lab -> fprintf ppf "@[The public method %s cannot be hidden@]" lab - | CM_Hide_virtual lab -> - fprintf ppf "@[The virtual method %s cannot be hidden@]" lab + | CM_Hide_virtual (k, lab) -> + fprintf ppf "@[The virtual %s %s cannot be hidden@]" k lab | CM_Public_method lab -> fprintf ppf "@[The public method %s cannot become private" lab | CM_Virtual_method lab -> |