Semantic analysis

[misalcedo]

No matching pattern

Infer return types of functions and validate that at least one pattern matches.

Function used only if in scope

Verify a function name is only referenced if the function has been defined.

Range endpoints in increasing order

For endpoints x, y x <= y.

Limit patterns to const arithmetic.

An arithmetic expression can be used within a pattern if it meets both of the following two conditions:

• It uses only numeric or bitwise operators.
• Its value can be evaluated to a constant when complied.

[stale[bot]]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

[stale[bot]]

This issue has been automatically closed because it has not had recent activity. You may re-open the issue if it is still relevant.