@@ -490,7 +490,7 @@ Some tips:
 - The first sentence or line should show the function call with a very short summary.
 - Ideally, every function should have an `## Examples` section with **at least one** example. The examples are compiled to check that they are correct. Use `==` to generate tests from the examples.
 - Always use `@deprecated` when applicable.
-- Always use `@throw` when applicable.
+- Always use `@throws` when applicable.
 - Always provide a `See` section pointing to MDN for more information when available.
 
 ## Contribute to JSX `domProps`
 
@@ -833,10 +833,10 @@ module Compile = struct
             | _ ->
               Stats.log_hygiene_named_arg_value ~label ~loc;
               raise ArgError
-              [@@raises ArgError]
+              [@@throws ArgError]
           in
           function_arg ()
-            [@@raises ArgError]
+            [@@throws ArgError]
         in
         let function_args_opt =
           try Some (function_definition.kind |> List.map get_function_arg)
 
@@ -313,13 +313,7 @@ let traverse_ast ~file ~values_builder ~checks_builder () =
   in
   let does_not_throw attributes =
     attributes
-    |> Annotation.get_attribute_payload (function
-      | "doesNotRaise" | "doesnotraise" | "DoesNoRaise" | "doesNotraise"
-      | "doNotRaise" | "donotraise" | "DoNoRaise" | "doNotraise"
-      | "doesNotThrow" | "doesnotthrow" | "DoesNoThrow" | "doesNotthrow"
-      | "doNotThrow" | "donotthrow" | "DoNoThrow" | "doNotthrow" ->
-        true
-      | _ -> false)
+    |> Annotation.get_attribute_payload (fun s -> s = "doesNotThrow")
     <> None
   in
   let expr ~(module_path : Module_path.t) (self : Tast_mapper.mapper)
@@ -425,9 +419,7 @@ let traverse_ast ~file ~values_builder ~checks_builder () =
   in
   let get_exceptions_from_annotations attributes =
     let throws_annotation_payload =
-      attributes
-      |> Annotation.get_attribute_payload (fun s ->
-          s = "throws" || s = "throw" || s = "raises" || s = "raise")
+      attributes |> Annotation.get_attribute_payload (fun s -> s = "throws")
     in
     let rec get_exceptions payload =
       match payload with
 
@@ -95,7 +95,7 @@ let item x =
   Format.fprintf Format.std_formatter "  ";
   Format.fprintf Format.std_formatter x
 
-let missing_raise_info_to_text {Issue.missing_annotations; loc_full} =
+let missing_throw_info_to_text {Issue.missing_annotations; loc_full} =
   let missing_txt =
     Format.asprintf "%a" (Exceptions.pp ~exn_table:None) missing_annotations
   in
@@ -107,8 +107,8 @@ let missing_raise_info_to_text {Issue.missing_annotations; loc_full} =
 
 let log_additional_info ~(description : Issue.description) =
   match description with
-  | ExceptionAnalysisMissing missing_raise_info ->
-    missing_raise_info_to_text missing_raise_info
+  | ExceptionAnalysisMissing missing_throw_info ->
+    missing_throw_info_to_text missing_throw_info
   | _ -> ""
 
 let missing_throw_info_to_message
@@ -131,8 +131,8 @@ let description_to_message (description : Issue.description) =
   | DeadWarning {path; message} ->
     Format.asprintf "@{<info>%s@} %s" path message
   | ExceptionAnalysis {message} -> message
-  | ExceptionAnalysisMissing missing_raise_info ->
-    missing_throw_info_to_message missing_raise_info
+  | ExceptionAnalysisMissing missing_throw_info ->
+    missing_throw_info_to_message missing_throw_info
   | Termination {message} -> message
 
 let description_to_name (description : Issue.description) =
 
@@ -338,7 +338,7 @@ let parse_argv (argv : string array) : string option =
   let version_and_exit () =
     print_endline usage;
     exit 0
-      [@@raises exit]
+      [@@throws exit]
   in
   let rec set_all cmt_root =
     Run_config.all ();
@@ -475,7 +475,7 @@ let parse_argv (argv : string array) : string option =
 let cli () =
   let cmt_root = parse_argv Sys.argv in
   run_analysis_and_report ~cmt_root
