Remove deprecated_addNit.

pkg/front_end/messages.yaml

Index: pkg/front_end/messages.yaml
diff --git a/pkg/front_end/messages.yaml b/pkg/front_end/messages.yaml
index 16014eefa91a0e8dc7f1f3f1b3a3a57ee4c65327..ad9dc0ac39bdfdecbd112958b9bee00d83de2985 100644
--- a/pkg/front_end/messages.yaml
+++ b/pkg/front_end/messages.yaml
@@ -621,3 +621,21 @@ InternalProblemAlreadyInitialized:
 
 InternalProblemBodyOnAbstractMethod:
   template: "Attempting to set body on abstract method."
+
+LocalDefinitionHidesExport:
+  template: "Local definition of '#name' hides export from '#uri'."
+
+LocalDefinitionHidesImport:
+  template: "Local definition of '#name' hides import from '#uri'."
+
+ExportHidesExport:
+  template: "Export of '#name' (from '#uri') hides export from '#uri2'."
+
+ImportHidesImport:

[sra1, 2017/07/11 19:27:44]

Why do we warn about this?
It is only a problem if the import is used, and that is an error.

[ahe, 2017/07/12 15:48:17]

A warning is required when the import is used, a warning is emitted using this
message.

However, I also generate a "nit" which was supposed to be silent but helpful for
debugging (in --verbose) mode.

+  template: "Import of '#name' (from '#uri') hides import from '#uri2'."
+
+DuplicatedExport:
+  template: "'#name' is exported from both '#uri' and '#uri2'."
+
+DuplicatedImport:
+  template: "'#name' is imported from both '#uri' and '#uri2'."