Resolve "Typo in warning message"

Motivation and Context

Related Issue: 1742

Description

Simply change the message and promote all tests.

Component

• compiler
• website
• webide
• vscode-plugin
• debugger

Types of changes

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• Performance improvement (non-breaking change that improves performance)
• None (change with no changelog)

Changelog

Checklist:

• Changes follow the existing coding style (use dune @fmt to check).
• Tests for the changes have been added (for bug fixes / feature).
• Documentation has been updated.
• Changelog description has been added (if appropriate).
• Start titles under ## Changelog section with #### (if appropriate).
• There is no image or uploaded file in changelog
• Examples in changed behaviour have been added to the changelog (for breaking change / feature).

Closes #1742 (closed)

src/main/main_warnings/main_warnings.ml

@@ -159,7 +159,7 @@ let pp
     | `Jsligo_deprecated_toplevel_let loc ->
       Format.fprintf
         f
-        "@[<hv>%a@.Toplevel let declaration are silently change to const declaration.@.@]"
+        "@[<hv>%a@.Toplevel let declaration is silently changed to const declaration.@.@]"
         snippet_pp
         loc
     | `Jsligo_unreachable_code loc ->
@@ -307,7 +307,7 @@ let to_warning : all -> Simple_utils.Warning.t =
     make ~stage:"abstractor" ~content
   | `Jsligo_deprecated_toplevel_let location ->
     let message =
-      Format.sprintf "Toplevel let declaration are silently change to const declaration.@"
+      Format.sprintf "Toplevel let declaration is silently changed to const declaration."
     in
     let content = make_content ~message ~location () in
     make ~stage:"abstractor" ~content