-[@@raises exit]
+[@@throws exit]
 
 (* Re-export server module for external callers (e.g. tools/bin/main.ml).
    This keeps the wrapped-library layering intact: Reanalyze depends on internal
 
@@ -38,18 +38,6 @@ Alternatively, use the `@@deprecated` decorator to add a deprecation warning to
 
 [Read more and see examples in the documentation](https://rescript-lang.org/syntax-lookup#expression-deprecated-decorator).|};
       ] );
-    ( "doesNotRaise",
-      None,
-      [
-        {|The `@doesNotRaise` decorator is deprecated. Please use `@doesNotThrow` instead.
-
-`@doesNotRaise` is uses to override the analysis and state that an expression does not throw any exceptions,
-even though the analysis reports otherwise. This can happen for example in the case of array access where
-the analysis does not perform range checks but takes a conservative stance that any access
-could potentially throw.
-[Read more and see examples in the documentation](https://github.com/rescript-association/reanalyze/blob/master/EXCEPTION.md).
-> Hint: Did you know you can run an interactive code analysis in your project by running the command `> ReScript: Start Code Analyzer`? Try it!|};
-      ] );
     ( "doesNotThrow",
       None,
       [
@@ -151,17 +139,6 @@ The `@new` decorator is used whenever you need to bind to a JavaScript class con
 
 [Read more and see examples in the documentation](https://rescript-lang.org/syntax-lookup#obj-decorator).|};
       ] );
-    ( "raises",
-      Some "raises(\"$0\")",
-      [
-        {|The `@raises` decorator is deprecated. Please use `@throws` instead.
-
-`@raises` acknowledges that a function can throw exceptions that are not caught, and suppresses
-a warning in that case. Callers of the functions are then subjected to the same rule.
-Example `@raises(Exn)` or `@raises([E1, E2, E3])` for multiple exceptions.
-[Read more and see examples in the documentation](https://github.com/rescript-association/reanalyze/blob/master/EXCEPTION.md).
-> Hint: Did you know you can run an interactive code analysis in your project by running the command `> ReScript: Start Code Analyzer`? Try it!|};
-      ] );
     ( "throws",
       Some "throws(\"$0\")",
       [
 
@@ -550,7 +550,7 @@ let rec for_structure_item ~(env : Shared_types.Env.t) ~(exported : Exported.t)
       {mb_id; mb_attributes; mb_loc; mb_name = name; mb_expr = {mod_desc}}
     when not
            (String.length name.txt >= 6
-           && (String.sub name.txt 0 6 = "local_") [@doesNotRaise])
+           && (String.sub name.txt 0 6 = "local_") [@doesNotThrow])
          (* %%private generates a dummy module called local_... *) ->
     let item = for_module ~env mod_desc name.txt in
     let declared =
 
@@ -0,0 +1 @@
+- Reanalyze no longer honors `@raises`, `@raise`, `@throw`, `@doesNotRaise` or the other `@doesNotThrow` variants: write `@throws` and `@doesNotThrow` instead.
@@ -34,7 +34,7 @@ let string_of_int_as_char (i : int) : string =
       | '\r' -> "\\r"
       | '\b' -> "\\b"
       | ' ' .. '~' as c ->
-        let s = (Bytes.create [@doesNotRaise]) 1 in
+        let s = (Bytes.create [@doesNotThrow]) 1 in
         Bytes.unsafe_set s 0 c;
         Bytes.unsafe_to_string s
       | _ when Uchar.is_valid i -> Ext_utf8.encode_codepoint i
 
@@ -457,7 +457,7 @@ let rec read_cmt_files_recursively ~config ~env
         |> create_export_type_map ~config ~from_cmt_read_recursively:true
              ~file:
                (cmt_file |> Filename.basename
-              |> (Filename.chop_extension [@doesNotRaise]))
+              |> (Filename.chop_extension [@doesNotThrow]))
       in
       let cmt_to_export_type_map =
         env.cmt_to_export_type_map
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	+- Reanalyze no longer honors `@raises`, `@raise`, `@throw`, `@doesNotRaise` or the other `@doesNotThrow` variants: write `@throws` and `@doesNotThrow` instead.