Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add support for @annotations #1439

Draft
wants to merge 12 commits into
base: master
Choose a base branch
from

Remove @silent from initial PR

d14819d
Select commit
Loading
Failed to load commit list.
Draft

Add support for @annotations #1439

Remove @silent from initial PR
d14819d
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Aug 14, 2024 in 0s

85.71% of diff hit (target 0.00%)

View this Pull Request on Codecov

85.71% of diff hit (target 0.00%)

Annotations

Check warning on line 24 in src/frontend/Environment.ml

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/frontend/Environment.ml#L24 

Added line #L24 was not covered by tests

Check warning on line 295 in src/frontend/Typechecker.ml

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/frontend/Typechecker.ml#L295 

Added line #L295 was not covered by tests

Check warning on line 302 in src/frontend/Typechecker.ml

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/frontend/Typechecker.ml#L302 

Added line #L302 was not covered by tests

Check warning on line 1180 in src/frontend/Typechecker.ml

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/frontend/Typechecker.ml#L1180 

Added line #L1180 was not covered by tests

Check warning on line 13 in src/middle/Program.ml

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/middle/Program.ml#L13 

Added line #L13 was not covered by tests

Check warning on line 28 in src/middle/Stmt.ml

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/middle/Stmt.ml#L28 

Added line #L28 was not covered by tests
View more details on Codecov