diff options
Diffstat (limited to 'typing/typeclass.ml')
| -rw-r--r-- | typing/typeclass.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/typing/typeclass.ml b/typing/typeclass.ml index fab7063c68..aeec7bf33c 100644 --- a/typing/typeclass.ml +++ b/typing/typeclass.ml @@ -1004,7 +1004,11 @@ and class_expr cl_num val_env met_env scl = List.for_all (fun (l,_) -> l = Nolabel) sargs && List.exists (fun l -> l <> Nolabel) labels && begin - Location.prerr_warning cl.cl_loc Warnings.Labels_omitted; + Location.prerr_warning + cl.cl_loc + (Warnings.Labels_omitted + (List.map Printtyp.string_of_label + (List.filter ((<>) Nolabel) labels))); true end in |