Overview

This PR deprecates the@raises decorator in reanalyze in favor of@throws to better align with JavaScript and ReScript terminology. The change maintains full backward compatibility while guiding users toward the new decorator.

Motivation

ReScript usesthrow for raising exceptions (notraise), so using@throws for the exception analysis decorator provides better consistency with the language's terminology and makes it more intuitive for developers.

Changes

Core Reanalyze

• Exception.ml: Updated to accept both@throws/@throw (new) and@raises/@raise (deprecated) decorators
• Log_.ml: Updated warning messages to suggest@throws instead of@raises

Example warning message before:

myFunction might raise Not_found and is not annotated with @raises(Not_found)

Example warning message after:

myFunction might raise Not_found and is not annotated with @throws(Not_found)

IDE/Editor Support

• CompletionDecorators.ml: Added@throws decorator with full documentation and marked@raises as deprecated with a clear migration message

Documentation & Examples

• Updated all test files to use@throws decorator
• Updated expected test outputs to reflect new terminology
• UpdatedStdlib_JSON runtime library to use@throws

Backward Compatibility

✅No breaking changes. Existing code using@raises will continue to work without modification. The implementation accepts all variants:

// NEW - Recommended@throws(MyException)letmyFunction= ()=>throw(MyException)// OLD - Still works but deprecated@raises(MyException)letmyFunction= ()=>throw(MyException)

IDE users will see a deprecation notice when using@raises, guiding them to use@throws instead, but their code will function identically.

Migration

Users can migrate at their own pace. Simply replace@raises with@throws:

-@raises(Not_found)+@throws(Not_found) let findValue = key => Dict.getExn(myDict, key)

Both decorators accept the same syntax:

• Single exception:@throws(MyException)
• Multiple exceptions:@throws([E1, E2, E3])

💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn moreCopilot coding agent tips in the docs.