diff options
| author | Maxime Dénès | 2017-03-29 22:46:20 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-03-29 22:46:20 +0200 |
| commit | a723781ef0099bd366d1b6f0a7455a7d4e83a654 (patch) | |
| tree | 1442d7470a25dc4bb057fa252da6249d53422391 | |
| parent | 486afa4ccf6a3b84badfaa30282781a33a29b619 (diff) | |
| parent | 27ce382bcfefafa5efae3bc734e8c4c235fe0261 (diff) | |
Merge PR#521: Do so that "About" tells if a reference is a coercion.
| -rw-r--r-- | printing/prettyp.ml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/printing/prettyp.ml b/printing/prettyp.ml index 8fabb70536..5963d45ef9 100644 --- a/printing/prettyp.ml +++ b/printing/prettyp.ml @@ -204,6 +204,11 @@ let print_opacity ref = str "transparent (with minimal expansion weight)"] (*******************) + +let print_if_is_coercion ref = + if Classops.coercion_exists ref then [pr_global ref ++ str " is a coercion"] else [] + +(*******************) (* *) let print_polymorphism ref = @@ -257,7 +262,8 @@ let print_name_infos ref = type_info_for_implicit @ print_renames_list (mt()) renames @ print_impargs_list (mt()) impls @ - print_argument_scopes (mt()) scopes + print_argument_scopes (mt()) scopes @ + print_if_is_coercion ref let print_id_args_data test pr id l = if List.exists test l then |