Skip to content

[reanalyze] rename @raises to @throws #7680

@tx46

Description

@tx46

to better align with rescript's new terminology throw (raise being deprecated), the same should be done for annotations. rename @raises to @throws and deprecate @raises

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions