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.

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

feat: scoping of arguments #601

Merged
merged 2 commits into from
Oct 5, 2023

feat: scoping of arguments

991ad54
Select commit
Loading
Failed to load commit list.
Merged

feat: scoping of arguments #601

feat: scoping of arguments
991ad54
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Oct 5, 2023 in 0s

100.00% (+0.00%) compared to 8d68a42

View this Pull Request on Codecov

100.00% (+0.00%) compared to 8d68a42

Details

Codecov Report

Merging #601 (991ad54) into main (8d68a42) will not change coverage.
The diff coverage is 100.00%.

@@            Coverage Diff            @@
##              main      #601   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files           32        32           
  Lines         4659      4694   +35     
  Branches       805       819   +14     
=========================================
+ Hits          4659      4694   +35     
Files Coverage Δ
src/language/scoping/safe-ds-scope-provider.ts 100.00% <100.00%> (ø)
src/language/typing/model.ts 100.00% <100.00%> (ø)
src/language/typing/safe-ds-type-computer.ts 100.00% <100.00%> (ø)