diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2015-05-24 07:33:32 +0000 |
---|---|---|
committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2015-05-24 07:33:32 +0000 |
commit | e9785253b2bc630596b4016655f7e7fac2f4aaf8 (patch) | |
tree | c843139671dc7c69b49e59ca1c55be1ef11d4668 /typing/typeclass.ml | |
parent | 1585a95502eb29d769a54d5c1065ab5d5c17ce00 (diff) | |
download | ocaml-e9785253b2bc630596b4016655f7e7fac2f4aaf8.tar.gz |
PR#6876: improve warning 6 by listing the omitted labels.
(Eyyüb Sari)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16137 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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 |